离散数学(3.11相容关系)重点.pptVIP

* * 离散数学 Discrete Mathematics 张捷 第三章 集合与关系 （Sets and Relations 3.6 关系的闭包运算 Closure Operations 3.7 集合的划分与覆盖 Partition Cover of Sets 3.8 等价关系 Equivalent Relations 3.9 相容关系 Compatibility　Relations 3.10 序关系 Ordered Relations 3.1 集合及其运算 Sets Operations with sets 3.2 序偶与笛卡尔积 Ordered Pairs Cartesian Product 3.3 关系 Relations 3.4 关系的性质 The Propeties of Relations 3.5 复合关系与逆关系 Compound Relations Inverse Relations 3.9 相容关系 Compatibility　Relations 3.9.1 相容关系的定义 The definition of Compatibility relations 3.9.2 相容关系与覆盖 Compatibility　Relations covers 第三章 集合与关系 Sets Relations 3.9 相容关系 3.9.1 相容关系的定义 The definition of Compatibility relations 1. 相容关系 定义3.9.1 集合A上的关系 ，如果它是自反的，对称的，则称 是A上的相容关系。 例1 设集合A 216，243，357，648 .定义A上的关系 〈x,y〉|x,y∈A，且x与y中至少有一个相同数字 ， 则 是A上的一个相容关系。但 不是等价关系。 令 216， 243， 357， 648，则 可表示为 可以看出相容关系的关系图有以下特点: 每个结点都有自环; 任意两个结点之间,若有弧线,则必为双向的,否则没有弧线. 的关系图为: 的关系矩阵为: 我们也可以省去 中阶梯折线以上的部分，只用下边的梯 形表示相容关系 。 因此我们可以将例1中 的关系图简化为: a b 1 c 0 1 d 1 1 0 ρ是一个相容关系. 例2 设 是某台微机上6项任务的集合，有五个子程序 ， ， ， 和 供它们选择调用，下表列出了它们调用子程序的情况。 T5 T4 T3 T2 T1 调用的子程序 任务名称 定义A上的关系ρ x,y |x,y∈A且x与y调用了相同的子程序 , ρ同时也是一个等价关系. T6 2. 最大相容类（greatest consistent classes） 定义3.9.2 设ρ是有限集A上的相容关系， ，如果 1. 对任意a,b∈C，均有aρb 2. 对任意x∈A-C，在C中至少存在一个元素c，使 得 ，则称C是相容关系ρ的最大相容类。 例如 例1中相容关系ρ的最大相容类是 例2中相容关系ρ的最大相容类是 3.9.2 相容关系与覆盖 Compatibility　Relations covers 定理3.9.1 设ρ是有限集合A上的一个相容关系， n，则对于任意a∈A，必存在一个最大相容类C，使得a∈C。 证明 设a∈A ，若对于任意b∈A ，a≠b均有 则 a 就是一个最大相容类。 若存在 ，使得 ， 则令 由于A中元素个数有限，所以至多经过n-1步，这个过程就会终止，而最后得到的 ，就是最大相容类且 对于 来说，若存在元素 ，使得 与 中各元素都有相容关系，则又得 ，…， 3.9.2 相容关系与覆盖 Compatibility　Relations covers 根据最大相容类的定义，它可以从相容关系 的 简化关系图求得，具体方法是： （1） 的简化关系图中，每一个最大完全多边形的结点集合，是一个最大相容类。 （2） 的简化关系图中，不在完全多边形中的边的两个端点的集合，也是一个最大相容类。 （3） 的简化关系图中，每一个孤立结点的单点集合，是一个最大相容类。 最大完全多边形:其每个顶点都与其它顶点连接的多边形. 3.9.2 相容关系与覆盖 Compatibility　Relations covers 例3 设给定相容关系 的简化关系图如下： 求出它 的最大相容类。 解： 的最大相容类为： a,b,d,f , c,d,f , d,e , g *