#include <Seter> - using namespace Orz;

Tarjan模板

相当经典的算法。以前都是背模板的，现在打算较深刻地理解一下……

大致思想：遍历到点x时，在栈中的点是有可能与x组成SCC的点。如果x及其子树能够直接访问到的在栈中的DFS序最小的点是x，则x是一个强连通分量在DFS树中的根。每处理完一个根及其子树的信息，就输出此SCC。