最小连通分量.docVIP

/*hdu3072Intelligence System实质是缩点 题意：两个直接或间接可以互相发送信息的点之间费用不计求建立一个网络（该网络可以实现从某一点访问遍所有点）最小费用 求强连通分量（相当于缩点），缩点后计算每个点最小入边的和 定义DFN(u)为节点u搜索的次序编号(时间戳)，Low(u)为u或u的子树能够追溯到的最早的栈中节点的次序号。 当DFN(u)=Low(u)时，以u为根的搜索子树上所有节点是一个强连通分量。 */ #includeiostream #includealgorithm using namespace std; #define MAXN 50005 #define INF 1000000000 int u[2*MAXN],v[2*MAXN],w[2*MAXN],head[2*MAXN],next[2*MAXN]; int DFN[MAXN],LOW[MAXN],instack[MAXN],Stap[MAXN],ID[MAXN],In[MAXN]; int Dindex,Stop,Bcnt; void tarjan(int i) { int j; DFN[i]=LOW[i]=++Dindex; instack[i]=true; Stap[++Stop]=i; for(int e=head[i];e=0;e=next[e]) { j=v[e]; if(!DFN[j]) { tarjan(j); if(LOW[j]LOW[i]) LOW[i]=LOW[j]; } else if(instack[j]DFN[j]LOW[i]) LOW[i]=DFN[j]; } if(DFN[i]==LOW[i]) { Bcnt++; do { j=Stap[Stop--]; instack[j]=false; ID[j]=Bcnt; }while(j!=i); } } int n,m; void pro() { Dindex=Stop=Bcnt=0; memset(DFN,0,sizeof(DFN)); memset(ID,-1,sizeof(ID)); for(int i=0;in;i++) { if(!DFN[i])tarjan(i); } } int main() { while(scanf(%d%d,n,m)==2) { for(int i=0;in;i++)head[i]=-1; for(int i=0;im;i++) { scanf(%d%d%d,u[i],v[i],w[i]); next[i]=head[u[i]]; head[u[i]]=i; } pro(); for(int i=0;in;i++)In[i]=INF; for(int i=0;im;i++) { int s=ID[u[i]]; int t=ID[v[i]]; if(s!=t) { In[t]=min(In[t],w[i]); } } int ret=0; for(int i=0;in;i++) if(In[i]INF)ret+=In[i]; coutretendl; } } [有向图强连通分量] 在有向图G中，如果两个顶点间至少存在一条路径，称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。非强连通图有向图的极大强连通子图，称为强连通分量(strongly connected components)。 下图中，子图{1,2,3,4}为一个强连通分量，因为顶点1,2,3,4两两可达。{5},{6}也分别是两个强连通分量。 直接根据定义，用双向遍历取交集的方法求强连通分量，时间复杂度为O(N^2+M)。更好的方法是Kosaraju算法或Tarjan算法，两者的时间复杂度都是O(N+M)。本文介绍的是Tarjan算法。 [Tarjan算法] Tarjan算法是基于对图深度优先搜索的算法，每个强连通分量为搜索树中的一棵子树。搜索时，把当前搜索树中未处理的节点加入一个堆栈，回溯时可以判断栈顶到栈中的节点是否为一个强连通分量。 定义DFN(u)为节点u搜索的次序编号(时间戳)，Low(u)为u或u的子树能够追溯到的最早的栈中节点的次序号。 当DFN(u)=Low(u)时，以u为根的搜索子树上所有节点是一个强连通分量。 算法伪代码如下tarjan(u) { DFN[u]=Low[u]=++I