リザレクション数列はアスターが2017年11月3日に考案した数列である[1]。東方巨大数のリザレクション数列数とのびーるワーム数が定義され、第1回東方巨大数の計算可能部門 でリザレクション数列数が1位で近似値は\(f_{\varepsilon_0}^{10}(3)\)、のびーるワーム数が2位で近似値は\(f_{\varepsilon_0}^{10}(2)\)であった。
リザレクションは東方Project8作品目「東方永夜抄」のExボスである藤原妹紅のスペルカードである。
定義[]
- \(a,b,c:\) 非負整数
- \(a_n,b_n,c_n: n\)番目の要素の\(a,b,c\)
- \(i: c_i<c_n\)を満たす最大の非負整数
- \(X: 0\)組以上の要素
- \(Y: (a_i,b_i)_{c_i}\)を左端に含む1組以上の要素
- \(Z: 1\)組以上の要素
- \(X',Y': X,Y\)の\(a,b\)に\(b_n\)を足したもの
- \(X",Y",Z": X,Y,Z\)の\(b\)に\(b_n\)を足したもの
- (1) \((0,b_n)_{c_n}=b_n\)
- (2) \(XY(a_n,b_n)_{c_n}=X'\underbrace{Y'Y'...Y'}_{b_n+1}(a_n-1,b_n)_{c_n} (a_n≥1)\)
- (3) \(XX(a_n,b_n)_{c_n}=X'X'(a_n-1,b_n)_{c_n} (a_n≥1)\)
- (4) \(XY(0,b_n)_{c_n}=X"\underbrace{Y"Y"...Y"}_{b_n+1}\)
- (5) \(Z(0,b_n)_{c_n}=Z"\)
- \(N(x)=(0,3)_0(0,3)_1...(0,3)_x\)
- \(M(x)=(x,7)_0(x,7)_1...(x,7)_x\)
- のびーるワーム数\(=N^{10}(3)\)
- リザレクション数列数\(=M^{10}(10)\)