König-Geváry定理

König-Egeváry定理，有时简称为Köinig定理，断言匹配号码（即，尺寸一最大独立边集)是等于顶点覆盖数（即尺寸的最小顶点覆盖)对于二分的图表.

更一般地说，该定理指出，关系中部分匹配的最大大小等于分离集的最小大小。