リザレクション数列はアスターが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)\)

出典

特に記載のない限り、コミュニティのコンテンツはCC-BY-SAライセンスの下で利用可能です。