ケーニヒの補題
グラフ理論におけるケーニヒの補題はデネス・ケーニヒ (1936)によって示された定理で、
無限グラフが無限長の道をもつための十分条件を与える。
この定理のcomputability aspectsは数理論理学の計算可能性理論の研究者によって調べられてきている。
この定理は構成的数学や証明論においても重要な役割をもつ。
Q131476
グラフ理論
Concept
Q19059
デネス・ケーニヒ
PER
Q1166618
数理論理学
Concept
Q818930
計算可能性理論
Concept
None
構成的数学
UNK
Q852732
証明論
Concept
Q1059182
ケーニヒの補題
Concept
2019-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
19
DATE
2036-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
36
DATE
+1936^^http://www.w3.org/2001/XMLSchema#decimal
1936
NUMBER
named after
notable work
subclass of
subclass of