配列表記とは? わかりやすく解説

配列表記

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

ナビゲーションに移動 検索に移動

配列表記(はいれつひょうき、Array Notation)は、en:Jonathan Bowers2002年に考案した巨大数の表記法の一つである。クヌースの矢印表記の拡張によるが、クヌースの矢印表記はおろか、コンウェイのチェーン表記やその拡張表記(ピーター・ハーフォードによる拡張チェーン表記回転矢印表記)よりも効率的に数の大きさを爆発させることができるため、海外の巨大数論者の間ではチェーン表記レベルを超える巨大数の表記法の主流となっている。

配列表記では、波括弧の中に数字をコンマで区切り入れていく。すなわち、という形式である。

定義

配列表記の規則は次の通りである。

  • 1つ組の場合は、2つ組の場合はとなる。
  • 最後の数字が1の時はこれを落とせる。
  • 2番目の数字が1の時はそれ以降を全て落とせる。

ここまではチェーン表記と同じだが、ここからが異なり、これが効率良く爆発させることができる要因となっている。

  • 3番目の数字が1の時であるが、チェーン表記のようにそれ以降を全て落とすのではなく、式で表すと次のようになる。
    • つまり、2番目の要素は先頭の要素に置き換わり、3番目以降に連続する1のうち最も右側のもの以外は全て先頭の要素に置き換わり、その最も右側のものは元の配列表記の2番目の要素を1引いた配列に置き換わり、その次の要素の値が1減るという、複雑な規則で変形する。
    • これは4番目以降の数字を減らす唯一のルールである。
  • 上のいずれでもない時、次のように変形する。
    •  つまり、2番目の要素に元の配列の2番目の要素を1引いた配列を入れ、3番目の要素から1を引く。
    • チェーン表記が右側から変形していくのに対し、こちらは左側から変形していく。
    • なお、4番目以降の数字が1の時も、こちらの変形を適用する。

性質

3つ組の配列表記は、3つ組チェーンと一致し、したがってクヌースの矢印表記とも一致するという性質がある。すなわち式で書くととなる。

4つ組以上の配列表記によって巨大数を記述する場合は、先頭の要素は3以上とする必要がある。なぜなら、先頭が1であれば、その値は1となり、4つ組以上の配列表記で先頭の要素が2であれば、その値は2番目の要素が1でない限り必ず4になってしまうからである。後者の詳細は次の通りである:

{2,b,c,d,…,z}

={2,{2,b-1,c,d,…, z},c-1,d,…,z}

=…

={2,X,1,d,…,z} (Xはある数)

={2,2,{2,X-1,1,d,…,z},d-1,…,z}

={2,2,Y,d-1,…,z} (内側の配列をYと置く)

={2,{2,1,Y,d-1,…,z},Y-1,d-1,…,z}

={2,2,Y-1,d-1,…,z}

={2,2,Y-2,d-1,…,z}

={2,2,1,d-1,…,z}

={2,2,1,1,…,z}

={2,2,1,1,…,1}

={2,2}

=4

つまり、3番目の要素が1まで落ちた直後に2番目の要素が2になってしまい、そうすると3番目の要素が減っても値が変わらないため3番目の要素が1にまで落ちる。更に4番目、5番目の要素と1まで落ちていき、最終的には4となる。

非拡張配列表記では、数の大きさを評価するための重要度は、最も重要なのが変数の数であり、その次に重要なのが最も右側の変数の値で、左側に行くほど重要度が下がっていく。

非拡張配列表記は、多変数アッカーマン関数と同じくらいの強さである。配列表記と多変数アッカーマン関数の間の近似関係、及びその両者の特徴の比較についてはアッカーマン関数#多変数アッカーマン関数を参照。

この配列表記にも拡張表記が考案されており、その最終形態には2種類あり、1つはBEAF(ただし2021年現在、定義が数学的に意味を持つように定式化されているのはテトレーション配列まで)、もう1つはクリス・バードが開発したバードの配列表記と呼ばれるものである。

この配列表記は急増加関数と近似できる。

チェーン表記との比較

4つ組の配列表記による巨大数は、コンウェイのチェーン表記レベルの巨大数となり、5つ組の配列表記による巨大数は、ピーター・ハーフォードによる拡張チェーン表記(あるいは回転矢印表記)レベルの巨大数となり、6つ組以上になるとそのレベルを超える。

4つ組配列表記と非拡張チェーン表記

  • a→a→(b-1)→2<{a,b,1,2}<≒a→a→b→2
    • {a,b,1,2}とa→a→b→2の両者は矢印表記の段重ねの形にすると、a↑↑…↑↑aのb段重ねの形になるところは同じだが、末端は配列表記だとaとなるのに対し、チェーン表記だとaaとなる。

a→b→c→2については、配列表記で次の近似・大小関係が成り立つ。

  • {a,c,1,2}<≒a→b→c→2<≒{ab,c,1,2}

次に{a,b,2,2}とa→b→c→3であるが、配列表記では最後の2が3になるのではなく、3番目の1が2になることによってチェーンの…→3相当となる。

  • a→a→(b-1)→3<{a,b,2,2}<≒a→a→b→3
  • {a,c,2,2}<≒a→b→c→3<≒{ab,c,2,2}

{a,b,c,2}のcを増やすことは、a→a→b→cのcを増やすことに相当する。

  • a→a→(b-1)→(c+1)<{a,b,c,2}<≒a→a→b→(c+1)
  • {a,c,d-1,2}<≒a→b→c→d<≒{ab,c,d-1,2}

そして、4つ組配列表記の末尾の数が、チェーンの長さに対応する。

  • {a,b,1,3}<≒a→a→a→b→2
  • {a,b,c,3}<≒a→a→a→b→(c+1)
  • {a,b,c,d}<≒a→a→…(d+2変数)…→a→b→(c+1)

5つ組配列表記と拡張チェーン系表記

ここでは、ピーター・ハーフォードによる拡張チェーン表記を示す。回転矢印表記との比較については回転矢印表記#他表記との比較を参照。

  • {a,a,a-1,b-1}<≒a→2b
  • {a,b,1,1,2}<≒a→2b→22
  • {a,b,2,1,2}<≒a→2b→23
  • {a,b,c,1,2}<≒a→2b→2(c+1)
  • {a,b,1,2,2}<≒a→2a→2b→22
  • {a,b,2,2,2}<≒a→2a→2b→23
  • {a,b,c,2,2}<≒a→2a→2b→2(c+1)
  • {a,b,1,3,2}<≒a→2a→2a→2b→22
  • {a,b,c,3,2}<≒a→2a→2a→2b→2(c+1)
  • {a,b,c,d,2}<≒a→2a→2…(d+2変数)…→2a→2b→2(c+1)
  • {a,a,a-1,b-1,2}<≒a→3b
  • {a,b,1,1,3}<≒a→3b→32
  • {a,b,c,d,e}<≒a→ea→e…(d+2変数)…→ea→eb→e(c+1)

巨大数の近似の例

この表記法では、巨大数の近似の例は次のようになる。

  • グラハム数≒{4,65,1,2}
  • コンウェイのテトラトリ(チェーン表記で3→3→3→3)≒{27,3,2,2}
  • ふぃっしゅ数バージョン1≒{4,64,1,1,2}
  • ふぃっしゅ数バージョン2≒{3,3,1,1,64}
  • {3,3,2,2,1,2}<旧バード数<{4,3,2,2,1,2}

また非拡張配列表記で定義され、名前が付けられた数としては、テトラトリ、スーパーテット、ジェネラル、ペンタトリ、スーパーペント、ヘキサトリ、クワドリーゴル、イテラルなどがある。

関連項目


配列表記

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

巨大数用語一覧」の記事における「配列表記」の解説

波括弧中に数字コンマ区切り入れていく巨大数表記法で、クヌースの矢印表記はおろかコンウェイのチェーン表記やその拡張表記より遥かに数の爆発効率良い。現在巨大数論者(特に海外)の間ではチェーン表記レベル超える巨大数の表記法主流となっている。

※この「配列表記」の解説は、「巨大数用語一覧」の解説の一部です。
「配列表記」を含む「巨大数用語一覧」の記事については、「巨大数用語一覧」の概要を参照ください。

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


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「配列表記」の関連用語

配列表記のお隣キーワード
検索ランキング

   

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



配列表記のページの著作権
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