离散数学课件：3-10 相容关系.ppt

最大相容类的求法 完全覆盖 集合A的覆盖不是唯一的，因此给定相容关系R，可以作成不同的相容类的集合，它们都是A的覆盖. 但给定相容关系R，只能对应唯一的完全覆盖. 例如，下图中的相容关系R有唯一的完全覆盖： {{a1, a2, a4, a6},{a3, a4, a6}, {a4, a5}, {a7}}. 相容关系与完全覆盖 * * 十、相 容 关 系 相容关系：若集合A上的二元关系R是： (1)自反的， (2)对称的， 则称R是A上的相容关系. (一) 相容关系的定义 相容关系也可能满足传递性. 或者说，等价关系也是相容关系. 相容关系也常称为相似关系(similarity relation) 例3.10.1 设集合A={cat, teacher, cold, desk, knife, by}，定义关系R={x, y|x, y?A且x和y有相同的字母}. 判断R是否是相容关系. 解： 显然R是一个相容关系.不妨看一下它的关系矩阵和关系图. 令x1=cat, x2=teacher, x3=cold, x4=desk, x5=knife, x6=by，则关系矩阵为 注意到相容关系矩阵的对称性和对角线元素都是1，可简化表示:仅给出左下角元素（不包括对角元） 十、相容关系 例3.10.1 设集合A={cat, teacher, cold, desk, knife, by}，定义关系R={x, y|x, y?A且x和y有相同的字母}. 判断R是否是相容关系. 解(续)： R的关系图也可简化表示:不画自回路，并用无向边代替二条有向边. x1 x2 x3 x4 x5 x6 十、相容关系 相容类：设R是非空集合A上的相容关系，子集B满足 ?x,y?B, xRy, 则称B为A关于R的相容类. (二) 最大相容类 最大相容类：设R是集合A的相容关系，子集B满足： (1)?x, y?B, xRy; (2)?x?A-B, ?z?B, xR z, 则称B为A关于R的最大相容类. 十、相容关系 例3.10.2 在如下图所示的相容关系中，判断以下子集是否是相容类，是否是最大相容类. x1 x2 x4 x5 x6 x3 {x2, x4, x5} {x6} {x2, x3} {x1, x3} {x1, x2} 最大相容类 相容类 子集 Y Y Y Y Y N N Y Y N 在相容关系图中，最大完全多边形的顶点集合，就是最大相容类； 在相容关系图中，孤立结点，以及不是完全多边形边的两个结点的连线，也是最大相容类. a3 a4 a6 a1 a2 a5 a7 利用关系图 方法：求出图中所有最大完全多边形，孤立结点，以及不是完全多边形边的两个结点的连线，它们构成了相应的最大相容类。 例3.10.3 设给定相容关系如图所示，写出最大相容类. 解： 最大相容类为： {a7}, {a4, a5}, {a3, a4, a6}, {a1, a2, a4, a6}. 十、相容关系 定理 设R是非空有限集A上的相容关系，C是一个相容类，那么必存在一个最大相容类CR，使得C ? CR. 证： 设A={a1, a2, …,an}, 构造相容类序列 C0?C1 ?C2 ?…, 其中C0=C且Ci+1= Ci∪{aj} , 这里j是满足aj ?Ci而aj与Ci中各元素都有相容关系的最小足标. 由于A的元素个数card(A)=n，所以至多经过n- card(C)步，就使这个过程终止，而此序列的最后一个相容类，就是所要找的最大相容类. 十、相容关系 (三) 完全覆盖 ?a?A可以组成相容类{a}，由前述定理可知，{a}必包含在一个最大相容类CR中. 因此，若由所有最大相容类作出一个集合，则A中每一个元素至少属于该集合的一个成员之中，所以最大相容类集合必覆盖集合A. 完全覆盖：在集合A上给定相容关系R，其最大相容类的集合，称作集合A的完全覆盖，记作CR(A). 十、相容关系 a3 a4 a6 a1 a2 a5 a7 十、相容关系 (四) 相容关系与完全覆盖 1. A上的相容关系R诱导一个完全覆盖. 证： ∵?a?A, a, a? R, ∴∪ a所在的最大相容类 a ? A. 即这些最大相容类的集合构成 A的完全覆盖. 十、相容关系 由最大相容类的定义可得， a所在的最大相容类 ?A, 从而a? a所在的最大相容类 ， ∪ a所在的最大相容类. a 故A? ∴∪ a所在的最大相容类 a =A. 2. A上的覆盖{A1, A2, …, An}诱导出一个相容关系：