強配列表記

強配列表記 (strong array notation) は Hyp cosが2016年に作成し、現在も作成が続けられている巨大数表記である。現在次の7個のパートから構成されている。

1. 線形配列表記 (LAN)
2. 拡張配列表記 (exAN)
3. 膨張配列表記 (EAN)
4. 多重膨張配列表記 (mEAN)
5. 第1配列降下表記 (pDAN)
6. 第2配列降下表記 (sDAN)
7. 配列降下表記 (DAN)

定義に問題があり解決されていないのでその強さに数学的な意味はないが、もしHyp cosの意図通りに完成されれば非常に強力な表記になるだろうと信じられている。Hyp cos自身による予想では、強配列表記に伴う関数の増大度はFGHにおいて「任意の \(n \in \mathbb{N}\) に対して \(\omega_{\alpha+n}^{\textrm{CK}}\) 安定であるような順序数 \(\alpha\) の可算崩壊の上限」に対応し、Rathjenによるいくつかの順序数表記やTaranovskyのC表記に伴う関数より弱いとされているが、上述した通り定義はまだ完成したものが公開されていない。

線形配列表記

線形配列表記 (Linear array notation) は強配列表記の1つ目で、次の規則で計算する。ここで、# は任意の配列である。

• Rule 1 (基本ルール): s(a,b) = a^b
• Rule 2 (末端ルール): s(#,1) = s(#)
• Rule 3 (再帰ルール): s(a,b+1,c+1#) = s(a,s(a,b,c+1#),c#)

これらのどれも適用できない時には、次の手順を3つ目の要素から開始する。

• 要素が 1 であれば、次の要素に進む。
• 要素が 1 でなければ、
  1. "1,n" を "b,n-1" に変える。ここで n は今の要素であり b は配列の2番目の要素である。
  2. ここで変化をさせた2つの要素よりも前の要素をすべて1番目の要素に変える。
  3. この手順は終了する。

例

s(3,2,3) = s(3,s(3,1,3),2) = s(3,s(3,1,2),2) = s(3,s(3,1,1),2)= s(3,s(3,1),2) = s(3,3^1,2) = s(3,3,2) = s(3,s(3,2,2),1) = s(3,s(3,s(3,1,2),1),1) = s(3,s(3,3,1),1) = s(3,s(3,3),1) = s(3,27,1) = s(3,27) = 3^27

s(3,2,2,2) = s(3,s(3,1,2,2),1,2) = s(3,s(3,1,1,2),1,2) = s(3,s(3,3,1,1),1,2) = s(3,s(3,3),1,2) = s(3,27,1,2) = s(3,3,27) = 3^^^...^^^3 (27本の↑)

s(3,2,2,1,2) = s(3,s(3,1,2,1,2),1,1,2) = s(3,s(3,1,1,1,2),1,1,2) = s(3,s(3,3,3,1,1),1,1,2) = s(3,s(3,3,3),1,1,2) = s(3,3^^^3,1,1,2) = s(3,3,3,3^^^3,1) = s(3,3,3,3^^^3) (この結果は、コンウェイのチェーン表記で3を \(3\uparrow\uparrow\uparrow3+2\) 個並べたものと正確に一致する。)

比較

要素が3個の時、 s(a,b,c) = \(a \underbrace{\uparrow\cdots\uparrow}_c b\), or \(\{a, b, c\}\) ( BEAF)

要素が4個の時、 s(a,b,c,d) = \(\underbrace{a \rightarrow \cdots \rightarrow a}_d \rightarrow b \rightarrow c\) (チェーン表記.)

拡張配列表記

拡張配列表記 (Extended array notation)は強配列表記の2つ目である。エントリ間にセパレータを追加し、次のルールを定義する（カンマは{1}の省略形）：

• ルール1 (base rule): s(a,b) = a^b
• ルール2a (tailing rule) s(# A 1) = s(#) (Aは任意のセパレータ)
• ルール2b: {# A 1} = {#} (繰り返しますが、Aはセパレータ)
• ルール3 (recursion rule): s(a,b,c #) = s(a,s(a,b-1,c #),c-1 #)

これらのいずれにも当てはまらない場合は、次のようにプロセスを開始する：

• Start from the third entry. If it is a one, skip to the next entry.
• If it is greater than 1, look to your left:
  • If it has a comma before it, decrease it by 1, change the previous entry into the current second entry, and change all the other entries at the outermost layer before the current entry into the original first entry. This works even if the second entry is a 1.
  • If it has a separator not comma A before it, change the "A n" to "A 2 A n-1", and move to the first entry of the first A.
  • If it has a { before it, change the {n#} to S_b where b is the current second entry, S₁ = "{n-1#}", and S_n+1 = "{n-1#} 1 S_n".

例

s(3,3{2}2) = s(3,3{2}2{2}1) = s(3,3,1,1,2{2}1) = s(3,3,1,1,2) = s(3,3,3,3)

s(3,2{2}1{2}2) = s(3,2{2}1,1,2) = s(3,3{2}3,2)

s(3,2{3}2) = s(3,2{2}1{2}2)

s(3,3{1,1,2}2) = s(3,3{1,1,2}2{1,1,2}1) = s(3,3{1,3}2) = s(3,3{3,2}2)