第四章相容关系.ppt

1/43第四章二元关系

2/43回顾关系的闭包集合的划分和覆盖等价关系等价模数等价类

3/43三、相容关系定义：给定集合X中的二元关系R，如果R是自反的，对称的，则称R是相容关系，记作≈。也就是说，可以把R规定成：显然，所有的等价关系都是相容关系，但相容关系并不一定是等价关系。例如，设集合X={2166,243,375,648,455}，X中的关系，可以看出R是自反的和对称的，因此是一相容关系。

4/43三、相容关系在相容关系中，如果有xRy，则称x和y是相容的。例如前面的例子中，X={2166,243,375,648,455}，令x1=2166,x2=243,x3=375,x4=648,x5=455，则x1Rx2,x2Rx3，但是x1x3，可以看出相容关系是不可传递的。把R写出来是

5/43三、相容关系R的关系矩阵如下由于相容关系是自反的，因而矩阵对角线上的各元素都应是l；相容关系是对称的，所以矩阵关于主对角线也是对称的。这样，仅给出关系矩阵下部的三角形部分也就够了。

6/43三、相容关系R的关系图如下由于相容关系的自反性和对称性，关系图中的所有结点上都有环边；有相容关系的两个结点间都有往返弧线。如果找们删除全部结点上的环边，并且用一条直线取代两结点间的两条弧线，这样就可以把图简化

7/43三、相容关系仍然以X={2166,243,375,648,455}为例x1=2166,x2=243,x3=375,x4=648,x5=455，令X1={x1,x2,x4},X2={x2,x3,x5},X3={x2,x4,x5}在集合X1，X2和X3中，同一个集合内的元素都是相容的。这些集合的并集就是给定的集合X，亦即X=X1。因此，集合A={X1,X2,X3}定义了集合X的一个覆盖，但它不能构成集合X的一个划分。结论：集合中的相容关系能够定义集合的覆盖；而集合中的等价关系能够确定集合的划分。

8/43最大相容类定义：设≈是集合中的相容关系。假定。如果任何一个，都与其它所有的元素有相容关系，而X-A中没有能与A中所有元素都有相容关系的元素，则子集称为最大相容类。寻找最大相容类的方法：关系图法关系矩阵法

9/43关系图法寻找最大相容类关系图法的实质在于寻找出“最大完全多边形”。所谓最大完全多边形，系指每一个顶点都与其它所有顶点相连结的多边形。集合中仅关系到它自身的结点，是一个最大完全多边形。不都与其它的结点相连接的一条直线所连接的两个结点构成一个最大完全多边形。三角形的三个顶点构成一个最大完全多边形，对角线相连的四边形的四个顶点构成一个最大完全多边形，正五角星的五个顶点构成一个最大完全多边形，正六边形的六个顶点也是一个最大完全多边形。一个最大完全多边形对应一个最大相容类。

10/43关系图法寻找最大相容类三角形x1x2x4,x2x3x5,x2x4x5是最大完全多变形；与他们对应的最大相容类是X1={x1,x2,x4},X2={x2,x3,x5},X3={x2,x4,x5}

11/43关系图法寻找最大相容类例：下图中，给出了两个相容关系图。试求出它们的所有最大完全多边形,并求出与它们相应的最大相容类。最大完全多边形有：四边形1234线段25，36和56；与它们相应的最大相容类分别是：{1，2，3，4}，{2，5}，{3，6}，{5，6}。

12/43关系图法寻找最大相容类最大完全多边形有：三角形123，136，356和孤立结点4；与它们相对应的最大相容类分别是：{1，2，3}，{1，3，6}，{3，5，6}和{4}。

13/43关系矩阵法寻找最大相容类首先制定简化了的关系矩阵，继之按下列步骤求出各最大相容类：(1)仅与它们自身有相容关系的那些元素，能够分别单独地构成最大相容类，因此从矩阵中删除这些元素所在的行和列。(2)从简化矩阵的最右一列开始向左扫描，直到发现至少有一个非零记入值的列。该列中的非零记入值，表达了相应的相容偶对。列举出所有这样的偶对。

14/43关系矩阵法寻找最大相容类(3)继续往左扫描，直到发现下一个至少有一个非零记入值的列。列举出对应于该列中所有非零记入值的相容偶对。在这些后发现的相容偶对中，如果有某一个元素与先前确定了的相容类中的所有元素都有相容关系，则将此元素合并到该相容类中去；如果某一个元素仅与先前确定了的相容类中的部分元素有相容关系，则可用这些互为相容的元素组成一个新的相容类。删除已被包括在任何相容类中的那些相容偶对，