tarjan算法

一种由RobertTarjan提出的求解有向图强连通分量的线性时间的算法。如果两个顶点可以相互通达，则称两个顶点强连通(stronglyconnected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量(stronglyconnectedcomponents)。