「数学コラム Tree3の停止性の証明2-2 (2021/01/14)」
Kruskalのツリー定理。およびTree3の停止性の証明 第02話 パート2。
Treeゲームの具体的な進行例。
そうですね。
Tree3シークエンスの停止性は
全く自明ではないと思います。
もしかしてうまく配置すれば永遠にシークエンスを作り続ける
方法があるかも知れない。
止まるのか、止まらないのか。どっちか知らされてない状態では
直感による判定はまーず無理なレベルだと思います。
実は、「停止性」のほうが遥かに強い。
M手目に置ける石の数は M × 1億
つまり一手目に置ける石は1億個、
二手目は2億個、
三手目は3億個、
...
みたいにとんでもなく条件を緩く、
プレイヤー側を有利にしても
シークエンスは停止するんです。
・・・ね、わかんないでしょ。^_^A;
これは絶対直感じゃわからんて。(汗)