第二章关系简析.pptVIP

相容关系 相容关系是另一种常见关系， 如朋友关系、 同学关系等。这些关系的共性是自反的、对称的。 定义:给定集合X上的关系r,若r是自反的、对称的, 则r是A上相容关系。 例如：设X＝{2166,243,375,648,455},关系R为元素间有相同的数字，在此情况下R满足自反性和对称性，故R是相容关系。 极大相容性分块 定义：设有集合X上的相容关系R，设A是X的子集，如A中任何元素都互为相容，且X-A中的任何元素没有一个与A中的所有元素相容的，则称A是X的极大相容性分块。 从简化图找最大相容类：----找最大完全多边形。 最大完全多边形：含有结点最多的多边形中，每个结点都与其它结点相联结。 完全覆盖 定义：设有X上的相容关系R，它的极大相容性分块的集合称为X的完全覆盖。 如上图中的完全覆盖为{{1,4,5},{1,2,4}{1,3,5}} 1 5 4 3 2 2 4 1 3 5 等价关系 等价关系是很重要的关系，它是我们遇到最多的 关系，例如，数值相等关系=、命题间的等价关系? 、三角形相似∽和全等关系≌，….. 一.等价关系 定义:设R是A上关系,若R是自反的、对称的和传递的，则称R是A中的等价关系。若a,b?A，且aRb，则称a与b等价。 等价关系 例：集合A={1,2,3,4,5,6,7}, 关系R是A上的模3同余关系，即 R={(x,y)|x-y可