在研究Kruskal樹問題時，定義了樹函數(shù)。Kruskal證明了一個定理：考慮以下樹序列：最多I個節(jié)點(diǎn)；每棵樹都由k-top著色；沒有兩棵樹可以同胚嵌入。定理：所有這樣的序列都必須是有限的。由于Kru

在研究Kruskal樹問題時，定義了樹函數(shù)。

Kruskal證明了一個定理：考慮以下樹序列：最多I個節(jié)點(diǎn)；每棵樹都由k-top著色；沒有兩棵樹可以同胚嵌入。定理：所有這樣的序列都必須是有限的。由于Kruskal序列是有限的，Harvey-Friedman定義了一個樹（k），表示k-著色下序列的最大長度。可以證明樹（1）=1，樹（2）=3，樹（3）是一個難以想象的值：如果定義了（超級運(yùn)算），那么。哦，順便說一下，格雷厄姆的數(shù)字大概是。目前，還沒有人給出樹（3）的上界，但它是有限的。順便說一句，樹的生長速度已經(jīng)超過了其他數(shù)字，格雷厄姆的數(shù)字可以用普通數(shù)字來描述。