二元关系的性质-南京大学.PPT

* * * * * * * * * * * “不失一般性，以a为例” * * * * * * * * * * 关系的闭包、等价关系 离散数学－关系 南京大学计算机科学与技术系 内容提要 闭包的定义 闭包的计算公式 传递闭包的Warshall算法 等价关系 等价类 划分 关系的闭包：一般概念 设R是集合A上的关系，P是给定的某种性质（如：自反、对称、传递），满足下列所有条件的关系R1称为R的关于P的闭包: R?R1 R1 满足性质P 对于A上的任意一个关系R’，如果R’包含R且满足性质P，则R1?R ’ 自反闭包r(R)、对称闭包s(R)、传递闭包t(R) 自反闭包（ reflexive closure） 设 R的是集合A上的关系，其自反闭包r(R)也是A上的关系，且满足： r(R)满足自反性； R ? r(R); 对A上的任意关系R’, 若R’包含R且满足自反性，则r(R)?R’ 例子 令A={1,2,3}, R={(1,1), (1,3), (2,3), (3,2)}。则r(R)={(1,1), (1,3), (2,3), (3,2), (2,2), (3,3)}。 自反闭包的计算公式 r(R) = R?IA, IA是集合A上的恒等关系 (证明所给表达式满足自反闭包定义中的三条性质) 1. 对任意 x?A, (x,x)?IA, 因此, (x,x)?R?IA 2. R?R?IA 3. 设 R’ 集合A 上的自反关系，且R?R’. 因为自反性，所以 IA?R’ , 从而 R?IA?R’ . 对称闭包（symmetric closure） s(R) = R?R-1, 这里R-1是R的逆关系 s(R)是对称的 s(R)-1 = (R?R-1)-1 = R-1?(R-1)-1= R-1?R = s(R) R? s(R) 设R’是集合A上的对称关系, 并且R?R’ R-1 ?(R’)-1 =R’ R?R-1 ?R’ 因此, s(R) ?R’ 连通关系 定义集合A上的“连通”关系R*如下： 对任意a,b?A, a R*b 当且仅当：存在t0, t1…tk ?A(k是正整数)，满足t0=a, tk=b, (ti-1, ti)?R, i=1…k。(可以表述为：从a到b之间存在长度至少为1的通路) 显然：对任意a,b?A, a R* b 当且仅当存在某个正整数k,使得aRkb。 于是：R* = R1?R2?R3?…Ri?… = 传递闭包（transitive closure） 对称闭包的自反闭包vs自反闭包的对称闭包 证明：r(s(R)) = s(r(R)) r(s(R)) = r(R?R-1) = (R?R-1)?IA = (R?IA)?(R-1?IA-1) (注意：IA=IA-1, 并用等幂率) 　　　 = (R?IA)?(R?IA)-1 = s(R?IA) = s(r(R)) 注意：r(s(R))一般省略为rs(R) 对称关系的传递闭包是对称的 注意：传递关系的对称闭包不一定是传递的。比如：{(1,3)} 有限集合上的传递闭包 A 中只有 n 个不同的元素，如果在R中存在一条从a到b的长度至少为1的通路，那么存在一条长度不超过n的从a到b的通路。 若 xR*y, 则存在某个自然数 k, 1?k?n, 满足 xRky. 用矩阵乘法计算传递闭包 算法概要: 1. 输入MR; 2. 计数器 k 置初值n-1; 3. MTR?MR; M’?MR; 4. M’? M’?MR; 5. MTR?MTR?M’; 6. k?k-1; 若k0则转4; 7. 输出MTR; n?n矩阵相乘，结果中每1项，要做(2n-1次)布尔运算(积与和)，总共需要计算n2项。 n?n矩阵相加,要做n2次布尔运算(和) 本算法共进行n-1次矩阵乘和加。 总运算量(n2(2n-1)+n2) (n-1)=2n3(n-1) Warshall算法原理 ai aj ak all interior vertices in {a1,..., ak-1} Wk[i,j]=1 iff Wk-1[i,j]=1, or Wk-1[i,k]=1 and Wk-1[k,j]=1 Warshall算法过程 ALGORITHM WARSHALL (MR : n?n的0-1矩阵） 1. W := MR 2. FOR k :=1 to n FOR i :=1 to n FOR j :=1 to n W[i, j] ? W[i, j]? (