C语言康威生命游戏,【2020存档】康威生命游戏（CGoL）研究进展

该楼层疑似违规已被系统折叠 隐藏此楼查看此楼

1、历史概述

生命游戏，由康威发明于1970年，同年登载在科学杂志上，引发一阵风潮。

最早的发现是在1969年末，康威和研究生初步探索B3/S23时，发现的R-pentomino五格多米诺，以及随之产生的Glider滑翔机。

70年代主要是以常见的太空船、振荡体为主。 其中包括了queen bee shuttle蜂巢，及由其为蓝本建造的高斯帕滑翔机枪(Gosper glider gun)。当然还有速度为2/c的大、中、小型飞船。

80年代，高一些周期的振荡体被发现，比如Achim的p4物体Mold和Jam。还有c/3、c/4的太空船。

1991年是一个新起点，这要归功于David Bell写的"lifesrc"搜索程序，2c/5和c/12这样的新速度也有了对应的太空船。

90年代，也是搜索程序大繁荣的时代，具体可以查看David Eppstein的论文《Searching for Spaceships》

2、领域分类。

(1)纯理论研究。比如康威老爷子的两个证明，一是证明了B3/S23规则图灵完备，二证明了生命游戏世界里存在“可以自我复制”的物体。还有对特定细胞数能存在多少still life静止体的研究(A019473序列)。

(2)自然图形搜寻。对新的静止体、振荡体、太空船等图形的搜索。目前主要聚焦于，未发现的新周期，和没有太空船存在的新速度。比如，从周期2到周期60，几乎所有的周期都有振荡体存在，唯独缺少一个周期19(p19)。还有太空船的新速度，4c/9等速度还没有发现相应的太空船。

(3)大型图案建造。主要是指应用已发现的自然物体，和理论研究发现的自然规律，人工改造建造各种各类的有趣图案。比如各种枪、播种机、滑翔机合成。比如质数机，可以产生相应的滑翔机质数序列。最为复杂的工程之一，当属MetaPixel元像素，它可以在生命世界中构造一组网格，来运行生命世界。

3、近年重大发现列举。

(1)斜行飞船。在生命游戏中，滑翔机是沿对角线行进的，飞船是沿垂直方向或水平方向行进的。有没有这样的飞船，能够斜着走呢。2010年的Gemini，就是人工建造的，能斜着前进的超大型飞船。每三千万个时间单位，在水平方向走1024格，在垂直方向走5120格。之后2014年的waterbear水熊虫，能以(23,5)c/79的速度行进，也就是79个时间单位，水平走23格，垂直方向走5格。2018年发现的Sir Robin骑士，能像象棋里面的马一样，每六个时间单位，横着走2格，竖着走1格，速度(2,1)c/6。

(2)17RCT。滑翔机合成，是生命游戏中一个有意思的领域。若干个滑翔机，能够合成静止体，合成振荡体，还能合成飞船(如下图)。

17RCT是这样一个理论，“任何可合成的物体，至多需要17个滑翔机即可合成”。不管一个物体有多大，只要它能用滑翔机合成，那么最多只需要17个滑翔机。这个数字，最初是329，因为当初建造一个RCT需要329个滑翔机。后来经过社区的努力，慢慢降到59，降到35，最终降到17的。

(3)0E0P-Metacell。这是一个人工建造出的大型图案。它能像MetaPixel一样，作为一个基础像素，在更高层面，运行元胞自动机的内容。更重要的是，它可以自我复制，填满周围的空间。如果以自我复制为标准，这才是真正的原始生命。

4、部分工具例举。

(1)soup search 混沌搜索。随机生成特定大小的方格图案，如20x20，然后运行并查看其中的结果。目前运作的，也是世界上最大的项目是apgsearch。单核速度8000/s，结果可以自动上传网站。

(2)SAT sovler 类。将元胞自动机问题转化为布尔值可满足问题，使用SAT sovler来进行计算。如JavaLifeSearch，可以搜索特定的振荡体，延长太空船片段，寻找当前图案的前体，非常全能。

(3)LSSS。life_slice_ship_search是一个飞船搜索程序，可以搜索特定速度。它将潜在的飞船片段切分为两列两列的小份，大大扩展了可搜索的宽度。会占用一些硬盘空间，大约10-200GB。

5、发展展望。

1970-2020五十年来，可以说生命游戏取得了很多发现和进展，也可以说其影响力相较最辉煌的初期有所下降。康威老爷子于20年4月离世，但社区对生命游戏、对元胞自动机的探索，仍在继续。

(1)已知成果的信息共享。09年建立的lifewiki，收集包纳了几乎所有关于CGoL的相关图形、发现、资料。同站点的论坛也是交流元胞自动机学术成果的优质平台。15年建立的Catagolue，不仅汇总集中了混沌搜索的结果，还可以接受ikpx2太空船搜索片段的结果，其站点还列有几乎所有CGoL相关开源软件项目。建立于17年的Discord群组，是国际化的CGoL实时交流平台，任何问题都能得到热情解答。流畅共享的信息交流机制，是避免单人闷头造轮子的有效途径，能够让社区把人力部署在尖峰领域进行创新探索。

(2)计算资源的优化利用。“对于个人爱好者来说，如今是越来越难产生新的突破与发现了”，随着容易探索的部分都被彻底挖掘，留给业余爱好者的发现空间也越来越少。计算机技术的进步，相较于元胞自动机对科学计算的巨量需求而言，并不够用。个人电脑的可扩展性有限，随着云计算领域的蓬勃发展，价格比家用电脑的电费开销还低，向云端迁徙成为一种必然趋势。利用新兴计算资源，如基于CUDA的显卡计算，可能的FPGA专用电路，结合分布式的计算合作，也许能产生新的突破。

(3)中文社区的进步空间。目前中文社区CGoL的特点可以用一个字概括：‘少’。感兴趣的人少、肯参与的爱好者少、对应的中文资料少、相应的贡献也少。但是中文圈子的潜力是巨大的，一方面是由于人口基数，另一方面是经济实力和受教育层次已经突破。相较国外而言，我们云计算的资源也非常廉价，可以说触手可及。这给研究探索的突破留下了巨大的空间。