【数学解説】クリスマスにtreeを並べるヒメミコ

メリークリスマス！！昨年に引き続きWQO系列の巨大数を紹介するわよ！！ TREE関数、大きさどころか厳密な定義を言える人すら少ないと思います。「木」の定義はそうでもないんですが、下限埋め込み可能(根付き位相マイナー)の説明がまあまあ面倒ですし。 treeやTREEに関しては木原貴行氏による解説が豊富なので、厳密な数学の文献を読める方はそちらを参照するのが一番良いと思います。今回はあくまでカジュアルに、位相マイナーとtree関数の定義を理解してもらって、treeのルールを満たす長い列の具体例を与えることを目標にしました。木をいっぱい並べる動画の方が楽しいでしょ？参考文献Lower bounds for tree(4) and tree(5) (木原貴行) https://recursion-theory.blogspot.com/2020/05/lower-bounds-for-tree4-and-tree5.htmlWELL-PARTIAL ORDERING AND HIERARCHIES (D.H.J de Jongh, Rohit Parikh) https://www.sciencedirect.com/science/article/pii/1385725877900671?ref=pdf_download&fr=RR-2&rr=9b1347cef9b6d3c5 グラフ理論(R.ディーステル) https://www.amazon.co.jp/%E3%82%B0%E3%83%A9%E3%83%95%E7%90%86%E8%AB%96-Springer%E2%80%90Verlag-GTM%E3%82%B7%E3%83%AA%E3%83%BC%E3%82%BA-R-%E3%83%87%E3%82%A3%E3%83%BC%E3%82%B9%E3%83%86%E3%83%AB/dp/4431708766