「Tree3の停止性証明 まとめ3 (2023/12/30)」
Tree3の停止性証明 第12章 string≦
Tree3の停止性証明 第12.5章 いんたーみっしょん
Tree3の停止性証明 第13章 Higmanの定理
Tree3の停止性証明 第14章 最終確認
Tree3の停止性証明 第15章 QED
Tree3の停止性証明 第16章 エピローグ
Tree3の停止性証明 第17章 おまけエピソード
実は・・・
「Tree(3)は三色」
と言う事実は
この「Tree3の停止性証明」の中で
一度も使われていません。^^;
つまり、Tree(4)でもTree(5)でもTree(n)でも。
何色であろうともTreeゲームは必ず停止します。