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

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

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

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

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

定理2：最大匹配數 = 最大獨立數

定理3：最小路徑覆蓋數 = 頂點數 - 最大匹配數