主題
Search

格拉漢姆數


N^* 是最小維度 n超立方體,使得如果連線所有角對的線被 雙色著色,對於任何 n>=N^*,一個單色 完全圖 K_4 將會被強制出現,且具有共面頂點。通俗地說,這個定義等價於考慮來自某人數 n 的每個可能的委員會,並列舉每對委員會。現在將每對委員會分配到兩個組中的一個,並找到最小的 N^*,即最小的 n,它將保證存在四個委員會,其中所有對都屬於同一組,並且所有人都屬於偶數個委員會(Hoffman 1998, p. 54)。

Graham 和 Rothschild (1971) 證明了答案存在,他們也提供了已知的最佳上限,由下式給出

 N^*<=g_(64),
(1)

其中格拉漢姆數 g_(64) 由遞迴定義為

 g_1=3^^^^3
(2)

 g_n=3^...^_()_(g_(n-1))3.
(3)

這裡,^ 是所謂的 高德納箭號表示法g_(64) 通常被認為是實際應用中用過的最大數字(Exoo 2003)。

鏈式箭號表示法 中,g_(64) 滿足不等式

 3->3->64->2<g_(64)<3->3->65->2.
(4)

Graham 和 Rothschild (1971) 也透過證明 N^* 必須至少為 6,從而提供了一個下限。最近,Exoo (2003) 已經證明 N^* 必須至少為 11,並提供了實驗證據表明它實際上甚至更大。


參見

鏈式箭號表示法, 極值圖論, 圖雙色著色, 漢明距離, 超立方體, 高德納箭號表示法, 拉姆齊理論, Skewes 數

使用 探索

參考文獻

Conway, J. H. 和 Guy, R. K. 數字之書。 紐約:施普林格出版社,pp. 61-62, 1996.Exoo, G. "一個歐幾里得拉姆齊問題。" Disc. Comput. Geom. 29, 223-227, 2003.Exoo, G. "超立方體上的拉姆齊問題。" http://isu.indstate.edu/ge/GEOMETRY/cubes.html.Gardner, M. "數學遊戲。" Sci. Amer. 237, 18-28, 1977 年 11 月.Graham, R. L. 和 Rothschild, B. L. "n-引數集的拉姆齊定理。" Trans. Amer. Math. Soc. 159, 257-292, 1971.Havil, J. Gamma: 探索尤拉常數。 普林斯頓,新澤西州:普林斯頓大學出版社,pp. 200 和 209, 2003.Hoffman, P. 愛數字的人:保羅·埃爾德什的故事和對數學真理的探索。 紐約:海珀裡翁出版社,pp. 18 和 54, 1998.

在 中被引用

格拉漢姆數

引用為

Weisstein, Eric W. "格拉漢姆數。" 來自 網路資源。 https://mathworld.tw/GrahamsNumber.html

學科分類