问题描述
问题:求任意n个顶点的有向连通图的传递闭包。传递闭包可以定义为⼀个n阶布尔矩阵T=tij ,如果从第i个顶点到第j个顶点之间存在⼀条有效的有向路径(即⻓度⼤于0的有向路径),矩阵第i⾏(1≤i≤n)第j列(1≤j≤n)的元素为1,否则, tij为0.
1.请设计⼀个动态规划算法求解该问题。
2. 理解动态规划法的设计思想。
解题提示:
1. 解法⼀:采⽤深度优先查找或⼴度优先查找可⽣成有向图的传递闭包;从顶点i
开始,⽆论什么遍历⽅法,都可以得到通过顶点i访问到的所有顶点的信息;因
此,以每个顶点为起点做⼀次遍历即可⽣成整个图的传递闭包;
存在的问题:需要对同⼀个有向图遍历n次;
2. 解法⼆:Warshall算法,该算法以史蒂芬.沃舍尔命名。算法通过⼀系列n阶矩阵
来构造传递闭包。Floyd算法即参考该算法所设计
。
解决方法(完整代码)
#include<iostream>
using namespace std;
# define MAXROW 100
# define MAXCOL 100
int pointsNumber,lineNumber; //顶点数量,连接线数量
int startArray[MAXROW][MAXCOL]; //全局变量
//也可以 int startArray[100][100]; 然后不用宏定义 MAXROW和MAXCOL
//startArray:初始矩阵(说明完顶点数和初始顶点的直接有向路径后
void Warshall(int Array[MAXROW][MAXCOL],int pointNum){
for