C++学习笔记：图论——缩点详解

引言

缩点，哲学的东西，你必须拥有。。。

---

缩点

个人认为就是把一堆强连通的点( 即强连通分量 )，认作为一个点

强连通分量就是这里面的点可以相互到达（算是个环）

 

---

详解

一个有向图如下

可以看出有强连通分量 { 1 , 2 } , { 8 , 4 , 9  } ， { 7 } , { 6 } , { 3 } , { 5 }

先走一波Tarjan，求出强连通分量

用一个 cnt 记录一下强连通分量的和

然后在Trjan中记录每个点所属强连通分量，以及一些sao操作

void Tarjan( int x ) {//求强连通分量，缩点 
    num ++ ;
	DFN[x] = low[x] = num ;
	S.push(x);
	inS[x] = 1 ;
	for(int i = 0 ; i < G[x].size() ; ++ i ) {
		int s = G[x][i] ;
		if( !DFN[s] ) {
			Tarjan( s );
			low[x] = min( low[x] , low[s] );
		}
		else if( inS[s] )
			low[x] = min( low[x] , DFN[s] );
	}
	if( low[x] == DFN[x] ) {
        cnt ++ ;
        int now ;
        do{
            now = S.top() ;
            S.pop();
            d[now] = cnt ;
            inS[now] = 0 ;
            if( now == sta )//记录缩点后的起始点 
            	be = cnt ;
            W[cnt] += w[now] ;
        }while( now != x );
    }
}

然后就是连接缩点后的图

先记录一下每条边

for( int i = 1 ; i <= m ; ++ i ) {
		int a , b ;
		scanf("%d%d", &a , &b );
		G[a].push_back(b);
		way[i].from = a , way[i].to = b ;
	}

然后就是关键，一波sao操作

如果原图一条边上两点属于不同的强连通分量，则两个强连通分量相连，就可以对这两个分量连接

for( int i = 1 ; i <= m ; ++ i ) {//连接缩点后的图 
		int a = d[way[i].from] ;
		int b = d[way[i].to] ;
		if( a != b )//不属于同一分量
			g[a].push_back(b); 
	}

然后可以得到缩点后的图，就可以为所欲为了...嘿嘿嘿......嘿

---

模板

又多一个板子背。。。

#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include