例4.28 设给定相容关系的简化关系图如图4.22所示,写出其所有最大相容类.-|||-a-|||-Q Q-|||-a4 Q o a1-|||-as a6 a7

相容关系是满足自反性和对称性的二元关系，最大相容类是无法再添加其他元素而不破坏相容性的相容类。解题核心在于：

1. 确定相容性：根据关系图中元素间的边，判断哪些元素两两相容；
2. 寻找最大相容类：找到所有两两相容的元素集合，并确保其无法被扩大。

关键步骤分析

1. 观察关系图：假设图中边表示相容关系，例如$a_1$与$a_2$、$a_6$相容，$a_3$与$a_4$、$a_6$相容，$a_1$与$a_5$相容，$a_7$与其他元素无边。
2. 构建相容类：
   • 类1：$\{a_1, a_2, a_6\}$，三者两两相容且无法添加其他元素；
   • 类2：$\{a_3, a_4, a_6\}$，同理满足最大性；
   • 类3：$\{a_1, a_5\}$，仅两两相容且无法扩大；
   • 类4：$\{a_7\}$，孤立元素单独成类。

验证最大性

• 类1与类2的独立性：$a_1$与$a_3$不相容，故无法合并；
• 类3的独立性：$a_5$与其他类元素不相容；
• 类4的必然性：$a_7$无相容关系。