初作です。ミスなどありましたら教えていただけると幸いです。wainer階層で(n)[n]≈fω(n)となることを期待しています。計算表は こちら です。
A数列とは、非負整数のリストである。与えられたA数列と非負整数mに対して非負整数A[m]を以下のように再帰的に定める。ただしここでは、Aを(A1,⋯,An) で表すとし、(A1,⋯,An)は非負整数で、A1≥⋯≥Anを満たすとする。
1.Aの要素が一つもないとき、Aを空列といい,またこのとき、A[m]=m すなわち、()[m]=m
2.Aが空列でないとき、Aの良い部分(Good Part)と悪い部分(Bad part)をそれぞれ G,Bで定め、A[m]を以下で定める。 1.An=0ならば G=(A1,⋯,An−1) , B=() でA[m]=G[m+1]
2.An≠0ならば G=(A1,⋯,An−1) , B=(An−1)で A[m]=G∽B∽⋯∽B[m] (Bがm回)
ここで∽は数列の連結を表す。例えば、(0,3,2)∽(1,4,5)=(0,3,2,1,4,5)である。
A(n)=(n)[n] としてA10100(10100)をA数列数とする。
ただし、mは非負整数でありAm(n)はAに対する反復合成であるとし、A0(n)=A(n)Am(n)=Am−1(A(n))である。
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。