$S$表左边选的点集,$T$表右边选的点集
定义函数$f_{(x)}$为点$x$所在边集(这里不单指$S$与$T$构成的边)
最大匹配:$S$与$T$中分别均无重复节点所能选择的最多边
二分图的最小顶点覆盖:${S}_{\cup}{T}$最小,且所有的边能被$f_{(\forall{x}\in{S})}$和$f_{(\forall{x}\in{T})}$表示
$S$表左边选的点集,$T$表右边选的点集
定义函数$f_{(x)}$为点$x$所在边集(这里不单指$S$与$T$构成的边)
最大匹配:$S$与$T$中分别均无重复节点所能选择的最多边
二分图的最小顶点覆盖:${S}_{\cup}{T}$最小,且所有的边能被$f_{(\forall{x}\in{S})}$和$f_{(\forall{x}\in{T})}$表示