部分轉載自http://www.renfei.org/blog/bipartite-matching.html

最大匹配數：最大匹配的匹配邊的數目

最小點覆蓋數：選取最少的點，使任意一條邊至少有一個端點被選擇

最大獨立數：選取最多的點，使任意所選兩點均不相連

最小路徑覆蓋數：對于一個 DAG（有向無環圖），選取最少條路徑，使得每個頂點屬于且僅屬于一條路徑。路徑長可以為 0（即單個點）。

最大團：對于一般圖來說，團是一個頂點集合，且由該頂點集合誘導的子圖是一個完全圖，簡單說，就是選出一些頂點，這些頂點兩兩之間都有邊。最大團就是使得選出的這個頂點集合最大。對于二分圖來說，我們默認為左邊的所有點之間都有邊，右邊的所有頂點之間都有邊。那么，實際上，我們是要在左邊找到一個頂點子集X，在右邊找到一個頂點子集Y，使得X中每個頂點和Y中每個頂點之間都有邊。

最大匹配數 = 最小點覆蓋數（這是 Konig 定理）

最大匹配數 = 最大獨立數

最小路徑覆蓋數 = 頂點數 - 最大匹配數

原圖的最大團 = 補圖的最大獨立集
原圖的最大獨立集 = 補圖的最大團

轉載于:https://www.cnblogs.com/fightfordream/p/7607639.html

總結

以上是生活随笔為你收集整理的二分图的一些结论的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。