弱亜ペア数列

弱亜ペア数列は、公太朗が2020年8月22日に初版を公開した巨大数表記である。

定義

\begin{aligned}弱亜ペア数列数 &=\text{WSPair}^{\circ 86}(86)\\ \text{WSPair}(n) &=\text{expand}((0,0)(1,\omega)(1,1)[n])\\ \text{expand}([n]) &=n\\ \text{expand}(\textbf{S}[n]) &=\begin{cases}\text{expand}((S_{00},S_{01})(S_{10},S_{11})\cdots(S_{(X-1)0},S_{(X-1)1})[10^n]) &(\text{if}\ S_{X0}=0)\\ \text{expand}((S_{00},S_{01})(S_{10},S_{11})\cdots(S_{X0},n)[10^n]) &(\text{if}\ S_{X1}=\omega)\\ \text{expand}(\textbf{G}\textbf{B}^0\textbf{B}^1\cdots\textbf{B}^n[10^n])&(\text{otherwise}) \end{cases}\\ \textbf{S}&=(S_{00},S_{01})(S_{10},S_{11})\cdots(S_{X0},S_{X1})\\ \textbf{G}&=(S_{00},S_{01})(S_{10},S_{11})\cdots(S_{(r-1)0},S_{(r-1)1})\\ \textbf{B}^m &=\textbf{B}^m_r\textbf{B}^m_{r+1}\cdots\textbf{B}^m_{X-1}\\ \textbf{B}^m_x&=(S_{x0}+m\Delta_0,S_{x1}+m\Delta_{x1})\\ \Delta_0 &=\begin{cases}0&(\text{if}~S_{X1}=0)\\ S_{X0}- S_{r0}&(\text{otherwise}) \end{cases}\\ \Delta_{x1}&=\begin{cases}0&(\text{if}~\nexists a.r=p^{\circ a}_1(x)\lor S_{X1}=0)\\ S_{X1}- S_{r1}- 1&(\text{otherwise}) \end{cases}\\ r &=\begin{cases}p_0(X) &(\text{if}~S_{X1}=0)\\ p_1(X) &(\text{otherwise}) \end{cases}\\ p_0(x) &=\max\{k \mid S_{k0}\lt S_{x0}\land k \lt x \}\\ p_1(x) &=\max\{k \mid S_{k1}\lt S_{x1}\land \exists a. k=p^{\circ a}_0(x) \}\\ \end{aligned}