「Tree3の停止性の証明 第7.5章 いんたーみっしょん （2021/04/03)」


息抜き回です。









KruskalによりTreeゲームの停止性が証明されたのは1960年。
　(実はグラハム数の発見よりも早い)
めっちゃ古いです。

我々は、60年遅れて
彼らの足跡を辿る旅をしています。