二分图:对于图G=(V,E),存在一种方式,将V划分为两个点集,每个点集内任意两个点间没有边。
覆盖:V的子集,E中每条边至少有一个顶点在该集合中。
最小覆盖:能够覆盖G的最少顶点集合。
匹配:E的子集,该集合中任意两条边不相交。
最大匹配:能够匹配G的最大边集合。
定理:二分图中的最小覆盖数等于最大匹配数。
先证充分性。记二分图的最小覆盖数为m,最大匹配数为n,显然有:
m ⩾ \geqslant ⩾n ( 1 ) \begin{pmatrix}1\end{pmatrix} (1