三条规则。无尽的宇宙。
1970 年,John Conway 为网格上的细胞定下了三条规则。五十年后, 人们还在这几条规则里挖出新的惊喜。
一个细胞要么活着,要么死着。每一步,每个细胞数一下它的 8 个 Moore 邻居,按三行规则更新自己:
- 活细胞有 2 或 3 个活邻居 → 存活。
- 死细胞恰好有 3 个活邻居 → 诞生。
- 其他情况 → 死亡。
就这样。整个游戏就这样。可是从这三条规则里涌现出来的东西让人目瞪口呆: 静物、振荡器、在网格上行走的飞船、能永远产生新图样的图样, 以及 —— 2000 年被证明的 —— 一台完整的通用图灵机。这就是涌现 —— 任意复杂性可以藏在任意简单的局部规则之中的经典演示。
挑一个图样 · 按播放 · 看三条规则造出一个宇宙
代数
0
活细胞
0
峰值人口
0
曾经最大的活细胞数
状态
🎨 绘图模式
🖱 点击任何格子切换它的状态 —— 或拖动来画。新生细胞会发出 橙色光;存活一段时间的细胞会沉淀成 蓝色。 边界是环面(上下相接、左右相接),所以滑翔机会永远绕圈。
试试 🌰 Acorn。7 个细胞。把速度设成 30/秒,按下播放。
这颗小种子会制造超过一千代的混乱,直到第 5206 代才安静下来 ——
最终留下 41 个稳定物体,并把 13 架滑翔机抛向太空。
或者试 🔫 Gosper 滑翔机枪:第一个被证明会永远生长的图样 ——
也是 Bill Gosper 在 1970 年赢下 Conway 原创 50 美元悬赏的那张答卷。
一个安静得多的元胞自动机
同一个网格。同一个 8 邻居 Moore 邻域。只改一条小规则:不走 Conway 的 2/3 存活规则, 而是每个细胞直接复制其邻居中占多数的那种值。就这样。局部多数胜出。 来看它怎么演化。
看共识凝结成稳定的区块
步数
0
蓝色区块数
—
越少 = 共识越强
翻转的细胞数
0
降为 0 时停止变化
用低密度(比如 25%)作为起点 —— 少数派几乎会被完全吸收。 用 50% —— 网格结晶成少数几块大区域。 用 75% —— 低密度结果的镜像。共识永远是局部的,从不是全局的。
两个自动机,一个邻域,两个世界。上面两个模拟器都用完全相同的
8 邻居 Moore 邻域更新;唯一不同的是更新规则。Conway 的生命游戏在 Wolfram 元胞自动机尺度上
属于第 4 类 —— 复杂、不可预测、图灵完备。局部多数属于第 2 类 ——
总是稳定到有限的区块固定点。“永远令人惊奇”和“乏味可预测”之间的差别,
字面上就是三行代码。
它们出现在哪里
- Conway 的生命游戏。直接研究很小众,但那个想法 —— 巨大的状态空间可以从微小的规则中涌现 —— 深刻改变了物理学家、生物学家和复杂性科学家思考模式形成的方式。 Stephen Wolfram 的《A New Kind of Science》把这个论点推到极限。
- 局部多数。投票者模型、意见动力学、方言、网络协同。 每当你发现邻里、同事或朋友圈对那些你本来并没有强烈看法的事达成了一致, 某种“局部多数”动力学就在工作。
- 同网格的兄弟姐妹。Schelling 隔离(第 15.3 节)就坐在它们旁边 —— 带偏好的细胞在网格上移动。直接对比见我们的 Schelling 故事。
相关模型
- 🟦🟧 Schelling 隔离 — 同样的局部规则家族,不同的更新:主体会移动而不是翻转。
- 🎲 熵 — Wolfram 元胞自动机的四种行为类别(平衡、周期、随机、复杂)在那里是主角。
- 🏔 NK 适应度地形 — 又一个“简单规则 → 惊人丰富结果”的模型。