主題
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, S. 一種新的科學。 Champaign, IL: Wolfram 媒體, pp. 264, 870, and 952-953, 2002.

在 上被引用

加法元胞自動機

請引用本文為

Rowland, ToddWeisstein, Eric W. "加法元胞自動機。" 來自 Web 資源。 https://mathworld.tw/AdditiveCellularAutomaton.html

主題分類