离散数学(第12讲)(免费阅读).pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 1、关系的闭包 2、Warshall算法（用矩阵计算传递闭包） 3、闭包运算的性质 * 计算机学院 * §4.4 关系的闭包 设R是A上的关系，我们希望R具有某些有用的性质，比如自反性、对称性、传递性等。如果R不具有这些性质，可以通过在R中添加一些有序对来改造R，得到新关系R′，使R′具有上述性质，但又不希望R′与R相差太多，即添加的有序对要尽可能的少，满足这些要求的R′就称为R的闭包。 * 计算机学院 * ※定义4.7　设R是定义在A上的二元关系，若存在A上的关系R′满足： R′是自反的(或对称的、或可传递的)， R? R′， 对A上任何其它满足1）和2）的关系R〞，都有： R′? R〞。（表明R′的最小性） 则称R′为R的自反闭包(或对称闭包、或传递闭包)，分别记为r(R)(s(R)或t(R))。 * 计算机学院 * 例4-4.1 设集合A＝{a,b,c},R＝{a,b,b,b,b,c}是定义在A上的二元关系，求r(R),s(R),t(R),并画出R，r(R),s(R),t(R)的关系图和求出相应的关系矩阵。 解： r(R)＝{a,b,b,b,b,c,a,a,c,c}； s(R)＝{a,b,b,b,b,c,b,a,c,b}； t(