完全2部グラフKm,n{\displaystyleK_{m,n}}には大きさmin{m,n}{\displaystyle\min\lbracem,n\rbrace}の最大マッチングがある。
完全二分图Km,n{\displaystyleK_{m,n}}具有大小为min{m,n}{\displaystyle\min\lbracem,n\rbrace}的最大匹配。