论文部分内容阅读
集合A上的二元关系R称做相容关系,如果它是自反的、对称的.若B是集合A的非空子集,且B中的任意两个元素都有相容关系R,则称集合B为相容关系R的相容类.不能真包含在任何相容类中的相容类即为最大相容类.文章研究了生成相容关系的最大相容类所需要的理论,设计了生成相容关系的最大相容类的实用算法--优化广度优先搜索.