结构推理
试证明每个相容关系R,唯一地定义一个完全覆盖.
【正确答案】
证明 如果R是集合A上的相容关系,对于A中的任意元素a,集合{a}是一个相容类,且可对此集合不断地添加新的元素,直到使它成为最大相容类.因而A中的每个元素都将是某一个最大相容类中的元素.所以相容关系R产生的所有最大相容类构成的集合是A的一个覆盖;又由最大相容类的定义可知,一个最大相容类不可能是另一个最大相容类的子集,故由此最大相容类构成的集合是A的唯一的完全覆盖.
【答案解析】
提交答案
关闭