|
|
| 1行目: |
1行目: |
| − | '''グラハム数'''（グラハムすう、{{lang-en-short|Graham's number}}）は、[[ラムゼー理論]]に関する[[数学上の未解決問題|未解決問題]]の解の推定値の上限として得られた[[自然数]]である。数学の証明で使われたことのある最大の数として[[1980年]]に[[ギネス・ワールド・レコーズ|ギネスブック]]に認められた<ref>Guiness Book of World Record, 1980
| + | {{テンプレート:20180815sk}} |
| − | Page 193, line 27-31 http://math.ucsd.edu/~fan/ron/images/record.jpg</ref>。
| |
| − | | |
| − | 極めて巨大な[[巨大数]]であり、[[指数表記]]を用いるのは事実上不可能なため、特別な表記法を用いて表される。
| |
| − | | |
| − | == グラハム問題 ==
| |
| − | この数は[[1970年]]の{{仮リンク|ロナルド・グラハム|en|Ronald Graham}}と{{仮リンク|ブルース・リー・ロスチャイルド|en|Bruce Lee Rothschild}}による「グラハムの定理」
| |
| − | {{Cquote|
| |
| − | ''n'' 次元[[超立方体]]の [[2の冪|2<sup>''n''</sup>]] 個の頂点のそれぞれを互いに全て[[線分|線]]で結ぶ。次に2つの色を用いて連結した線をいずれかの色に塗り分ける。<br/>このとき ''n'' が十分大きければ、どんな塗り方をしても、同一平面上にある四点でそれらを結ぶ線が全て同一の色であるものが存在する。
| |
| − | }}
| |
| − | に関係する。つまり、''n'' が十分大きければというが、
| |
| − | {{Cquote|
| |
| − | ''n'' がいくらより大きければ、この関係は常に成立するか
| |
| − | }}
| |
| − | ということである。これが'''グラハム問題'''である。[[グラハムの定理]]より、解の存在は確かだが、具体的な値は現在にいたるまで得られていない。
| |
| − | | |
| − | しかし、この関係が'''グラハム数'''以上の ''n'' について成り立つことがグラハム自身によって証明された。つまり、解はグラハム数以下である。
| |
| − | | |
| − | ただし、グラハムらは実際にはこの数を論文では発表しておらず、翌[[1971年]]にグラハム数より小さなグラハム問題の解の上限として、[[#小グラハム数|小グラハム数]]という数を発表した<ref>R. L. Graham and B. L. Rothschild, [http://www.ams.org/journals/tran/1971-159-00/S0002-9947-1971-0284352-8/ "Ramsey's theorem for n-parameter sets"]</ref>。その後、[[マーティン・ガードナー]]が[[1977年]]に[[サイエンティフィック・アメリカン]]でグラハム数を紹介した<ref>Martin Gardner, [http://www.nature.com/scientificamerican/journal/v237/n5/pdf/scientificamerican1177-18.pdf "Mathematical Games"]</ref>ことによってこの数は広く知られるようになった。
| |
| − | | |
| − | 解の上限はのち[[2014年]]に[[ミハイル・ラブロフ]]らによって[[#ラブロフらによる解の上限|より小さい数]]が示された<ref>{{cite journal |last1=Lavrov|first1=Mikhail |last2=Lee|first2=Mitchell |last3=Mackey|first3=John |date=2014 |title=Improved upper and lower bounds on a geometric Ramsey problem |journal=European Journal of Combinatorics |volume=42 |pages=135-144 |doi=10.1016/j.ejc.2014.06.003}}</ref>。
| |
| − | | |
| − | 一方、この問題の解の下限（つまりこの数より小さい数では成り立たないことを示した数）としては、グラハムとロートシルトは1971年の小グラハム数を示したものと同じ論文中で [[6]] を与えた。ガードナーは[[1989年]]に著書の中で[[ラムゼー理論]]の専門家はこの問題の解を 6 と考えていると紹介し、これが広く信じられてきたが、[[2003年]]に[[ジェフ・エクスー]]がより良い下限として [[11]] を<ref>Geoff Exoo, [http://isu.indstate.edu/ge/GEOMETRY/cubes.html "A Ramsey Problem on Hypercubes"]</ref>、[[2008年]]には[[ジェローム・バークレー]]が [[13]] を与えた<ref>{{cite arXiv |eprint=0811.1055 |last1=Barkley |first1=Jerome |title=Improved lower bound on an Euclidean Ramsey problem |class=math.CO |year=2008 }}</ref>。
| |
| − | | |
| − | == 定義 ==
| |
| − | === 矢印表記 ===
| |
| − | グラハム数は巨大すぎて、通常の指数では桁数の表現すら事実上不可能である。そのため、次のような特殊な関数を用いる。
| |
| − | | |
| − | まず、[[クヌースの矢印表記]]を使い、''x'', ''y'' を自然数としたとき、演算子「↑」を次のように定義する。
| |
| − | :<math> x \uparrow y = x ^ y </math>
| |
| − | さらに「↑↑」を次のように[[再帰的]]に定義する。
| |
| − | :<math> x \uparrow\uparrow 1 = x</math>
| |
| − | :<math> x \uparrow\uparrow y = x \uparrow \left\{x \uparrow\uparrow \left(y - 1\right)\right\} </math>
| |
| − | | |
| − | つまり、
| |
| − | :<math>
| |
| − | x\uparrow\uparrow y =\ \underbrace{x\uparrow x\uparrow \cdots \uparrow x}_y = \underbrace{x^{x^{\cdot^{\cdot^{\cdot^x}}}}}_{y}
| |
| − | </math>
| |
| − | となる（<math>\underbrace{}_y</math> は、''x'' が ''y'' 個あることを表す）。ただし、演算は右から行う。つまり例えば、''x''↑''x''↑''x'' = ''x''↑(''x''↑''x'') である。例を挙げると次のようになる。
| |
| − | :<math>\begin{align}
| |
| − | 3\uparrow\uparrow2=&3^3=27 \\
| |
| − | 3\uparrow\uparrow3=&3^{3^3}=3^{27}=7625597484987 \\
| |
| − | 3\uparrow\uparrow4=&3^{3^{3^3}}=3^{7625597484987}\\
| |
| − | \approx &1.258\times 10^{3638334640024} \\
| |
| − | 3 \uparrow\uparrow 5=&3^{3^{3^{3^3}}}=3^{3^{7625597484987}}\\
| |
| − | \approx &3^{1.258\times 10^{3638334640024}}\end{align}</math>
| |
| − | | |
| − | 同様に「↑↑↑」を次のように再帰的に定義する。
| |
| − | :<math> x \uparrow\uparrow\uparrow 1 = x</math>
| |
| − | :<math> x \uparrow\uparrow\uparrow y = x \uparrow\uparrow \left\{x \uparrow\uparrow\uparrow (y - 1)\right\} </math>
| |
| − | つまり、
| |
| − | :<math>
| |
| − | x\uparrow\uparrow\uparrow y = \underbrace{x\uparrow\uparrow x\uparrow\uparrow \cdots \uparrow\uparrow x}_{y\text{ copies of }x}</math>
| |
| − | である。
| |
| − | | |
| − | 一般の場合も同様に、「↑…(''n'' 本)…↑」＝「↑<sup>''n''</sup>」を次のように定義する。
| |
| − | :<math> x \uparrow^n 1 = x</math>
| |
| − | :<math> x \uparrow^n y = x \uparrow^{n-1} \left\{x \uparrow^n \left(y - 1 \right)\right\} </math>
| |
| − | | |
| − | === グラハム数 ===
| |
| − | これを用いて、[[関数 (数学)|関数]] ''G''(''n'') を
| |
| − | :<math> G(n) = 3 \uparrow^n 3 =
| |
| − | 3 \rightarrow 3 \rightarrow n </math>
| |
| − | と定義したときの
| |
| − | :<math>\begin{align}
| |
| − | G &= G^{64} (4) = \underbrace{G(G(\cdots G}_{64} (4) \cdots ))\\
| |
| − | &= \underbrace{3 \rightarrow 3 \rightarrow(3 \rightarrow 3 \rightarrow(\cdots 3 \rightarrow 3 \rightarrow}_{64} (4) \cdots ))\\
| |
| − | &= \left.
| |
| − | \begin{matrix}
| |
| − | 3\underbrace{\uparrow \uparrow \cdots\cdots\cdots\cdots \cdots \cdots \uparrow}3 \\
| |
| − | 3\underbrace{\uparrow \uparrow \cdots\cdots\cdots\cdots \uparrow}3 \\
| |
| − | \underbrace{\qquad\;\; \vdots \qquad\;\;} \\
| |
| − | 3\underbrace{\uparrow \uparrow \cdots\cdots \uparrow}3 \\
| |
| − | 3 \rightarrow 3 \rightarrow {4}
| |
| − | \end{matrix}
| |
| − | \right \} 64 \text{ layers}= \left.
| |
| − | \begin{matrix}
| |
| − | 3\underbrace{\uparrow \uparrow \cdots\cdots\cdots\cdots \cdots \cdots \uparrow}3 \\
| |
| − | 3\underbrace{\uparrow \uparrow \cdots\cdots\cdots\cdots \uparrow}3 \\
| |
| − | \underbrace{\qquad\;\; \vdots \qquad\;\;} \\
| |
| − | 3\underbrace{\uparrow \uparrow \cdots\cdots \uparrow}3 \\
| |
| − | \operatorname{hyper}(3, 6, 3)
| |
| − | \end{matrix}
| |
| − | \right \} 64 \text{ layers}
| |
| − | \end{align}</math>
| |
| − | を'''グラハム数'''といい、その計算法は[[3の冪|3の冪乗]]や[[テトレーション]]からの発展を基本としている。
| |
| − | | |
| − | == その大きさ ==
| |
| − | ''G''(''x'') を実際に計算してみると、
| |
| − | | |
| − | *''G''(1) = 3↑3 = 3→3→1 = 3→3 = 3<sup>3</sup> = 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
| |
| − | ::<math>= \underbrace{3^{3^{3^{ \cdot ^{ \cdot^ { \cdot^ { \cdot^ { \cdot^ { \cdot^ {\cdot^ { \cdot^ { \cdot^ { \cdot^ { 3^{ 3^ 3}}}}}}}}}}}}}}}_{7625597484987} </math>
| |
| − | *''G''(4) = 3↑↑↑↑3 = 3→3→4 = 3↑↑↑''G''(3)
| |
| − | ::<math>=\underbrace{3\uparrow\uparrow 3\uparrow\uparrow \cdots \uparrow\uparrow 3 \uparrow\uparrow 3 }_{G(3) \text{ copies of }3 }</math>
| |
| − | | |
| − | *''G''<sup>2</sup>(4) = ''G''(''G''(4)) = 3↑…(''G''(4) 本)…↑3 = 3→3→''G''(4) = 3↑{{sup|''G''(4)-1}}3↑{{sup|''G''(4)-2}}…↑{{sup|3}}3↑{{sup|2}}3↑3↑3
| |
| − | | |
| − | *''G''<sup>3</sup>(4) = ''G''(''G''<sup>2</sup>(4)) = 3↑…(''G''<sup>2</sup>(4) 本)…↑3 = 3→3→''G''<sup>2</sup>(4)
| |
| − | :：
| |
| − | :：
| |
| − | *''G''<sup>64</sup>(4) = ''G''(''G''<sup>63</sup>(4)) = 3↑…(''G''<sup>63</sup>(4) 本)…↑3 = 3→3→''G''<sup>63</sup>(4) = hyper(3, ''G''<sup>63</sup>(4)+2, 3) = hyper(3, ''G''{{sup|62}}(''G''(4))+2, 3) = hyper(3, ''G''{{sup|62}}(3→2→5)+2, 3) = 3↑{{sup|''G''{{sup|63}}(4)-1}}3↑{{sup|''G''{{sup|63}}(4)-2}}…↑{{sup|3}}3↑{{sup|2}}3↑3↑3
| |
| − | ''G''(2) までは[[関数電卓]]や[[パーソナルコンピュータ|パソコン]]でも普通に計算できるが、''G''(3) <ref>''G''(3)には[[トリトリ]]という名前がついている。</ref>ですら既に3の累乗を7兆6,255億回以上繰り返した数であるため、現実世界の現象で例えることなど到底不可能な巨大数になっており、後述するように十進法以下の表記で表すことすら現実的には不可能である。''G''(4) はその十進以下の表記が現実的に不可能な ''G''(3) − 1 の数だけ ↑↑（二重矢印）を繰り返した数であるため、想像を絶する大きさとなっている。
| |
| − | | |
| − | 次の段階の ''G''<sup>2</sup>(4) は3と3の間に ''G''(4) 本矢印を置いたものであり、この時点で指数のみの表記も括弧を駆使しても事実上不可能となり、[[多角形表記#モーザー数|モーザー数 (<math>2\left[ 2[5] \right ]=2 \left[2[4][4] \right]=2 \left[2[3][3][4] \right]=2 \left[2[3]_{258} \right]=2\left[4[4][3]_{253}\right]</math>)]]も超える。この操作を63回繰り返した数がグラハム数である。
| |
| − | | |
| − | この大きさをたとえる話として、''「グラハム数を[[十進法|十進記数法]]を用いて印字しようとした場合（十分に印刷できる[[面積]]を持つ物体があるとして）、この全宇宙にある物質すべてを[[インク]]に変えても全く足りない」''というものがある。
| |
| − | | |
| − | [[観測可能な宇宙]]の[[素粒子]]の総数は 10<sup>80</sup> と考えられているので、このたとえで表せる数は、素粒子1個で1文字を印刷するとしても ''n'' 進表記ならせいぜい ''n''<sup>10<sup>80</sup></sup> に過ぎない。この数は1 < | ''n'' | ≤ 10 のときグラハム数どころか ''G''(3) と比較しても圧倒的に小さく（''G''(3) の遥か手前、<math>3^{3^{3^{3^{3}}}}</math> が既におよそ <math>{10}^{{10}^{3.6\times{10}^{12}}}</math> である）、[[グーゴルプレックス|グーゴルプレックス <math>{10}^{{10}^{100}}</math>]] にも満たない。
| |
| − | | |
| − | これほど極端な例えですら言い表すことができないほど巨大な数がグラハム数である。[[宇宙論]]で使われた最大の数（複数の宇宙の全質量を1個の[[ブラックホール]]に圧縮しそれが蒸発した後に、[[ポアンカレの回帰定理]]に従い再びブラックホールができる時間）ですら<math>{10}^{{10}^{{10}^{{10}^{{10}^{1.1}}}}}\approx{10}^{{10}^{{10}^{3883775501690}}}</math><ref>桁数が非常に大きいため、時間の単位を[[プランク時間]]・[[秒]]・[[年]]のいずれにしても無視できる範囲で近似する。</ref>であり、これもグラハム数はおろか''G''(3) ともとても比較にならない。
| |
| − | | |
| − | 近年は巨大数の研究・開発がより進み、現在ではグラハム数を遥かに上回る数も多数登場していて、例えば[[コンウェイのチェーン表記]]を用いて、例えば「3→3→3→3」などと書くだけでグラハム数よりも大きな数を表現可能である。
| |
| − | | |
| − | チェーン表記を用いても ''G'' = ''G''<sup>64</sup>(4) を簡潔に表すことはできないが、次の不等式が成立する。
| |
| − | :<math>3\rightarrow 3\rightarrow 64\rightarrow 2 < G < 3\rightarrow 3\rightarrow 65\rightarrow 2</math>
| |
| − | | |
| − | 先述の通り、グラハム数自体は桁数を指数で表現することすら不可能なほど大きく、[[スーパーコンピュータ]]でも''G''(3)の計算すら望めないが、末尾の数字を計算する方法は確立しており、ある程度の桁数は判明している。
| |
| − | | |
| − | 十進法で表したときの末尾10桁は 2,464,195,387 であり、[[暗黒通信団]]が末尾100万桁を記した書籍も出版し<ref>{{cite book|author=TokusiN|year=2017|title=グラハム数百万桁表最終巻|publisher=[[暗黒通信団]]|isbn=9784873100647}}</ref>、その後、暗黒通信団のウェブサイトで末尾1,600万桁を記したPDF形式のファイルも公開している<ref>[http://ankokudan.org/d/dl/others/Graham-16M.pdf グラハム数の末尾1600万桁表（オンライン版）【PDF】]</ref>。
| |
| − | | |
| − | == 表現 ==
| |
| − | グラハム数を表すにはいくつか等価な表現がある。
| |
| − | :{|class="wikitable"
| |
| − | ! 名称
| |
| − | ! 表記
| |
| − | |-
| |
| − | | [[クヌースの矢印表記]]
| |
| − | | <math>\begin{align}&3 \uparrow^{G^{63}(4)+1} 2 ,~ 3 \uparrow^{G^{62}(3 \uparrow^{5} 2)+1} 2 ,~ 3\uparrow^{G^{63}(4)-1}3\uparrow^{G^{63}(4)-2}\cdots3\uparrow^{5}3\uparrow^{4}3\uparrow^{3}3\uparrow^{2}3\uparrow^{1}\left(3\times\left(3+(3+3)\right)\right),~ 3\uparrow^{G^{63}(4)-1}3\uparrow^{G^{63}(4)-2}\cdots3\uparrow^{5}3\uparrow^{4}3\uparrow^{3}3\uparrow^{2}3\uparrow^{1}27\\
| |
| − | &3\uparrow^{G^{63}(4)-1}\left(3\uparrow^{G^{63}(4)}2\right),~3\uparrow^{G^{63}(4)-2}3\uparrow^{G^{63}(4)-1}\left(3\uparrow^{G^{63}(4)}2-1\right),~3\uparrow\left(3\uparrow^{2}\left(3\uparrow^{3}\left(3\uparrow^{4}\left(\cdots3\uparrow^{G^{63}(4)-2}\left(3\uparrow^{G^{63}(4)-1}\left(3\uparrow^{G^{63}(4)-1}3-1\right)-1\right)\cdots-1\right)-1\right)-1\right)\right),~3\uparrow\left(3\uparrow^{2}\left(3\uparrow^{3}\left(3\uparrow^{4}\left(\cdots3\uparrow^{G^{63}(4)-2}\left(3\uparrow^{G^{63}(4)-1}\left(G\left(G^{63}(4)-1\right)-1\right)-1\right)\cdots-1\right)-1\right)-1\right)\right)\end{align}</math>
| |
| − | |-
| |
| − | | [[コンウェイのチェーン表記]]
| |
| − | | <math>3 \rightarrow 2 \rightarrow (G^{63}(4)+1),~3 \rightarrow 2 \rightarrow \left(G^{62}\left(3 \rightarrow 2 \rightarrow (5)\right)+1\right)</math><!--
| |
| − | |-
| |
| − | | [[ハイパー演算]]表記
| |
| − | | <math>3 \left[G^{63}(3 [6] 3)+2\right] 3 ,~ 3 \left[G^{63}(3 [7] 2)+2\right] 3 ,~ H_{G^{63}(H_{6}(3, 3))+2}(3, 3),~ H_{G^{63}(H_{7}(3, 2))+2}(3, 3)</math><br><math>\operatorname{hyper}(3, G^{63}(\operatorname{hyper}(3, 6, 3)), 3) ,~ \operatorname{hyper}(3, G^{63}(\operatorname{hyper}(3, 7, 2)), 3) ,~ \operatorname{hyper5}(a, n)</math>
| |
| − | |-
| |
| − | | バウアーズの配列表記
| |
| − | | <math>\lbrace a,b,3 \rbrace</math>
| |
| − | |-
| |
| − | | ハイパーE表記<ref>[https://sites.google.com/site/largenumbers/ One to Infinity: A Guide to the Finite]</ref>
| |
| − | | <math>E(a)1\#1\#n</math>-->
| |
| − | |}
| |
| − | | |
| − | == 小グラハム数 ==
| |
| − | グラハムとロートシルトは[[1971年]]に、より小さい上限として'''小グラハム数''' (Little Graham) を示した。この数は関数 ''F''(''n'') を
| |
| − | :<math>F(n) = 2 \uparrow^{n} 3 =2\underbrace{\uparrow \cdots \uparrow}_{n}3 = 2 \rightarrow 3 \rightarrow n</math>
| |
| − | と定義したときの
| |
| − | :<math>\begin{align}
| |
| − | F &:= F^{7} (12) = F \left(F \left(F \left (F \left (F \left (F \left(F(12) \right) \right ) \right) \right ) \right ) \right)\\
| |
| − | &=2 \rightarrow 3 \rightarrow\left(2 \rightarrow 3 \rightarrow\left(2 \rightarrow 3 \rightarrow\left(2 \rightarrow 3 \rightarrow\left(2 \rightarrow 3 \rightarrow\left(2 \rightarrow 3 \rightarrow\left(2 \rightarrow 3 \rightarrow 12\right)\right)\right)\right)\right)\right)\\
| |
| − | &= \left. \begin{matrix}
| |
| − | 2\underbrace{\uparrow \cdots \cdots \cdots \cdots \uparrow}3 \\
| |
| − | 2\underbrace{\uparrow \cdots \cdots \cdots \uparrow}3 \\
| |
| − | \underbrace{\qquad\;\; \vdots \qquad\;\;} \\
| |
| − | 2\underbrace{\uparrow \cdots \cdots \cdots \uparrow}3 \\
| |
| − | 2\uparrow^{12}3 \end{matrix}
| |
| − | \right \}7\text{ layers}
| |
| − | = 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 12 } 3 } 3 } 3 } 3 } 3 } 3 } 3
| |
| − | = 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow\uparrow\uparrow \uparrow\uparrow\uparrow \uparrow\uparrow\uparrow \uparrow\uparrow\uparrow 3 } 3 } 3 } 3 } 3 } 3 } 3\\
| |
| − | &=2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \rightarrow 3 \rightarrow 12 } 3 } 3 } 3 } 3 } 3 } 3\\
| |
| − | &=2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ 2 \uparrow^{ \operatorname{hyper}({2, 14, 3}) } 3 } 3 } 3 } 3 } 3 } 3\end{align}</math>
| |
| − | である。これはグラハム数よりは遥かに小さいが、それでもなお非常に大きい数である。
| |
| − | | |
| − | ===その大きさ===
| |
| − | ''F''(''x'') を実際に計算してみると、
| |
| − | | |
| − | *''F''(1) = 2↑3 = 2→3→1 = 2→3 = 2<sup>3</sup> = 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 = 2{{sup|2{{sup|2{{sup|2}}}}}} = 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
| |
| − | ::<math>= \underbrace{2^{2^{2^{ \cdot^ { \cdot^ { \cdot^ {\cdot^ { \cdot^ { \cdot^ { \cdot^ { 2^{ 2^ 2}}}}}}}}}}}}_{65536} </math>
| |
| − | *''F''(5) = 2↑↑↑↑↑3 = 2→3→5 = 2↑↑↑↑2↑↑↑↑2 = 2↑↑↑↑4 = 2↑↑↑2↑↑↑2↑↑↑2 = 2↑↑↑''F''(4)
| |
| − | ::<math>=\underbrace{2\uparrow\uparrow 2\uparrow\uparrow \cdots \uparrow\uparrow 2 \uparrow\uparrow 2 }_{F(4) \text{ copies of }2 }</math>
| |
| − | :：
| |
| − | :：
| |
| − | *''F''(12) = 2↑{{sup|12}}3 = 2→3→12 = 2↑{{sup|11}}2↑{{sup|11}}2 = 2↑{{sup|11}}4 = 2↑{{sup|10}}2↑{{sup|10}}2↑{{sup|10}}2 = 2↑{{sup|10}}''F''(11)
| |
| − | ::<math>=\underbrace{2\uparrow^{9} 2\uparrow^{9} \cdots \uparrow^{9} 2 \uparrow^{9} 2 }_{F(11) \text{ copies of }2 }</math>
| |
| − | | |
| − | *''F''<sup>2</sup>(12) = ''F''(''F''(12)) = 2↑…(''F''(12) 本)…↑3 = 2→3→''F''(12)
| |
| − | | |
| − | *''F''<sup>3</sup>(12) = 2↑…(''F''{{sup|2}}(12) 本)…↑3 = 2→3→''F''{{sup|2}}(12)
| |
| − | :：
| |
| − | :：
| |
| − | *''F''<sup>7</sup>(12) = 2↑…(''F''{{sup|6}}(12) 本)…↑3 = 2→3→''F''{{sup|6}}(12)
| |
| − | | |
| − | チェーン表記を用いても ''F'' = ''F''<sup>7</sup>(12) を簡潔に表すことはできないが、次の不等式が成立する。
| |
| − | | |
| − | :<math>3\rightarrow 2\rightarrow 8\rightarrow 2 < F < 3\rightarrow 2\rightarrow 9\rightarrow 2</math>
| |
| − | | |
| − | == ラブロフらによる解の上限 ==
| |
| − | ラブロフらは[[2014年]]に、多次元[[三目並べ]]に関する{{仮リンク|ヘイルズ＝ジュエットの定理|en|Hales–Jewett theorem}}を応用し、より小さい上限として
| |
| − | :<math> N' = 2 \uparrow\uparrow\uparrow 6 = 2 \rightarrow 6 \rightarrow 3 =
| |
| − | \operatorname{hyper}(2, 5, 6) </math>
| |
| − | を示した。これもなお非常に大きい数であるが、グラハム数および小グラハム数と比すると格段に小さい数である。これによりグラハム問題の解 ''n'' は
| |
| − | :<math>\begin{align} 13 \le n \le 2 \uparrow\uparrow\uparrow 6 =& 2 \rightarrow 6 \rightarrow 3 =
| |
| − | \operatorname{hyper}(2, 5, 6) \\
| |
| − | =& 2\uparrow\uparrow2\uparrow\uparrow2\uparrow\uparrow2\uparrow\uparrow2\uparrow\uparrow2 = {}^{{}^{{}^{{}^{{}^{2}{2}}{2}}{2}}{2}}{2} = {}^{{}^{{}^{{}^{4}{2}}{2}}{2}}{2} = {}^{{}^{{}^{{2}^{{2}^{{2}^{2}}}}{2}}{2}}{2} = {}^{{}^{{}^{65536}{2}}{2}}{2}\end{align}</math>
| |
| − | の範囲にあることになる。
| |
| − | | |
| − | <!--== 注釈 ==
| |
| − | <references group="注釈"/>
| |
| − | -->
| |
| − | | |
| − | == 出典 ==
| |
| − | <references/>
| |
| − | | |
| − | == 外部リンク ==
| |
| − | *{{MathWorld|title=Graham's Number|urlname=GrahamsNumber}}
| |
| − | | |
| − | {{巨大数}}
| |
| − | | |
| − | {{DEFAULTSORT:くらはむすう}}
| |
| − | [[Category:整数|+くらはむすう]]
| |
| − | [[Category:ラムゼー理論]]
| |
| − | [[Category:数学に関する記事]]
| |
| − | [[Category:ギネス世界記録]]
| |
| − | [[Category:3の冪]]
| |
| − | | |
| − | [[pl:Notacja strzałkowa#Liczba Grahama]]
| |