biconnected component + strong connected component