实验一_传递闭包的实现.docVIP

实验一 传递闭包算法 一、实验目的 理解关系矩阵作为布尔矩阵的逻辑运算 通过编程深刻理解Warshall快速算法 验证Warshall快速算法的正确性 掌握C语言的编程技巧和方法 二、实验内容 用C语言编程实现传递闭包的Warshall快速算法 三、实验原理（Warshall算法的原理） M[i,j]表示关系R的关系矩阵M中元素 若在关系R的关系图中存在从vi到vj的有向路径，则M[i,j] 1；否则M[i,j] 0。 定义：Mk[i,j] 1 若在关系R的关系图中存在从vi到vj的有向路径,且这条路上除了v1，v2，┉，vk外没有其它节点 0 否则 即 M0[i,j] 1 在关系R的关系图中存在从vi到vj的有向边 M1[i,j] 1 在关系R的关系图中存在从vi到vj的有向路径,且这条路上除了可能有v1外没有其它节点 M2[i,j] 1 在关系R的关系图中存在从vi到vj的有向路径,且这条路上除了可能有v1，v2外没有其它节点 ┉┉┉ 根据此定义，仅当下列两情形之一发生时，Mk[i,j] 1 存在从vi到vj的有向路径，且这条路上除了可能有v1，v2，┉，vk-1外没有其它节点。因此 Mk-1[i,j] 1 存在从vi到vk的有向路径和从vk到vj的有向路径,且每条路上除了可能有v1，v2，┉，vk-1外没有其它节点。因此 Mk-1[i,k] 1 且 Mk-1[k,j] 1 因此，Mk[i,j] Mk-1[i,j] （Mk-1[i,k] 1 Mk-1[k,j] 1） 四、实验要求： 1、对输入的数据进行合法性检查，输入输出界面友好 2、编写和调试完成程序 3、保存和打印程序的运行结果 五、实验步骤 算法描述 Step 1 初始化M Step 2 刷新M 对k 1,2,┉n 重复Step 3和Step 4 Step 3 刷新行 对 i 1,2,┉n 重复Step 4 Step 4 刷新Mij 对 j 1,2,┉n 置Mij Mij （Mik Mkj） [结束Step 3循环] [结束Step 2循环] Step 5 退出 （二）流程图 ┉┉┉┉┉ （三）程序清单 ┉┉┉┉┉ 六、测试数据 1、输入关系矩阵的传递闭包的关系矩阵： R1 ， R2 ， R3 输出的结果应为： t R1 ， t R2 ， t R3 ， 2、输出参考界面：