基于特质的强连通分量计算

基于Tarjan的SCC算法。只需在您的图类型上实现Scc特质，即可在线性时间内计算SCC。