The generating algorithm of the greatest compatible classes in a compatible relation

• 相容关系的最大相容类的生成算法