《二元关系.ppt

关系的性质 对于不保持原性质的运算都可以举出反例 例如： A={a,b},R1={a,b},R2 ={b,a}都是A上的反对称关系，但R1∪R2 ={a,b,b,a} 不是A上的反对称关系。 A={1,2,3}, R1={1,2,2,1},R2 ={1,3,3,1}都是A上的对称关系，但R1 ? R2= {2,3}不是A上的对称关系。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 7.5 关系的闭包 我们希望某个关系具有比较好的性质，比如我们希望它具有自反性，对称性，传递性，但如果该关系又不具有上述性质，那么我们就要对该关系进行适当的改造，即在该关系中适当添加一些元素得到一个新的关系，使这个新关系具有我们需要的性质，同时新关系与原来的关系不要相差得太多，这样就要求我们添加的元素既要使新关系满足要求又要尽可能地少添加元素。通过适当添加元素来扩充原关系而得到的具有我们需要的性质的新关系称为原关系的闭包，我们通常考虑关系的三种闭包，即自反闭包，对称闭包，传递闭包。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系的闭包(closure) 定义 设R是A上的二元关系，R的自反（对称、传递） 闭包是关系R1，则 ① R1是自反的（对称的、传递的） ② R?R1 ③ 对任何自反的（对称的、传递的）关系R2， 若R?R2，则R1?R2。 R的自反、对称和传递闭包(reflexive closure, symmetric closure, transitive closure)分别记为 r(R)、s(R)和t(R)。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系的闭包 构造闭包的方法 定理 设R为A上的关系, 则有? （1）r(R)=R∪R0? （2）s(R)=R∪R-1? （3）t(R)=R∪R2∪R3∪… 推论 设R为有穷集A上的关系, 则存在正整数r使得t(R)=R∪R2∪…∪Rr 例 设A={0,1,2,3},A上的关系R={0,0,0,1,2,3} 则r(R)=R∪IA={0,0,0,1,(2,3}∪ {0,0,1,1,2,2,3,3} ={0,0,0,1,(2,3,1,1,2,2,3,3} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系的闭包 例 设A={0,1,2,3},A上的关系R={0,0,0,1,2,3} 则s(R)=R∪R-1 ={0,0,0,1,2,3}∪ {0,0,1,0,3,2} ={0,0,0,1,2,3,1,0,3,2} 例 设A={a,b,c,d}, A上的关系R={a,b,b,a,b,c,c,d} 则R2={a,a,a,c,b,b,b,d} R3={a,b,a,d,b,a,b,c} R4={a,a,a,c,b,b,b,d}=R2 R5= R3 所以t(R)=R∪R2∪R3 ={a,a,a,b,a,c,a,d,b,a,b,b,b,c, b,d,c,d} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系的闭包 通过关系矩阵求闭包的方法 设关系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的转置矩阵 注意：1.上述等式中矩阵的元素相加时使用逻辑加 2.求Mt更为高效的是沃舍尔(Warshall)算法 Evaluation only.