判断一个图是否有环无向图有向图教程.doc

一、无向图： 方法1： ? 如果存在回路，则必存在一个子图，是一个环路。环路中所有顶点的度=2。?? ? n算法： ???? 第一步：删除所有度=1的顶点及相关的边，并将另外与这些边相关的其它顶点的度减一。?? ???? 第二步：将度数变为1的顶点排入队列，并从该队列中取出一个顶点重复步骤一。?? ???? 如果最后还有未删除顶点，则存在环，否则没有环。?? ? n算法分析：?? ???? 由于有m条边，n个顶点。 ?????i)如果m=n，则根据图论知识可直接判断存在环路。（证明：如果没有环路，则该图必然是k棵树 k=1。根据树的性质，边的数目m = n-k。k=1，所以：mn）? ? ? ? ? ? ?? ? ?? ii)如果mn 则按照上面的算法每删除一个度为0的顶点操作一次（最多n次），或每删除一个度为1的顶点（同时删一条边）操作一次（最多m次）。这两种操作的总数不会超过m+n。由于mn，所以算法复杂度为O(n)。 ? 注： ?????该方法，算法复杂度不止O(V)，首先初始时刻统计所有顶点的度的时候，复杂度为(V + E)，即使在后来的循环中E=V，这样算法的复杂度也只能为O(V + E)。其次，在每次循环时，删除度为1的顶点，那么就必须将与这个顶点相连的点的度减一，并且执行delete node from list[list[node]]，这里查找的复杂度为list[list[node]]的长度，只有这样才能保证当degree[i]=1时，list[i]里面只有一个点。这样最差的复杂度就为O(EV)了。 方法2： DFS搜索图，图中的边只可能是树边或反向边，一旦发现反向边，则表明存在环。该算法的复杂度为O(V)。 方法3： 摘自： HYPERLINK /lzrzhao/archive/2008/03/13/2175787.aspx /lzrzhao/archive/2008/03/13/2175787.aspx PS：此方法于2011-6-12补充 假定：图顶点个数为M，边条数为E 遍历一遍，判断图分为几部分（假定为P部分，即图有 P 个连通分量） 对于每一个连通分量，如果无环则只能是树，即：边数＝结点数－1 只要有一个满足 ?? ? 边数 ? ? 结点数－1原图就有环将P个连通分量的不等式相加，就得到： P1:E1=M1-1 P2:E2=M2-1 ... PN:ENMN-1 ????所有边数(E) ? ? 所有结点数(M) -?连通分量个数(P)即： ?E?+?P??M? 所以只要判断结果??E? +?P??M?就表示原图有环，否则无环. 实例代码如下： #includeiostream?? #includemalloc.h?? using?namespace?std;?? #define?maxNum?100?//定义邻接举证的最大定点数?? int?visited[maxNum];//通过visited数组来标记这个顶点是否被访问过，0表示未被访问，1表示被访问?? int?DFS_Count;//连通部件个数，用于测试无向图是否连通，DFS_Count=1表示只有一个连通部件，所以整个无向图是连通的?? int?pre[maxNum];?? int?post[maxNum];?? int?point;//pre和post的值?? ?? //图的邻接矩阵表示结构?? typedef?struct?? {?? ????char?v[maxNum];//图的顶点信息?? ????int?e[maxNum][maxNum];//图的顶点信息?? ????int?vNum;//顶点个数?? ????int?eNum;//边的个数?? }graph;?? void?createGraph(graph?*g);//创建图g?? void?DFS(graph?*g);//深度优先遍历图g?? void?dfs(graph?*g,int?i);//从顶点i开始深度优先遍历与其相邻的点?? void?dfs(graph?*g,int?i)?? {?? ????//cout顶点g-v[i]已经被访问endl;?? ????cout顶点i已经被访问endl;?? ????visited[i]=1;//标记顶点i被访问?? ????pre[i]=++point;?? ????for(int?j=1;j=g-vNum;j++)?? ????{?? ????????if(g-e[i][j]!=0visited[j]==0)?? ????????????dfs(g,j);?? ????}?? ????post[i]=++point;?? }?? ?? void?DFS(graph?*g)?? {?? ????int