第二章关系（第二部分）-Read.pptVIP

主要内容 覆盖 设A是集合 A1,A2,···,An都是它的非空子集 若 A1∪A2∪···∪An = A 则称 S = {A1,A2,···,An}为A的覆盖 称Ai为覆盖块 覆盖示例 设集合A = {a, b, c, d, e} S1= {{a}, {b,c}, {d,e}} S2= {{a,b}, {a,b,c}, {a,d,e}} S1和S2是A的覆盖或划分吗？ S1是A的覆盖，也是A的划分 S2是A的覆盖，不是A的划分 完全覆盖 S = {A1,A2,···,An}是集合A的覆盖 且对所有,1?i?j?n,都有：Ai?Aj 则称S为A的完全覆盖 完全覆盖举例 例 ：已知A = {a, b, c, d, e}， 判断以下集合族是不是A的覆盖，哪些是完全覆盖？ S1 = {{a}, {a, c}, {b, d, e}}， S2 = {{a, e}, {c, d}, {b, c, d}}， S3 = {{a}, {b, e}, {b, c, d}}， S4 = {{a}, {b, c}, {b, d, e}} 回答：都是A的覆盖, 其中S3和S4是A的完全覆盖。 相容关系与覆盖的一个定理 定理：设C是集合A上的完全覆盖，R是A上的二元关系，其定义为：当集合中的元素a、b属于同一个覆盖块时，(a,b)?R，则R是A上的相容关系。（P39：定理2.3.2） 证明：任选x?A，x至少在一个覆盖块中，故x,x?R; 故R具有自反性。 若x,y ?R，则x和y在同一个覆盖块中，故y,x ?R；故R具有对称性。 定理得证。 相容类 R是A上的相容关系 B是A的子集 在B中任意两个元素都是R相关的 则称B为由相容关系R产生的相容类 如果在B中添加其它任何属于A的元素后，不再构成相容类,则称B为最大相容类 相容类示例 1 设A = {134, 345, 275, 347, 348, 129} R是A上的二元关系，满足：对任意a,b∈A，若a和b至少有一个数码相同，则(a,b)∈R 问：（1）R是相容关系吗？ 回答：R是相容关系。 （2）下列集合是否由R产生的相容类,有没有最大相容类？ (a) {134, 347, 348}, (b) {345, 275}, (c) {134, 345, 347, 348}， (d) {275, 345, 347} (e) {275,347,348, 129} 回答：只有(e)不是相容类。 (a)不是最大相容类，可以添加345构成更大的相容类； (b)不是最大相容类，可以添加347构成更大的相容类； (c) (d)都是最大相容类； 相容类示例 2 设A={2,3,4,5,6,8,9,10,12}，R是A的二元关系，当a和b能被同一个素数整除时，aRb 请判断下列集合是否由R生成的相容类,哪些是最大相容类？ (1) {2,4,6,8,10} (2) {2,4,5,10} (3) {4,6,8,9} (4) {3,6,9,12} 回答： (1) 和 (4)是相容类，(4)是最大相容类。 给定相容关系R，如何求由R生成的相容类和所有最大相容类？ 关系图法 完全图 n = 1 n = 2 n = 3 n = 4 n =5 设R是相容关系 B为R的任意一个相容类 B中任意两个元素都R相关 B中任意两个元素在表示R的简化图形中有边相连 在R的简化图形中，B的所有元素和B元素之间的边构成的图（B的导出子图）是完全图 相容类 例1（1） A = {boy, root, cat, beer, and} R是A上的二元关系，R定义为：当两个单词至少有一个字母相同时，则认为是R相关的 证明R是相容关系并给出R的相容类。 相容类例 1（2） 相容类例 1(3) 相容类： （1）以任意点为元素构成的集合为相容类； （2）每条边的两个端点构成的集合为相容类； （3）{boy,root, beer} 用图形法判断相容关系 举例2 设A = {134, 345, 275, 347, 348, 129