离散数学-第5章-6！.pptVIP

由于在相容关系的关系图上，每个节点处都是有自回路且每 两个相关节点间的弧线都是成对出现的，为了简化图像，我们以 后对相容关系图，不画自回路，并用单线代替来回弧线。 另外由于相容关系是自反和对称的，因此企管系矩阵的对角 线元素都是1，且矩阵是对称的。为此我们可以讲矩阵用梯形表 示。 简化图和简化矩阵 图的简化：⑴不画环； ⑵两条对称边用一条无向直线代替。 2. 矩阵的简化：因为r的矩阵是对称阵且主对角线全是1，用下三角矩阵(不含主对角线)代替r的矩阵。 【example】令x1=fly, x2= any, x3= able, x4=key, x5=book, x6= pump, x7= fit, X={x1 ,x2, x3, x4, x5, x6 ,x7}, r的简化图为： x2 x1 x3 x5 x4 x7 x6 x2 1 x6 x1 x2 x3 x4 x5 x7 x6 x5 x4 x3 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2.相容类及最大相容类 a）相容类 定义：设r是集合X上的相容关系,C?X,如果对于C中任意元素 x,y有x,y∈r ,称C是r的一个相容类。 上例中{x1,x2},{x3,x4},{x1,x2,x3},{x2,x3,x4},{x1,x2, x4}, {x3,x4,x5},{x1,x3,x4},{x1,x2,x3,x4},{x1,x7},{x6} 都是相容类。上述相容类中，有些相容类间有真包含关系。 b）最大相容类 定义：设r是集合X上的相容关系，C是r的一个相容类，如果C 不能被其它相容类所真包含，则称C是一个最大相容类。 也可以说，C是一个相容类，如果C中加入任意一个新元素 ，就不再是相容类，C就是一个最大相容类。 {x1,x2,x3,x4} , {x3, x4, x5}, {x1,x7} , {x6}都是最大相容类。 从简化图找最大相容类：----找最大完全多边形。 即：含有结点最多的多边形中，每个结点都与其它结点相联结. 在相容关系简化图中，每个最大完全多边形的结点集合构成一个最大相容类。 上例中最大相容类{x1,x2,x3,x4}, {x3, x4,x5}, {x1,x7}, {x6}分别对应最大完全四、三、一、零边形。 给定X上相容关系r‘ ,如图所示,r’的最大相容类： {x1,x2,x5},{x2, x3, x5}, {x3, x4,x5},{x1,x4 ,x5}, x1 x2 x3 x4 x5 3. 完全覆盖： 定义：r是中的相容关系，由r的所有最大相容类为元素构成的 集合，称之为X的完全覆盖。记作Cr(X)。 Cr (X)={{x1,x2,x3,x4}, {x3, x4, x5},{x1,x7},{x6}} Cr’ (X)={{x1,x2,x5},{x2, x3, x5}, {x3, x4, x5}, {x1,x4 ,x5}} 【练习】 1.下面是所有人集合上的关系，其中哪些是等价关系？确定一个 等价关系的性质，这些性质是其他关系所欠缺的。 a）{（a，b）|a与b有相同的年龄} b）{（a，b）|a与b有相同的父母} c）{（a，b）|a与b有一个相同的父亲或者一个相同的母亲} d）{（a，b）|a与b相识} e）{（a，b）|a与b说同一种语言} solution： a） 是等价关系。 b）是等价关系。 c）不是等价关系。因它不具有传递性。举例说明，假如A是W和Y的孩子，B是X和Y的孩子，C是Y和Z的孩子。因此A和B有关，B和C有关，但是不能得出A和C是有关的结论。 d）等价关系。 e）不是等价关系。不满足传递性。 2.在以下三题中确定具有所示有向图的关系是否为等价关系。 1 2 3 Solution： 1. 我们需要考虑该题中的关系是否具有自反性、对称性、传递性。从图中可以看出该题不满足传递性，缺少了边(c, d)和 (d, c)。 2.该题中的关系是等价关系，等价类是{a，d}，{b，c}。 3.该题不是等价关系。 3.确定由下面的0-1矩阵表示的关系是否为等价关系。 Solution： a) 不是等价关系，不满足对称性。 b）是等价关系。由第一和第三元素构成一个等价类，第二和第四元素钩沉另一个等价类。 c）是等价关系。第一、第二和第三个元素构成一个等价类，第四元素构成另一个等价类。 4.当m是下面的整数时，[4]m的同余类是什么？ a）2