离散数学关系的闭包运算6页.doc

离散数学实验报告学 院 软件学院 专 业 软件工程 指导教师 邹丽娜 学 号 10008118 姓 名 冯立勇 提交日期 2011-12-25 实验二 关系的闭包运算一 、实验目的熟悉关系的闭包运算，编程实现关系闭包运算算法。一 、实验内容利用矩阵求解有限集上给定关系的自反、对称和传递闭包。三. 实验过程1. 算法分析：在三种闭包中自反和对称闭包的求解很容易，对矩阵表示的关系，其自反闭包只要将矩阵的主对角线全部置为1就可；对称闭包则加上关系的转置矩阵（逻辑加法）；传递闭包则有两种算法（二选一即可）：算法1：直接根据计算，过程略。算法2：Warshall算法(1962)设R的关系矩阵为M(1)令矩阵A=M(2)置i=1(3)对所有的j，若Aj，i=1，则对于 k=1，2，n，令Aj，k=Aj，