グラフ理論
グラフ理論におけるケーニヒの補題はデネス・ケーニヒ (1936)によって示された定理で、