قضیه کونیگ

نظریهٔ کونیگ نشان می دهد که پرسمان جورسازی بیشینه و پرسمان پوشش گره ای کمینه برای گرافی دوبخشی هم ارز هستند.
Wikipedia contributors, "König's theorem (graph theory)," Wikipedia, The Free Encyclopedia, (accessed March 1, 2013).
جورسازی زیرمجموعه ای از یال های گراف است که هیچ جفت-یالی در این زیرمجموعه همسایه نباشند. جورسازی بیشینه بزرگ ترین زیرمجموعه از یال هاست که یک جورسازی را می سازند.
پوشش گره ی در یک گراف مجموعه ای از گره های می باشد که می بایست حداقل یک گره از همهٔ یالهای گراف در این مجموعه باشد.