グラハム数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

グラハム数(グラハムすう、: Graham's number)は、ラムゼー理論に関する未解決問題の解の推定値の上限として得られた自然数である。数学の証明で使われたことのある最大の数として1980年ギネスブックに認められた[1]

極めて巨大な巨大数であり指数で表記するのは事実上不可能なため特別な表記法を用いて表される。

グラハム問題[編集]

この数は、1970年ロナルド・グラハム英語版ブルース・リー・ロスチャイルド英語版による「グラハムの定理」

n 次元超立方体の 2n 個の頂点のそれぞれを互いに全てで結ぶ。次に2つの色を用いて連結した線をいずれかの色に塗り分ける。
このとき n が十分大きければ、どんな塗り方をしても、同一平面上にある四点でそれらを結ぶ線が全て同一の色であるものが存在する。

に関係する。つまり、n が十分大きければというが、

n がいくらより大きければ、この関係は常に成立するか

ということである。これがグラハム問題である。グラハムの定理より、解の存在は確かだが、具体的な値は現在にいたるまで得られていない。

しかし、この関係がグラハム数以上の n について成り立つことがグラハム自身によって証明された。つまり、解はグラハム数以下である。

ただしグラハムらは実際にはこの数を論文では発表しておらず、翌1971年にグラハム数より小さなグラハム問題の解の上限として、小グラハム数という数を発表した[2]。その後、マーティン・ガードナー1977年サイエンティフィック・アメリカンでグラハム数を紹介した[3]ことによってこの数は広く知られるようになった。

解の上限はのち2014年ミハイル・ラブロフらによってより小さい数が示された[4]

一方、この問題の解の下限(つまりこの数より小さい数では成り立たないことを示した数)としては、グラハムとロートシルトは1971年の小グラハム数を示したものと同じ論文中で 6 を与えた。ガードナーは1989年に著書の中でラムゼー理論の専門家はこの問題の解を 6 と考えていると紹介し、これが広く信じられてきたが、2003年ジェフ・エクスーがより良い下限として 11 を[5]2008年にはジェローム・バークレーが 13 を与えた[6]

定義[編集]

矢印表記[編集]

グラハム数は巨大すぎて、通常の指数では事実上表現不可能である。そのため次のような特殊な関数を用いる。

まず、クヌースの矢印表記を使い、x, y を自然数としたとき、演算子「↑」を次のように定義する。

さらに「↑↑」を次のように再帰的に定義する。

つまり、

となる( は、xy 個あることを表す)。ただし演算は右から行う。つまり例えば、xxx = x↑(xx) である。例を挙げると次のようになる。

同様に「↑↑↑」を次のように再帰的に定義する。

つまり、

である。

一般の場合も同様に、「↑…(n 本)…↑」=「↑n」を次のように定義する。

グラハム数[編集]

これを用いて、関数 G(n) を

と定義したときの

グラハム数と言う。

その大きさ[編集]

G(x) を実際に計算してみると、

  • G(1) = 3↑3 = 3→3→1 = 3→3 = 33 = 27
  • G(2) = 3↑↑3 = 3→3→2 = 3↑(3↑3) = 3↑G(1) = 3↑27 = 7625597484987
  • G(3) = 3↑↑↑3 = 3→3→3 = 3↑↑(3↑↑3) = 3↑↑G(2) = 3↑↑7625597484987
  • G(4) = 3↑↑↑↑3 = 3→3→4 = 3↑↑↑G(3)
  • G2(4) = G(G(4)) = 3↑…(G(4) 本)…↑3 = 3→3→G(4) = 3↑G(4)-13↑G(4)-2…↑33↑23↑3
  • G3(4) = G(G2(4)) = 3↑…(G2(4) 本)…↑3 = 3→3→G2(4)
  • G64(4) = G(G63(4)) = 3↑…(G63(4) 本)…↑3 = 3→3→G63(4) = hyper(3, G63(4)+2, 3) = hyper(3, G62(G(4))+2, 3) = hyper(3, G62(3→2→5)+2, 3) = 3↑G63(4)-13↑G63(4)-2…↑33↑23↑3↑3

G(2) までは十進法表記で表すことができるが、G(3) ですら既に3の累乗を7兆6000億回以上繰り返した数であるため、現実の何物とも比べられないような巨大数になっており、後述するように十進法以下の表記で表すことすら現実的には不可能である。G(4) はその十進以下の表記が現実的に不可能な G(3) − 1 の数だけ ↑↑(二重矢印)を繰り返した数であるため、想像を絶する大きさとなっている。

次の段階の G2(4) は3と3の間に G(4) 本矢印をおいたものであり、この時点で指数のみの表記も括弧を駆使しても事実上不可能となり、モーザー数 ()も超える。この操作を63回繰り返した数がグラハム数である。

この大きさをたとえる話として、「グラハム数を十進記数法を用いて印字しようとした場合(十分に印刷できる面積を持つ物体があるとして)、この全宇宙にある物質すべてをインクに変えても全く足りない」というものがある。しかし、観測可能な宇宙素粒子の総数は 1080 と考えられているので、このたとえで表せる数は、粒子1個で1文字を印刷するとしても n 進表記ではせいぜい n1080 に過ぎない。この数は1 < | n | ≤ 10 のときグラハム数どころか G(3) と比較しても圧倒的に小さく(G(3) の遥か手前、 が既に約 である)、グーゴルプレックス にも満たない。これほど極端な例えですら言い表すことができないほど巨大な数がグラハム数である。

コンウェイのチェーン表記を用いても G = G64(4) を簡潔に表すことは出来ないが、次の不等式が成立する。

ちなみに、グラハム数を十進法で表したときの下3桁は387である。末尾100万桁を記した書籍が出版されている[7]

表現[編集]

グラハム数を表すにはいくつか等価な表現がある。

名称 表記
クヌースの矢印表記
コンウェイのチェーン表記

小グラハム数[編集]

グラハムとロートシルトは1971年に、より小さい上限として小グラハム数 (Little Graham) を示した。この数は関数 F(n) を

と定義したときの

である。これはグラハム数よりは遥かに小さいが、それでもなお非常に大きい数である。

その大きさ[編集]

F(x) を実際に計算してみると、

  • F(1) = 2↑3 = 2→3→1 = 2→3 = 23 = 8
  • F(2) = 2↑↑3 = 2→3→2 = 2↑(2↑2) = 2↑4 = 16
  • F(3) = 2↑↑↑3 = 2→3→3 = 2↑↑(2↑↑2) = 2↑↑4 = 2222 = 2↑F(2) = 65536
  • F(4) = 2↑↑↑↑3 = 2→3→4 = 2↑↑↑(2↑↑↑2) = 2↑↑↑4 = 2↑↑2↑↑2↑↑2 = 2↑↑F(3) = 2↑↑65536
  • F(5) = 2↑↑↑↑↑3 = 2→3→5 = 2↑↑↑↑2↑↑↑↑2 = 2↑↑↑↑4 = 2↑↑↑2↑↑↑2↑↑↑2 = 2↑↑↑F(4)
  • F(12) = 2↑123 = 2→3→12 = 2↑112↑112 = 2↑114 = 2↑102↑102↑102 = 2↑10F(11)
  • F2(12) = F(F(12)) = 2↑…(F(12) 本)…↑3 = 2→3→F(12)
  • F3(12) = 2↑…(F2(12) 本)…↑3 = 2→3→F2(12)
  • F7(12) = 2↑…(F6(12) 本)…↑3 = 2→3→F6(12)

ラブロフらによる解の上限[編集]

ラブロフらは2014年に、多次元三目並べに関するヘイルズ=ジュエットの定理英語版を応用し、より小さい上限として

を示した。これもなお非常に大きい数であるが、グラハム数および小グラハム数と比すると格段に小さい数である。これによりグラハム問題の解 n

の範囲にあることになる。


出典[編集]

  1. ^ Guiness Book of World Record, 1980 Page 193, line 27-31 http://math.ucsd.edu/~fan/ron/images/record.jpg
  2. ^ R. L. Graham and B. L. Rothschild, "Ramsey's theorem for n-parameter sets"
  3. ^ Martin Gardner, "Mathematical Games"
  4. ^ Lavrov, Mikhail; Lee, Mitchell; Mackey, John (2014). “Improved upper and lower bounds on a geometric Ramsey problem”. European Journal of Combinatorics 42: 135-144. doi:10.1016/j.ejc.2014.06.003. 
  5. ^ Geoff Exoo, "A Ramsey Problem on Hypercubes"
  6. ^ Barkley, Jerome (2008年). “Improved lower bound on an Euclidean Ramsey problem”. arXiv:0811.1055 [math.CO]. 
  7. ^ TokusiN (2017). グラハム数百万桁表最終巻. 暗黒通信団. ISBN 9784873100647. 

外部リンク[編集]