Train算法

//tarjan算法(求图论的最大强连通分量)
//强连通：如果两个顶点可以相互通达，则称两个顶点 强连通(strongly connected)。
//如果有向图G的每两个顶点都 强连通，称G是一个强连通图。
//非 强连通图有向图的极大强连通子图，称为强连通分量(strongly connected components)。
//一些important思想
//每一个强连通分量作为搜索树上的一个子树
//low[i] 表示能够到达这个顶点的最小编号
//if DFN[node] == low[node] 说明node是强连通分量的根节点,node以及node以后节点出栈
//详细算法:https://blog.csdn.net/Prediction__/article/details/100030166
//(UESTC视频讲解):https://www.bilibili.com/video/av7330663/(ORZ)
//板子伪代码
// tarjan(u)
// {
//     DFN[u]=Low[u]=++Index        // 为节点u设定次序编号和Low初值
//     Stack.push(u)                // 将节点u压入栈中
//     for each (u, v) in E         // 枚举每一条边
//         if (v is not visted)        // 如果节点v未被访问过
//             tarjan(v)                  // 继续向下找
//             Low[u] = min(Low[u], Low[v])
//         else if (v in S)            // 如果节点u还在栈内
//             Low[u] = min(Low[u], DFN[v])
//     if (DFN[u] == Low[u])        // 如果节点u是强连通分量的根
//         repeat
//             v = S.pop                 // 将v退栈，为该强连通分量中一个顶点
//             print v
//         until (u== v)
// }