现已完成: [1/91]
TWOCOMP
关于图论的一些定义: 匹配 点覆盖 独立集 边覆盖 团
对于二分图有 \(|最大匹配|\ =\ |最小点覆盖|\)
对于不存在孤立点的图，\(|最大匹配|\ +\ |最小边覆盖|\ =\ |V|\)
\(|最大独立集|\ +\ |最小点覆盖|\ =\ |V|\)
\(|最大团|\ =\ |补图的最大独立集|\)
关于图论的一些定义: 匹配 点覆盖 独立集 边覆盖 团
对于二分图有 \(|最大匹配|\ =\ |最小点覆盖|\)
对于不存在孤立点的图，\(|最大匹配|\ +\ |最小边覆盖|\ =\ |V|\)
\(|最大独立集|\ +\ |最小点覆盖|\ =\ |V|\)
\(|最大团|\ =\ |补图的最大独立集|\)
原文：https://www.cnblogs.com/King-George/p/8668633.html