tree函數？

TREE 函數是在研究 Kruskal 樹問題的時候定義的。

Kruskal 證明了一個定理： 考慮如下的樹序列： 最多有 i 個節點； 每一棵樹都被 k 頂染色； 任意兩棵樹都不能同胚嵌入。定理：所有如此的序列必然有限。那么既然 Kruskal 序列是有限的，Harvey Friedman 就定義了一個 TREE(k)，表示 k 染色下序列長度的最大值，可以證明 TREE(1) = 1, TREE(2) = 3, TREE(3) 則是一個大到難以想象的數值：如果定義（超運算），那么。哦對了，Graham 數的大概大小是。目前還沒人給出過 TREE(3) 的上界，只知道它是有限的。順帶一提的是 TREE 增長速度的等級已經超過了，而 Graham 數用普普通通的就能描述了。