图论 强连通 Kosaraju

Kosaraju:

执行过程：在有向图G中，从A进行一次DFS（From A To B），然后再对GT(G的逆向图)进行一次DFS（From A To B），如果两次DFS都成功，则说明两次DFS所重复经过的点，都在同一个强连通分量上。

1. void DFS1( int s )  
2. {  
3.     int i;  
4.     visited[s] = true;  
5.     for( i = head[s] ; i != -1 ; i = edg[i].next )  
6.     {  
7.         if( !visited[edg[i].to] )  
8.         { DFS1( edg[i].to ); }  
9.     }  
10.     sta.push( s );  
11. }  
12. void DFS2( int s )  
13. {  
14.     int i;  
15.     visited[s] = true;  
16.     fam[s] = cnt;  
17.     for( i = nhead[s] ; i != -1 ; i = nedg[i].next )  
18.     {  
19.         if( !visited[nedg[i].to] )  
20.         { DFS2( nedg[i].to ); }  
21.     }  
22. }