/*
1. 數組的初始化：當首次搜索到點p時，Dfn與Low數組的值都為到該點的時間。
2. 堆棧：每搜索到一個點，將它壓入棧頂。
3. 當點p有與點p’相連時，如果此時（時間為dfn[p]時）p’不在棧中，p的low值為兩點的low值中較小的一個。
4. 當點p有與點p’相連時，如果此時（時間為dfn[p]時）p’在棧中，p的low值為p的low值和p’的dfn值中較小的一個。
5. 每當搜索到一個點經過以上操作后（也就是子樹已經全部遍歷）的low值等于dfn值，則將它以及在它之上的元素彈出棧。
這些出棧的元素組成一個強連通分量。
6. 繼續搜索（或許會更換搜索的起點，因為整個有向圖可能分為兩個不連通的部分），直到所有點被遍歷。
*/
void tarjan(int u) {
dfn[ u ] = low[ u ] = indeu ++;
S.push(u);
instack[ u ] = true;
for(int i = p[ u ]; i != -1; i = e[ i ].neut) {
int v = e[ i ].v;
if(dfn[ v ] == -1) {
tarjan(v);
low[ u ] = min(low[ u ], low[ v ]);
}
else if(instack[ v ])
low[ u ] = min(low[ u ], dfn[ v ]);
}
if(low[ u ] == dfn[ u ]) {
while(true) {
int tmp = S.top();
S.pop();
belong[ tmp ] = cnt;
instack[ tmp ] = false;
if(tmp == u) break;
}
cnt ++;
}
}