Floyd-Warshall方法求有向图的传递闭包

最新推荐文章于 2022-07-24 13:55:13 发布

clearriver

最新推荐文章于 2022-07-24 13:55:13 发布

阅读量4.3k

点赞数

分类专栏：初识算法文章标签： ini delete 算法 c

本文链接：https://blog.csdn.net/clearriver/article/details/4548314

版权

本文介绍了如何利用Floyd-Warshall算法在O(v^3)的时间复杂度内求解有向图的传递闭包。通过将边的权值设为1，并修改算法中的最小值比较为逻辑运算，可以判断图中是否存在从i到j的路径。给出了C++实现的简化代码示例。

摘要由CSDN通过智能技术生成

有向图G的传递闭包定义为：G*=(V,E*),其中
E*={(i,j)}:图G中存在一条从i到j的路径。

在floyd-warshall求每对顶点间的最短路径算法中，可以通过O(v^3)的方法求出图的传递闭包。可以位每条边赋以权值1,然后运行Floyd-Wareshall。如果从i 到j存在一条路径，则d(i,j)<N,否则d(i,j)=MAX。
一种改进的算法是：由于我们需要的只是判断是否从i到j存在一条通路，所以在Floyd-Wareshall中的动态规划比较中，我们可以把min和+操作改为逻辑or(|| )和逻辑与（&&）。
设tk(i,j)＝1表示从i到j存在一条通路p，且p的所有中间节点都在0,1,2,...,k中,否则tk(i,j)=0。我们把边(i,j)加入到E*中当且仅当tn(i,j)=1。#include <iostream> using namespace std; const int N = 4; const int E = 5; const int MAX = 0xffff; int ** g; int ** transitive_closure(int **g) { int i = 0; int j = 0; int **t = new int*[N];//tk(i,j)=1表示从顶点i到顶点j存在一条路经,且路径中间节点在0,1,2,...,k中 /* * t-1(i,j) = 0如果i!=j且g[i][j] == MAX,否则t0(i,j) =1. * * tk(i,j) = tk-1(i,j) || (tk-1(i,k)&&tk-1(j,k))当0<=k<N */ for(i