关系与序关系.pptVIP

2.6 相容关系 [相容关系] X上的二元关系R，若R是自反的、对称的，则称R为X上的一个相容关系，记作 ? 。 [例] X={2661,243,315,648,455} R={x,y|x,y?X，x与y至少含有一个相同数字} 容易看出，R具有自反性、对称性。 R不具有传递性： 如 2661,243,243,455?R 但 2661,455?R 因此R不是等价关系，R是一个相容关系。 第三十一页，共76页 2.6 相容关系 [相容类] 设 A ?X，? 是X上的一个相容关系。称A是X上的一个相容类当且仅当A中任二元素相容。即 (?x)(?y)(x,y?A? x ? y)。 [最大相容类] 设 A是X上的一个相容类，若X-A中不存在与A中所有元素相容的元素，则称A为X的一个最大相容类。 在相容关系的关系图中，最大相容类对应于一个最大完全子图。 第三十二页，共76页 2.6 相容关系 例如，在上图表示的相容关系中，最大相容类为: {a, b, d , f}, {d, c ,f}, {d, e}, {g} [问题]相容类与覆盖的关系。 第三十三页，共76页 2.7 关系的运算 (1) 关系的一般运算 [定义] 设 R、S是X到Y的二元关系，定义运算如下： R?