带通配符的 ALLSAT 压缩：所有或所有最大独立集

奇环覆盖是一个顶点集，移除它可使图成为二分图。我们证明，如果已知一个具有 w 个顶点的图的 k 元奇环覆盖，那么所有 N 个最大反团（即独立集）可以在 $O(2^k w^3 + N w^2)$ 时间内生成。生成所有 $N'$ 个反团（无论是否最大）更容易，且适用于任意图，时间为 $O(N'w^2)$。实际上，通配符的使用允许以簇的形式紧凑地生成反团。