主题
Search

加法元胞自动机


加法元胞自动机是一种元胞自动机,其规则与状态的加法兼容。通常,这种加法来源于模运算。加法规则允许独立计算不同初始条件的演化,然后通过简单相加来组合结果。因此,可以通过将单个细胞的演化与适当的卷积核(在双色自动机的情况下,这将对应于初始“活动”细胞的集合)进行卷积,非常有效地计算任意起始条件的结果。

ElementaryCARule90Panel

一个加法元胞自动机的简单例子是由规则 90 基本元胞自动机提供的。从该规则的图形表示可以看出,作为左邻居、中心邻居和右邻居的函数,该规则仅仅由左邻居和右邻居的规则之和模 2 给出,其中白色细胞被赋值为 0,黑色细胞被赋值为 1。(这等同于 异或 运算,意味着“相加”两个白色细胞或两个黑色细胞得到一个白色细胞,而相加一个白色细胞和一个黑色细胞得到一个黑色细胞。)例如,规则 (1, 1, 1) 是 1+1=0 (mod 2),规则 (1, 1, 0) 是 1+0=1 (mod 2),规则 (1, 0, 1) 是 1+1=0 (mod 2),等等。对 2^3=8 种可能的邻居状态中的每一种重复此操作,得到

 01011010,
(1)

这正是定义规则 90 的二进制字符串(此规则被分配数字 90 是因为 90=01011010_2二进制中)。

Rule 90 added to itself

规则 90 的移位版本的演化如上图所示。左图显示了规则 90 对由单个黑色方块组成的初始条件进行的 31 次迭代。向右移动,每个图都显示了在起始条件中添加一个位移为 Deltax 的额外黑色单元格的结果,每帧增加一代。

Additive cellular automata shifts

上面的图示更明确地显示了可加性。在这个动画中,每一帧对应于初始条件,其中右侧单元格进一步向右移动一个单位。可以看出,不重叠的模式部分保持不变,而重叠部分在异或运算下是可加的。

Additive cellular automata

一般来说,具有 k 种颜色的元胞自动机是加法的,如果其规则可以写成其邻居的整数倍之和(模 k),其中整数的范围可以从 0 到 k。因此,在 k^(k^(2r+1)) 种可能的规则中,有 k^(2r+1) 种加法规则,具有 k 种颜色和范围 r (Wolfram 2002, p. 952)。下表总结了基本元胞自动机的八个加法规则(k=2r=1 给出 2^(2·1+1)=2^3=8)。在表中,c_i 表示位于相对于中心位置 i 的邻居。

规则加法 (模 2)
00
规则 60c_(-1)+c_0
规则 90c_(-1)+c_1
规则 102c_0+c_1
规则 150c_(-1)+c_0+c_1
170c_1
204c_0
240c_(-1)

对于上述自动机的可加性,所需的性质是结合律和交换律。可以将可加性的概念推广到其他类型的加法。一般来说,设 phi(u) 表示 u 的元胞自动机演化历史,设  direct sum 表示作用于细胞值的二元运算符,并通过扩展作用于它们的状态和演化。那么,phi 是关于  direct sum 的加法元胞自动机,如果

 phi(u direct sum v)=phi(u) direct sum phi(v).
(2)

一些元胞自动机没有有趣的  direct sum ,但另一些则有,并且这些加法可以用来加速计算。

ElementaryCARule250Panel

规则 250 提供了在 运算(c_(-1),c_1)下的加法基本元胞自动机的另一个例子。通过检查规则集,可以验证在每种情况下,如果任一(或两者)邻居是黑色的,则结果状态为黑色,并且仅当两个邻居都是白色时才为白色。这对应于规则集

 11111010,
(3)

这与规则 250 的定义相同。

Rule 250 added to itself
Additive cellular automata shifts

上面说明了前几个移位的逐代差异以及作为移位函数的整个模式。

由于可加性,加法元胞自动机的演化行为类似于线性偏微分方程的解。特别是,它们允许格林函数的类似物,这样,给定一个初始条件,可以通过将单个细胞的演化(可以看作是积分核的类似物)与初始条件进行卷积来找到结果演化(Wolfram 2002, p. 952)。


参见

元胞自动机, 基本元胞自动机, 交换幺半群, 有限域, 模运算, 帕斯卡三角形, 规则 60, 规则 90, 规则 102, 规则 150, 规则 250

此条目的部分内容由 Todd Rowland 贡献

使用 Wolfram|Alpha 探索

参考文献

Wolfram, S. 一种新的科学。 Champaign, IL: Wolfram 媒体, pp. 264, 870, and 952-953, 2002.

在 Wolfram|Alpha 上被引用

加法元胞自动机

请引用本文为

Rowland, ToddWeisstein, Eric W. "加法元胞自动机。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/AdditiveCellularAutomaton.html

主题分类