离散实践中的难点,极大相容类,为同学提供福利