在图论中， 柯尼希定理是指二部图的最大的匹配数与最小的顶点覆盖数相等。该定理以犹太裔匈牙利数学柯尼希·德纳什（英语：Dénes Kőnig）的名字命名。1931年，匈牙利数学家艾蓋瓦里·耶內独立发现了该定理在加权图的情形下更一般的形式。 图的顶点覆盖是指它的一个顶点集，该图的每一条边都至少有一个端

Press: 53–58, 1980, ISBN 0-12-289260-7, MR 0562306 . Kőnig, Dénes, Gráfok és mátrixok, Matematikai és Fizikai Lapok, 1931, 38: 116–119 （匈牙利语）  Lovász, László

methods）。美国数学家哈罗德·W·库恩于1955年提出该算法。此算法之所以被称作匈牙利算法，是因为算法很大一部分是基于以前匈牙利数学家科尼格·德內什（英语：Dénes Kőnig）和艾蓋瓦里·耶內的工作之上创建起来的。 詹姆士·芒克勒斯在1957年回顾了该算法，并发现它的时间复杂度为（强）多项式时间。

[2019-03-01], ISBN 9780521458979, （原始内容存档于2020-11-09） . Kőnig, Dénes. Gráfok és mátrixok. Matematikai és Fizikai Lapok. 1931, 38: 116–119. . Gross, Jonathan

克尼格定理（英语：Kőnig's theorem (graph theory)）：二部圖的最大匹配，與最小頂點覆蓋（英语：Vertex cover）等大。 克尼格-艾蓋瓦里定理（英语：König–Egerváry theorem）（1931年），得名自克尼格·代奈什（英语：Dénes Kőnig