离散数学-关系的闭包.pptVIP

离散数学 集合论 主要内容 集合代数 二元关系 函数 §7.5 关系的闭包 闭包的计算 闭包的计算 闭包的计算 通过关系矩阵求闭包 通过关系图求闭包 Warshall算法 设A={x1,x2,…,xn},R为A上的二元关系,R的关系矩阵为M: 1. Mt = M+M2+…+Mn 2. Warshall算法 考虑矩阵序列 M0,M1,…,Mn= Mt : k=0,1,…,nMk[i,j]=1 当且仅当 在GR中存在一条从xi到xj的路径并且除端点外中间只经过{x1,x2,…,xk}中的顶点. Mk+1[i,j]=1 当且仅当 在GR中存在一条从xi到xj的路径并且除端点外中间只经过{x1,x2,…,xk,xk+1}中的顶点 Mk[i,j]=1 或者 Mk[i,k+1]=1 ∧ Mk[k+1,j]=1 Warshall算法示例 设 A={a,b,c,d}, R={a,b,b,a,b,c,c,d},求 t( R ). 解 闭包的性质 闭包的性质 闭包的性质 注 二元关系的闭包仍然是二元关系,还可以求它的闭包. 例如,R是A上的二元关系, r(R)是它的自反闭包,还可以求r(R)的对称闭包.r(R)的对称闭包记为s(r(R)),简记为sr(R),读做R的自反闭包的对称闭包. 类似的,R的对称闭包的自反闭包r(s(R))简记为rs(R),R的对称闭包的传递闭包t(s(R)),简记为ts(R),…… 通常用R*表示R的传递闭包的自反闭包rt(R),读作“R星”. 在研究形式语言和计算模型时经常使用R* * 集合的基本概念 集合的运算 有穷集合的计数 集合恒等式 有序对与笛卡儿积 二元关系 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 函数的定义与性质 函数的复合与反函数 双射函数与集合的基数 一. 闭包的定义 定义7.14 设R是非空集合A上的关系,R的自反闭包(对称闭包,传递闭包)是 A上的关系 R ,它满足: (1) R 是自反的 (对称的,传递的)； (2) R? R ; (3) 对A上任何包含 R 的自反关系 (对称关系,传递关系) R 都有R ? R . 注:R的自反闭包记为 r(R),对称闭包记为 s(R),传递闭包记 为 t(R). Reflexive, Symmetric, Transtive: r(R), s(R), t(R). 定理 7.10 设R是A上的关系,则 (1) r(R)=R∪R0; (2) s(R)= R∪R-1; (3) t(R)= R∪R2∪R3∪…. 证明：(1) 由IA= R0? R∪R0 知, R∪R0 是自反的,且R? R∪R0. 设R是A上包含R的自反关系,则 R? R , IA? R, 因而 x,y? R∪R0 ? x,y?R∪IA ? x,y? R∪R = R 即 R∪R0? R .可见R∪R0满足自反闭包的定义,从而 r(R)= R∪R0. (2) 略. (3)先证R∪R2∪… ? t(R),为此只需证明对任意正整数n都有 Rn?t(R). 用归纳法. 当n=1时, R1 = R ? t(R). 假设 Rn ? t(R), 下证 Rn+1?t(R) 事实上,由于 x, y?Rn+1 = Rn ? R ? ?t(x,t?Rn ∧t,y?R) ? ?t(x,t?t(R) ∧t,y?t(R)) ?x,y?t(R) 从而 Rn+1 ? t(R) . 由归纳法完成证明.? 下证 R∪R2∪… 是传递的. 事实上,对任意 x, y,y, z, (x, y ? R∪R2∪…)∧(y, z ? R∪R2∪…) ?t (x, y?Rt) ∧ ?s(y, z?Rs) ?t?s(x, z ? Rt ? Rs) ?t?s(x, z ? Rt+s) x, z ? R∪R2∪… 从而　 R∪R2∪… 是传递的. 因t(R)是传递闭包, 故t(R) ? R∪R2∪…. 由以上两方面知, t(R) ＝ R∪R2∪… . 证:由定理7.6和定理7.10立即得证. 通过关系矩阵求闭包 设关系R, r(R), s(R), t(R)的关系矩阵分别为M, Mr, Ms, Mt, 则: Mr = M+E, Ms = M+M, Mt = M+M2+M3+…, 其中E是与M同阶的单位矩阵.M是M的转置矩阵,矩阵元素相加时使用逻辑加. 推论 设R是有限集合A上的关系，则存在正整数r使得 t(R)=