「Tree3の停止性の証明 第5章 ルート落とし枝コレクション （2021/03/13)」



Tree3停止性の証明。第5章 ルート落とし枝コレクション

今回。いよいよ物語の核心に入ります。







これ。
シークエンスGの中から、ルートを落として
ピースセットを再構築する。
そしてその新ピースセットSの中での最長シークエンスTを考える。


・・・よくよく考えれば。
このTは何かがおかしい。
ちょっと変な事態がおきてます。


ヒント：
ルートを落とした事で、ツリーのサイズは
オリジナルに比べて最低でも1は減ります。

ここまで
　　最小BSのM
　　→ その緑選り抜きG
　　→ そのルート落としS
　　→ その最長シークエンスT
と流れて来てる。

最小Mから始めたのに、Sでサイズが1減ると・・・？


登場人物＆用語ノート