二分图小结

$S$表左边选的点集，$T$表右边选的点集

定义函数$f_{(x)}$为点$x$所在边集（这里不单指$S$与$T$构成的边）

最大匹配：$S$与$T$中分别均无重复节点所能选择的最多边

二分图的最小顶点覆盖：${S}_{\cup}{T}$最小，且所有的边能被$f_{(\forall{x}\in{S})}$和$f_{(\forall{x}\in{T})}$表示