查看“︁BEAF”︁的源代码

<div style="word-wrap: break-word;text-wrap: pretty;color: var(--color-subtle);font-style: italic;width:Fit-content;padding:1rem 1rem 2rem 1rem;border-left:solid #00000030 5px;background-color:var(--color-surface-2)">曾经最为重要的大数记号早早地止步于 <math>\varepsilon_{0}</math>，并最终湮没于历史的长河之中，这不禁令人扼腕叹息。<ref>曹知秋. 大数理论: Vol.1[EB/OL]. (2025-05-16) [2025-07-14]: 126-127. https://github.com/ZhiqiuCao/Googology</ref><br /><span style='float:right'><del>------</del> 曹知秋</span></div>

'''Bowers' Exploding Array Function（BEAF，鲍尔斯爆炸数组函数）'''是由乔纳森·鲍尔斯（Jonathan Bowers）发明的一种表示大数的符号系统。BEAF 类似于[[链式箭头记号|链式箭头符号]]，都是一种[[历史记号]]，但强度远超后者。

BEAF 是一个在大数历史上非常重要的[[数阵记号]]，它是[[线性数阵|单行线性数阵]]（Bowers' Array Notation）和[[扩展数阵记号]]（Extended Array Notation）的超集，两者均由Bowers发明。然而，对于四维数阵以上的符号系统，目前尚无统一认可的定义。因此，严格来说，四维数阵以上的 BEAF 是未明确定义的，而四维数阵及以下的 BEAF 则是定义明确的。

=== 定义 ===
以下是对 BEAF 工作原理的大致框架性描述。如前所述，对于原始 BEAF 在四维数阵之外的扩展，目前尚未达成共识的定义，因此这并非一个完整的定义。

一个 BEAF 表达式形如：

:<math>\{b,p,a,b,c,\dots (n)\alpha,\beta,\gamma,\dots (m)\dots\}</math>

其中<math>b,p,a,b,c,\alpha,\beta,\gamma</math>均为正整数，<math>n,m</math>是自然数（序列），<math>(n),(m)</math>分别表示'''n级分隔符'''与m级分隔符，特别地，0级分隔符 <math>(0)</math> 是 <code><big><big>,</big></big></code>（即逗号，用于分割数组中同一行内的每个项）。

我们定义如下概念：

* '''底数（base）'''：数组的第一个元素，记为 <math>b</math>。
* '''指数（prime）'''：数组的第二个元素，记为 <math>p</math>。
* '''驾驶员（pilot）'''：指数之后第一个非 1 的元素，可能最早出现在第三个元素的位置。
* '''副驾驶（copilot）'''：驾驶员左侧的第一个元素。若驾驶员是某行的第一个元素，则副驾驶不存在。
* '''结构（structure）'''：数组中由低维组构成的部分。例如：一个数为0维结构，一行为1维结构，一个平面为2维结构，一个立方块为3维结构，...，以此类推。记为 <math>X^{n}</math>。
* '''前结构（previous structures）'''
** 前项（previous entry）：驾驶员之前、且与所有其他前项在同一行的元素。
** 前行（previous row）：驾驶员所在行之前、且与所有其他前行在同一平面的行。
** 前平面（previous plane）：驾驶员所在平面之前、且与所有其他前平面在同一立方块的平面。
** ...
** 这些统称为“前结构”，即若驾驶员处于X维结构中，那前结构为0维到X-1维的所有结构。
* '''指数块（prime block）'''：
** 对于自然数n，某 <math>n+1</math> 维结构的指数块指的是该 <math>n+1</math> 维结构的前 <math>p</math> 个n维结构，若n维结构的个数少于 <math>p</math>，则使用由1填充的n维结构补充直到满足该条件。
** 对于序列 <math>A=\langle a_{1},a_{2},a_{3},\dots,a_{n}\rangle</math>，某 <math>A</math> 维结构的指数块指的是<math>a_{0}+a_{1}p+a_{2}p^{2}+\cdots+a_{n}p^{n}</math> 维结构；若序列 <math>A</math> 内存在高级分隔符，则按BEAF定义展开。
* '''飞机（airplane）'''：包含驾驶员、所有前项以及所有前结构的指数块。
* '''乘客（passengers）'''：飞机中既非驾驶员也非副驾驶的元素。

=== 规则 ===

令<math>A</math>是一个 BEAF 表达式，其值计算有以下规则：

# '''主规则（Prime rule）'''：
#* 若 <math>p=1</math>，则 <math>A=b</math>.
# '''初始规则（Initial rule）'''：
#* 若不存在驾驶员，则 <math>A=b^{p}</math>.
# '''灾难性规则（Catastrophic rule）'''：若上述两条规则均不适用，则执行以下操作：
#* 驾驶员减 1；
#* 副驾驶变为 原数组中指数 <math>p</math> 减 1 后的数组；
#* 所有乘客变为 <math>b</math> ；
#* 数组其余部分保持不变。

=== 拓展 ===

由于BEAF的知名度，其衍生出了十分多样的数阵记号。但大多数增长率超过<math>\varepsilon_{0}</math>的拓展记号是不良定义的。

==== 带&的BEAF ====

定义<math>\&</math>符号如下，它生成扩展数阵中的项和分隔符：

<math>1\&^na=a</math>，

<math>b\&a=a,(b-1)\&a</math>，

<math>b\&^{k+1}a=b\&^ka(k)(b-1)\&^{k+1}a</math>。

注：在大部分版本中，<math>\&</math>的指标写在左上侧。此处写在右上侧是为了避免与<math>b^k</math>混淆。

注：有的地方认为形如<math>b\&a</math>的表达式直接表达了一个(扩展)数阵<math>\{a,a,\cdots,a\}</math>，实际上这是错误的。

对于扩展数阵<math>\{a_{01},a_{02},\cdots,a_{0m_0}(x_1)a_{11},\cdots,a_{1m_1}(x_2)\cdots(x_3)\cdots(x_n)a_{n1},a_{n2},\cdots,a_{nm_n}\}</math>，其展开规则如下：

# 如果扩展数阵只有<math>a_{01},a_{02}</math>两项，扩展数阵的值为<math>b^p</math>。
# 如果指数为1，扩展数阵的值为<math>b</math>。
# 如果某个<math>a_{km_k}=1</math>，扩展数阵的值相当于删掉<math>a_{km_k}</math>后得到的扩展数阵的值。
# 如果某个<math>m_k=0</math>，而且<math>k=n</math>或<math>x_k<x_{k+1}</math>，那么扩展数阵的值相当于删掉<math>(x_k)</math>后得到的扩展数阵的值。
# 如果扩展数阵中没有分隔符，按数阵记号的规则展开。
# 如果以上规则均不适用：此时扩展数阵形如<math>\{a,b(x_1)(x_2)(x_3)\cdots(x_n)b_1,b_2,\cdots,b_t\#\}</math>，满足<math>x_1\geq{x_2}\geq\cdots\geq{x_n}</math>，<math>b_1=b_2=\cdots=b_{t-1}=1</math>。
## 如果<math>t=1</math>，其展开为<math>\{b\&^{x_1}a(x_1)b\&^{x_2}a(x_2)b\&^{x_3}a(x_3)\cdots{b}\&^{x_n}a(x_n)b_1-1\#\}</math>。
## 如果<math>t>1</math>，其展开为<math>\{b\&^{x_1}a(x_1)b\&^{x_2}a(x_2)b\&^{x_3}a(x_3)\cdots{b}\&^{x_n}a(x_n)a,a,\cdots,a,\{a,b-1(x_1)(x_2)(x_3)\cdots(x_n)b_1,b_2,\cdots,b_t\#\},b_t-1\#\}</math>。

类似于数阵记号，“乘客”的定义可以如下理解：

分隔符<math>(k)</math>给出了一个尺寸为<math>p^k</math>的“块”(类似于<math>\&</math>符号的结构)，“乘客”则是驾驶员左侧的所有这样的块(不完整的用1补齐)去掉副驾驶员。于是上述展开规则5.和6.可以写为：

# 复制一个这个扩展数阵的副本，并将副本中指数的值减1。
# 将原本扩展数阵的驾驶员减1，全体乘客替换为底数。
# 如果副驾驶存在，将副驾驶换为之前得到的扩展数阵副本。

==== -gions表示法 ====

-gions表示法是基于<math>\&</math>符号的一类表示法，分为如下表示：
* Legions（分隔符为L1）
* Lugions（分隔符为L2）
* Lagions（分隔符为L3）
* Ligions （分隔符为L4）
* ...

=== 枚举 ===

BEAF及其-gions表示法的枚举详见HypCos的分析Analysis - BEAF, FGH and SGH, [https://googology.fandom.com/wiki/User_blog:Hyp_cos/Analysis_-_BEAF,_FGH_and_SGH_(part_1) (Part1)] [https://googology.fandom.com/wiki/User_blog:Hyp_cos/Analysis_-_BEAF,_FGH_and_SGH_(part_2) (Part2)] [https://googology.fandom.com/wiki/User_blog:Hyp_cos/Analysis_-_BEAF,_FGH_and_SGH_(part_3) (Part3)]。

=== 历史 ===

数阵记号对整个大数领域的影响是重要的，其思想至今仍然可以在许多记号之中找到痕迹，而BEAF则是早期最为重要的数阵型记号。

在更强大的Array型记号（如[[BAN]]、[[SAN]]）与Worm型记号发明之前，由于其简洁性和极快的增长速度，BEAF 在 Googology 中颇具名气，更不用说那些用该函数定义的充满奇思妙想的命名数（如 golapulus 和传奇的 meameamealokkapoowa oompa——这是Bowers定义的最大数之一）。尽管克里斯·伯德（Chris Bird）和约翰·斯宾塞（John Spencer，Bowers的朋友）协助构建了 BEAF，但通常认为该函数完全由Bowers独立创造。

萨比斯·赛比安（Sbiis Saibian）指出，是否存在一种完全符合Bowers规则的符号系统，是大数研究领域的一个未解决问题。尽管他仅直接提到五维数阵，但这一问题可能也适用于 BEAF 的其他层级。

由于非四元 BEAF 是'''非形式化'''的，并且对其形式化'''仍然是 Googology 中的一个重要开放问题'''，因此四元以上的 BEAF 的可计算性在数学上没有意义。

=== 参考资料 ===
<references />
[[分类:记号]]
[[分类:入门]]