图论相关算法1节.pptVIP

* * 我们仍然定义dfn[i]为节点i搜索的次序编号(时间戳)，low[i]为i或i的子树能够追溯到的最早的栈中节点的次序号。由定义可以得出: 当dfn(u)=low(u)时，以u为根的搜索子树上的所有节点构成一个强连通分量。 void tarjan(int i) { int j; dfn[i]=low[i]=++times; // 为节点u设定次序编号和Low初值 instack[i]=true; Stack[++Stop]=i; // 将节点u压入栈中 for (edge *e=V[i];e;e=e-next) { j=e-t; 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]) // 如果节点i是强连通分量的根 { Bcnt++; do { j=Stack[Stop--]; instack[j]=false; Belong[j]=Bcnt; }while (j!=i); } } void solve() { int i; Stop=Bcnt= times =0; memset(dfn,0,sizeof(dfn)); for (i=1;i=n;i++) if (!dfn[i]) tarjan(i); } 从节点1开始DFS，把遍历到的节点加入栈中。搜索到节点u=6时，dfn[6]=low[6]=4，找到了一个强连通分量。退栈到u=v为止，{6}为一个强连通分量。 返回节点5，发现dfn[5]=low[5]=3，退栈后{5}为一个强连通分量。 返回节点3，继续搜索到节点4，把4加入堆栈。发现节点4存在向节点1的回边，节点1还在栈中，所以low[4]=dfn[1]=1。节点6已经出栈，不再访问6，返回3，(3,4)为树边，所以low[3]=low[4]=1。 继续回到节点1，最后访问节点2。访问边(2,4)，4还在栈中，所以low[2]=4。返回1后，发现DFN[1]=LOW[1]，把栈中节点全部取出，组成一个连通分量{1,3,4,2}。 至此，算法结束。经过该算法，求出了图中全部的三个强连通分量{1,3,4,2},{5},{6}。 [Kosaraju算法] Kosaraju是基于对有向图及其逆图两次DFS的方法，其时间复杂度也是O(N+M)。kosaraju算法的步骤如下： (1)在有向图G上，从某个顶点出发进行DFS，并按其所有邻接点的搜索都完成(即退出DFS函数)的顺序将顶点排列起来。 [Kosaraju算法] Kosaraju是基于对有向图及其逆图两次DFS的方法，其时间复杂度也是O(N+M)。kosaraju算法的步骤如下： (2)在有向图G上，从最后完成搜索的顶点出发，在图G的逆图G’上进行DFS，若此次遍历不能访问到有向图中所有顶点，则从余下的顶点中最后完成搜索的那个顶点出发，继续做逆图中的DFS，直至有向图中的所有顶点都被访问到为止。每一次调用DFS作逆图中的遍历所访问到的顶点集便是有向图G中的一个强连通分量。 memset(visit,false,sizeof(visit)); cnt=0; for(i=1;i=n;i++) { if(!visit[i]) dfs(i); } memset(visit,false,sizeof(visit)); memset(id,0,sizeof(id)); ans=0; for(i=cnt-1;i=0;i--) { if(!visit[order[i]]) { ans++; dfsn(order[i]); } } void dfs(int pos) //正向DFS {