匹配相关

一般图中 最小点覆盖 + 最大独立集 = 点数

Proof: 点覆盖取补可以得到独立集。