グラハム数とは? わかりやすく解説

グラハム数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/07/05 04:29 UTC 版)

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

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

グラハム問題

3次元の立方体で同一平面上にある四点でそれらを結ぶ線が全て同一の色であるものが存在している例。線をどのように塗ってもこのような平面が少なくとも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 を自然数としたとき、演算子「↑」を次のように定義する。

この節は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。このテンプレートの使い方
出典検索?"グラハム数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL
(2022年6月)

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↑↑3) = 3↑↑G(2) = 3↑↑7625597484987(トリトリ)
この節は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。このテンプレートの使い方
出典検索?"グラハム数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL
(2022年6月)

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

この節は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。このテンプレートの使い方
出典検索?"グラハム数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL
(2022年6月)

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

カテゴリ

グラハム数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/17 16:24 UTC 版)

コンウェイのチェーン表記」の記事における「グラハム数」の解説

グラハム数 G {\displaystyle G} それ自体を、コンウェイのチェーン表記用いて簡潔に表す事は出来ない。しかし、仲介させる関数を g ( n ) = 3 → 3 → n = 3 ↑↑ ⋯ ↑ ⏟ 3 n 本 の 矢 印 {\displaystyle g(n)=3\rightarrow 3\rightarrow n={\begin{matrix}3\underbrace {\uparrow \uparrow \cdots \uparrow } 3\\{\text{n 本 の 矢 印}}\end{matrix}}} と定義することで G = g 64 ( 4 ) {\displaystyle G=g^{64}(4)} と表記できる。(写像の冪参照。)又、 3 → 3 → 64 → 2 < G < 3 → 3 → 65 → 2 {\displaystyle 3\rightarrow 3\rightarrow 64\rightarrow 2<G<3\rightarrow 3\rightarrow 65\rightarrow 2} である。 証明: 定義の"反復合成用いた規則"を適用させると、次の様になる。: g 64 ( 1 ) {\displaystyle g^{64}(1)} = 3 → 3 → ( 3 → 3 → ( ⋯ ( 3 → 3 → ( 3 → 3 → 1 ) ) ⋯ ) ) {\displaystyle =3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow (\cdots (3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow 1))\cdots ))} (64組の " 3 → 3 {\displaystyle 3\rightarrow 3} ") = 3 → 3 → ( 3 → 3 → ( ⋯ ( 3 → 3 → ( 3 → 3 ) → 1 ) ⋯ ) → 1 ) → 1 {\displaystyle =3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow (\cdots (3\rightarrow 3\rightarrow (3\rightarrow 3)\rightarrow 1)\cdots )\rightarrow 1)\rightarrow 1} = 3 → 3 → 64 → 2 ; {\displaystyle =3\rightarrow 3\rightarrow 64\rightarrow 2;} = 3 ↑↑ ⋯ ⋯ ⋯ ⋅ ↑ ⏟ 3 3 ↑↑ ⋯ ⋯ ⋯ ↑ ⏟ 3 本 ⋮ ⏟ 3 ↑↑ ⋯ ⋅ ↑ ⏟ 3 本 3 ↑ 3 本 } 64層  {\displaystyle \left.{\begin{matrix}=&3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \cdot \uparrow } 3\\&3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \uparrow } 3{\text{本}}\\&\underbrace {\qquad \;\;\vdots \qquad \;\;} \\&3\underbrace {\uparrow \uparrow \cdots \cdot \uparrow } 3{\text{本}}\\&3\uparrow 3{\text{本}}\end{matrix}}\right\}{\text{64層 }}} g 64 ( 4 ) = G ; {\displaystyle g^{64}(4)=G;} = 3 → 3 → ( 3 → 3 → ( ⋯ ( 3 → 3 → ( 3 → 3 → 4 ) ) ⋯ ) ) {\displaystyle =3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow (\cdots (3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow 4))\cdots ))} (64組の " 3 → 3 {\displaystyle 3\rightarrow 3} ") = 3 ↑↑ ⋯ ⋯ ⋯ ⋅ ↑ ⏟ 3 3 ↑↑ ⋯ ⋯ ⋯ ↑ ⏟ 3 本 ⋮ ⏟ 3 ↑↑ ⋯ ⋅ ↑ ⏟ 3 本 3 ↑↑↑↑ 3 本 } 64層  {\displaystyle \left.{\begin{matrix}=&3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \cdot \uparrow } 3\\&3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \uparrow } 3{\text{本}}\\&\underbrace {\qquad \;\;\vdots \qquad \;\;} \\&3\underbrace {\uparrow \uparrow \cdots \cdot \uparrow } 3{\text{本}}\\&3\uparrow \uparrow \uparrow \uparrow 3{\text{本}}\end{matrix}}\right\}{\text{64層 }}} g 64 ( 27 ) {\displaystyle g^{64}(27)} = 3 → 3 → ( 3 → 3 → ( ⋯ ( 3 → 3 → ( 3 → 3 → 27 ) ) ⋯ ) ) {\displaystyle =3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow (\cdots (3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow 27))\cdots ))} (64組の " 3 → 3 {\displaystyle 3\rightarrow 3} ") = 3 → 3 → ( 3 → 3 → ( ⋯ ( 3 → 3 → ( 3 → 3 → ( 3 → 3 ) ) ) ⋯ ) ) {\displaystyle =3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow (\cdots (3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow (3\rightarrow 3)))\cdots ))} (65組の " 3 → 3 {\displaystyle 3\rightarrow 3} ") = 3 → 3 → 65 → 2 {\displaystyle =3\rightarrow 3\rightarrow 65\rightarrow 2} (上記のように計算する) = g 65 ( 1 ) {\displaystyle =g^{65}(1)} = 3 ↑↑ ⋯ ⋯ ⋯ ⋅ ↑ ⏟ 3 3 ↑↑ ⋯ ⋯ ⋯ ↑ ⏟ 3 本 ⋮ ⏟ 3 ↑↑ ⋯ ⋅ ↑ ⏟ 3 本 3 ↑ 3 本 } 65層  {\displaystyle \left.{\begin{matrix}=&3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \cdot \uparrow } 3\\&3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \uparrow } 3{\text{本}}\\&\underbrace {\qquad \;\;\vdots \qquad \;\;} \\&3\underbrace {\uparrow \uparrow \cdots \cdot \uparrow } 3{\text{本}}\\&3\uparrow 3{\text{本}}\end{matrix}}\right\}{\text{65層 }}} g は単調増加なので、 g 64 ( 1 ) < g 64 ( 4 ) < g 64 ( 27 ) {\displaystyle g^{64}(1)<g^{64}(4)<g^{64}(27)} コンウェイのチェーン表記用いれば上記の数よりも非常に大きい数を表記する事は、とても容易い次にその例を記す。 3 → 3 → 3 → 3 {\displaystyle 3\rightarrow 3\rightarrow 3\rightarrow 3} = 3 → 3 → ( 3 → 3 → 27 → 2 ) → 2 {\displaystyle =3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow 27\rightarrow 2)\rightarrow 2\,} = g 3 → 3 → 27 → 2 ( 1 ) {\displaystyle =g^{3\rightarrow 3\rightarrow 27\rightarrow 2}(1)} = g g 27 ( 1 ) ( 1 ) {\displaystyle =g^{g^{27}(1)}(1)} = 3 ↑↑↑ ⋯ ⋯ ⋯ ⋅ ⋅ ↑↑↑ ⏟ 3 3 ↑↑↑ ⋯ ⋯ ⋯ ⋅ ↑↑↑ ⏟ 3 本 3 ↑↑↑ ⋯ ⋯ ⋯ ↑↑↑ ⏟ 3 本 ⋮ ⏟ 3 ↑↑↑ ⋯ ⋅ ↑↑↑ ⏟ 3 ↑ 3 本 3 本 } 3 ↑↑ ⋯ ⋯ ⋯ ⋅ ↑ ⏟ 3 層  3 ↑↑ ⋯ ⋯ ⋯ ↑ ⏟ 3 本 ⋮ ⏟ 3 ↑↑ ⋯ ⋅ ↑ ⏟ 3 ↑ 3 本 3 本 }   3 ↑ 3 = 27 層  {\displaystyle \left.{\begin{matrix}=&3\underbrace {\uparrow \uparrow \uparrow \cdots \cdots \cdots \cdot \cdot \uparrow \uparrow \uparrow } _{}3\\&3\underbrace {\uparrow \uparrow \uparrow \cdots \cdots \cdots \cdot \uparrow \uparrow \uparrow } _{}3{\text{本}}\\&3\underbrace {\uparrow \uparrow \uparrow \cdots \cdots \cdots \uparrow \uparrow \uparrow } _{}3{\text{本}}\\&\underbrace {\qquad \;\;\vdots \qquad \;\;} \\&3\underbrace {\uparrow \uparrow \uparrow \cdots \cdot \uparrow \uparrow \uparrow } _{3\uparrow 3{\text{本}}}3{\text{本}}\end{matrix}}\right\}\left.{\begin{matrix}3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \cdot \uparrow } 3{\text{層 }}\\3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \uparrow } 3{\text{本}}\\\underbrace {\qquad \;\;\vdots \qquad \;\;} \\3\underbrace {\uparrow \uparrow \cdots \cdot \uparrow } _{3\uparrow 3{\text{本}}}3{\text{本}}\end{matrix}}\right\}\ 3\uparrow 3=27{\text{層 }}} 数 3 → 3 → 272 = g 27 ( 1 ) {\displaystyle 3\rightarrow 3\rightarrow 27\rightarrow 2=g^{27}(1)} は65よりもはるかに大きいので、 3 → 3 → 3 → 3 {\displaystyle 3\rightarrow 3\rightarrow 3\rightarrow 3} はグラハム数よりはるかに大きい。さらに末尾数字増やしたチェーン伸ばしたりすることで極めて巨大な数を表記可能である。 3 → 3 → 3 → 3 {\displaystyle 3\rightarrow 3\rightarrow 3\rightarrow 3} はコンウェイのテトラトリと呼ばれる

※この「グラハム数」の解説は、「コンウェイのチェーン表記」の解説の一部です。
「グラハム数」を含む「コンウェイのチェーン表記」の記事については、「コンウェイのチェーン表記」の概要を参照ください。

ウィキペディア小見出し辞書の「グラハム数」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  グラハム数のページへのリンク

辞書ショートカット

すべての辞書の索引

「グラハム数」の関連用語

1
グラハム問題 ウィキペディア小見出し辞書
56% |||||

2
小グラハム数 ウィキペディア小見出し辞書
38% |||||

3
ラブロフらによる解の上限 ウィキペディア小見出し辞書
36% |||||

4
矢印表記 ウィキペディア小見出し辞書
30% |||||

5
その大きさ ウィキペディア小見出し辞書
30% |||||

6
個々の数 ウィキペディア小見出し辞書
18% |||||

7
組合せ論の巨大数 ウィキペディア小見出し辞書
18% |||||

8
モーザー数 ウィキペディア小見出し辞書
14% |||||

9
巨大数の近似の例 ウィキペディア小見出し辞書
14% |||||

10
12% |||||

検索ランキング

   

英語⇒日本語
日本語⇒英語
   



グラハム数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのグラハム数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのコンウェイのチェーン表記 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS