最大匹配：

匹配：在圖論中，一個「匹配」（matching）是一個邊的集合，其中任意兩條邊都沒有公共頂點。

最大匹配：一個圖所有匹配中，所含匹配邊數最多的匹配，稱為這個圖的最大匹配。

最小點覆蓋：

點覆蓋的概念定義： 
對於圖G=(V,E)中的一個點覆蓋是一個集合S⊆V使得每一條邊至少有一個端點在S中。

最小點覆蓋：就是中點的個數最少的S集合。 

結論： 二分圖的最小點覆蓋數=該二分圖的最大匹配數

最小邊覆蓋：

邊覆蓋的概念定義： 
邊覆蓋是圖的一個邊子集，使該圖上每一節點都與這個邊子集中的一條邊關聯，只有含孤立點的圖沒有邊覆蓋，邊覆蓋也稱為邊覆蓋集，圖G的最小邊覆蓋

結論： 二分圖的最小邊覆蓋數=圖中的頂點數 - 該二分圖的最大匹配數

              二分圖的最小邊覆蓋數=圖中的頂點數 - 最小點覆蓋數

最大獨立集：

最大獨立集：在Ｎ個點的圖G中選出m個點，使這m個點兩兩之間沒有邊的點中，m的最大值。 
結論： 二分圖的最大點獨立數=點的個數-最小點覆蓋數（最大匹配）