二分图的部分关系

二分图的最大团等于 补图的最大独立集

最大独立集等于顶点数减去最大匹配数。