离散数学实验二柏超宇重点.doc

实 验 报 告 （20 / 2016 学年 第 学期） 课程名称 实验名称 实验时间 年 月 日 指导单位 系 指导教师 学生姓名 班级学号 学院 系 专 业 实 验 报 告 实验名称 指导教师 实验类型 实验学时 实验时间 实验目的和要求 二、实验环境 实验设备 三、实验原理及内容 1、问题引入 　　一个有n个顶点的有向图的传递闭包为：有向图中的初始路径可达情况可以参见其邻接矩阵A，邻接矩阵中A[i,j]表示i到j是否直接可达，若直接可达，则A[i,j]记为1，否则记为0；两个有向图中i到j有路径表示从i点开始经过其他点（或者不经过其他点）能够到达j点，如果i到j有路径，则将T[i,j]设置为1，否则设置为0；有向图的传递闭包表示从邻接矩阵A出发，求的所有节点间的路径可达情况，该矩阵就为所要求的传递闭包矩阵。。。 例如： 有向图为： 由该有向图可以得到初始的邻接矩阵为： 那么warshall传递闭包算法的目的就是由邻接矩阵出发，进行探索求出最终的传递闭包： 2、动态规划求解思路 　　动态规划将问题分段，本例warshall算法是通过一系列n阶矩阵r（k）来构造最终阶段n阶传递闭包矩阵r（n） R k 由它的前趋 R k-1 计算得到（分级推进计算）。 R 0 ?——该矩阵不允许它的路径中包含任何中间顶点，即从该矩阵的任意顶点出发的路径不含有中间顶点，此即邻接矩阵。 R 1 ?——允许路径中包含第1个顶点（本例编号 1）作为中间顶点。 R 2 ?——允许路径中包含前2个顶点（本例编号1 2）作为中间顶点。 R k ?——允许路径中包含前k个顶点作为中间顶点。 R n ?——允许路径中包含全部 n 个顶点作为中间顶点。 每个后继矩阵 R k ?对其前趋 R k-1 来说，在路径上允许增加一个顶点，?因此有可能包含更多的1（增加前为1的在增加后依然为1）。 3、具体的算法描述 1 warshall（A[1...n,1...n] 2 r 0 -A; 3 for k 1;k n;k++ 4 for i 1;i n;i++ 5 for j 1;j n;j++ 6 r k [i,j] r k-1 [i,j] or r k-1 [i,k] and r k-1 [k,j] ; 7 return r n ; 其他几个性质的代码 ： int zifan int flag1 1; for i 1;i n;i++ if a[i][i]! 1 flag1 0; break; return flag1; int fanzifan int flag2 1; for i 1;i n;i++ if a[i][i] 1 flag2 0; break; return flag2; int duichen int flag3 1; for i 1;i n;i++ for j 1;j n;j++ if a[i][j]! a[j][i] flag3 0; break; return flag3; 最后我们可以通过返回flag来确定该矩阵具有的相应性质。 四、实验小结（包括问题和解决方法、心得体会、意见与建议等） 关于warshell算法的理解需要很久，其实是一种分段的计算，其他四个性质要严格按照定义来，有的关系可能既有对称性又有反对称性。 五、指导教师评语 成 绩 批阅人 日 期 6