proc SCC(G: UnWeightedDirectedGraph or UnWeightedDirectedStaticGraph): seq[ seq[int]]: 強連結成分分解をして、強連結成分を返します。リストはトポロジカルソートされています。 Source Edit
proc SCCG[UG](G: UG): (UG, seq[int], seq[seq[int]]): 強連結成分分解をします。結果を、(頂点をまとめたグラフ,元の頂点→新頂点への対応,新頂点に含まれる頂点一覧)で返します。 Source Edit

src/cplib/graph/SCC

Imports