二分图定理的一些证明:

Posted enceladus-return0

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了二分图定理的一些证明:相关的知识,希望对你有一定的参考价值。

二分图定理的一些证明:

1.最小顶点覆盖

定义:能覆盖所有的边的最少顶点数(或是最小点权和)

最小顶点覆盖 = 最大匹配数

证明:假设最大匹配是M。为了求最少的点让每条边都至少和期中一个点关联。 M个点是足够的。就是说他们覆盖最大匹配的那M条边后,假设有某边没被覆盖,那么把它加入后会得到一个更大的匹配,出现矛盾。 M个点是必需的。匹配的M条边,由于他们两两无公共点,就是说至少有M个点才能把他们覆盖,所以啊,最小顶点覆盖 = 最大匹配数 。

2.最大独立点集

定义:在二分图中,选择一些点,使得这些点两两没有边直接相连。

最大独立点集=总点数-最小顶点覆盖

证明:可以这么想,最小顶点覆盖里的每一个点,会去尽可能多的覆盖更多的边,这样一来,这个点覆盖的边的对面的一群点,就全会被算到最大独立点集中,如果最大独立点集中的点有边,那最大匹配数会更优,最小顶点覆盖 也会更大,所以最大独立点集=总点数-最小顶点覆盖。

3.DAG最小路径覆盖

定义:能覆盖所有点的最少路径数

最小路径覆盖 = 原图上的点数 - 最大匹配数

证明:先说一下建图

DAG转化成二分图:将一个点拆分成两个点:入点和出点,如果A,B之间有边,就把A的出点和B的入点相连。

RT↓

这张图建完转成二分图是这个样子(且已经匹配完

匹配完了就是这个样子:

三种颜色即代表了三条路径

可以这样想:如果图不连通,最小路径覆盖即为点数,每多一次匹配,会多覆盖一个点,最小路径数-1。又因为每个点只能用一次,所以最小路径覆盖 = 原图上的点数 - 最大匹配数 。

以上是关于二分图定理的一些证明:的主要内容,如果未能解决你的问题,请参考以下文章

Learning最小点覆盖(二分图匹配) 与Konig定理证明

二分图konig定理证明

二分图定理及证明

Hall定理 二分图完美匹配

二分图中的最大匹配数等于最小点覆盖数的证明

匈牙利算法解决二分图匹配