链式箭头记号

链式箭头记号(Chained arrow notation,别名康威链^[注])是由John Horton Conway和Richard K. Guy制作的高德纳箭头的推广记号。

定义

$a\to b=a^b$

$a\to b\to c=a{\uparrow }^{c}b=a\underset{c}{\underbrace{\uparrow \dots \uparrow }}b$

$a\to \dots \to b\to 1=a\to \dots \to b$

$a\to \dots \to b\to 1\to c=a\to \dots \to b$

$a\to \dots \to b\to (c+1)\to (d+1)=a\to \dots \to b\to (a\to \dots \to b\to c\to (d+1))\to d$

示例

$\begin{array}{rl}3\to 3\to 2\to 2& =3\to 3\to (3\to 3\to 1\to 2)\to 1\\ & =3\to 3\to (3\to 3\to 1\to 2)\\ & =3\to 3\to (3\to 3)\\ & =3\to 3\to 27\\ & =3{\uparrow }^{27}3\end{array}$

cg函数

$cg(n)=\underset{n}{\underbrace{n\to n\to \dots \to n\to n}}$

(很明显是Conway-Guy函数)

下标拓展

这是由Peter Hurford给出的链式箭头记号的下标拓展：

$a{\to }_{c}b=\underset{b{\to }_{c^{\prime }-1}s}{\underbrace{a{\to }_{c-1}a{\to }_{c-1}\dots {\to }_{c-1}a{\to }_{c-1}a}}$

小贴士

葛立恒数G(64)介于$3\to 3\to 64\to 2$和$3\to 3\to 65\to 2$之间。