二分图的一些定理

Posted 蒟蒻zht的博客

tags:

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

最小点覆盖:用最少的点(X集合或Y集合都的都行)让每条边都至少和其中一个点关联。

结论:最小点覆盖数 = 最大匹配数M

因为只需要让它们覆盖最大匹配的M条边,则其它边一定被覆盖,而每一条边只需选择一个节点。

 

DAG图的最小路径覆盖:用尽量少的不相交的简单路径覆盖有向无环图所有顶点。

二分图模型:把所有顶点 i 拆成两个:X集合中的 i 和Y集合中的 i‘。若有边 i->j,则在二分图中引入边 i->j‘。

结论:DAG图的最小路径覆盖数 = 节点数N - 最大匹配数M

 

最大独立集:在一个二分图中,选择最多的顶点(可以是左集合中的也可以是右集合中的),使得所选择的点集中任意两点之间没有连边。

结论:最大独立集 = 节点数N - 最大匹配数M。

可以这样理解,在总的点集中,去掉最少的点,使得剩下的点相互之间没有边。即用最少的点去覆盖所有的边。这样就转化成了最小点覆盖。

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

[HDU2458]Kindergarten(二分图匹配,最大团)

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

二分图定理的一些证明:

[HAOI2017] 新型城市化 - 强联通分量,最大流,二分图染色

二分图部分总结

二分图相关问题