柯尼希-葉蓋瓦里定理

柯尼希-葉蓋瓦里定理，有時也簡稱為柯尼希定理，斷言對於匹配數（即最大獨立邊集的大小）等於頂點覆蓋數（即最小頂點覆蓋的大小）對於二部圖。

更一般地，該定理指出，關係中部分匹配的最大大小等於分離集的最小大小。