计算(3)
2023-09-15 来源:百合文库
理查德维持着微笑，与柯里昂对视了两秒，仿佛什么也没有发生一样跳过这个话题接着说了下去，“这些边界的线条很像费曼图。”
“哦对，我记得这个。”柯里昂拍了下大腿。
“你看，初始输入中的每个黑白边界点都构成了一个区域最上面的顶点，它们连着的边有两种类型，各倾斜45度和垂直向下的，我把这两种顶点分别记为阿尔法粒子和贝塔粒子。阿尔法粒子连着的两条边代表它一左一右衰变出的两个速度相同的粒子，伽马和缪。贝塔粒子这条垂直的线则代表它是静止的。一维元胞自动机是环形的——如果我刚才没提到的话——伽马粒子和缪粒子同时背向起跑，那么它们哪个先与静止的贝塔粒子碰撞，就代表这一侧的区域的长度更小，也就是说这一侧的元胞颜色属于少数。这张图上是伽马粒子先与贝塔粒子相撞。相撞之后，为了把这一信息传递出去，伽马粒子会与贝塔粒子结合，并发射出一个新粒子，艾塔。艾塔粒子在时空图上的斜率小于45度，也就是说速度比另一边的缪粒子快。当它追上缪粒子，两者便会一起湮灭，彻底封闭少数派的元胞区域，实现多数判断。
这是一个最简单的情况的例子，我讲清楚了吗？”
理查德低着头一口气说完才抬头看向柯里昂，柯里昂还在望着图片沉思。办公室里经过了一阵难挨的寂静后，柯里昂终于抬起头来：“然后呢？”
“呃……哪部分的然后？”
“关于计算等等……”柯里昂的手在空中划了几个圆。
“哦……哦，多数判断是一个很关键的能力，因为它代表着即使局域规则也能实现整体条件判断，比如二元判断。而最小的图灵机需要二状态三颜色，刚才的图你也看到了，正好符合这个条件。这就意味着我们可以在元胞自动机中建立图灵机，也就存在一个计算规则。”
“那你如何找到这个规则呢？你不要告诉我需要另写一个程序去筛选。”柯里昂身体前倾，十指相对，“如果我知道筛选方法，我可以直接写个程序筛选，根本不需要这个什么元胞计算机。”
“元胞自动化计算系统，”理查德重复了一遍正确的全称，随后露出了个推销员般的标准的微笑，“当然不需要您亲自调教。实际运行中，我建议使用12维61色的计算空间，系统将会在前11个维度随机涨落出任何可能的元胞自动机，并把它们在第12个维度堆叠。每个元胞自动机都有由输入问题控制的衰变常数，不符合约束条件的元胞自动机将会自动湮灭，最终稳定存在的元胞自动机必然是目标结果。”
“哦对，我记得这个。”柯里昂拍了下大腿。
“你看，初始输入中的每个黑白边界点都构成了一个区域最上面的顶点，它们连着的边有两种类型，各倾斜45度和垂直向下的，我把这两种顶点分别记为阿尔法粒子和贝塔粒子。阿尔法粒子连着的两条边代表它一左一右衰变出的两个速度相同的粒子，伽马和缪。贝塔粒子这条垂直的线则代表它是静止的。一维元胞自动机是环形的——如果我刚才没提到的话——伽马粒子和缪粒子同时背向起跑，那么它们哪个先与静止的贝塔粒子碰撞，就代表这一侧的区域的长度更小，也就是说这一侧的元胞颜色属于少数。这张图上是伽马粒子先与贝塔粒子相撞。相撞之后，为了把这一信息传递出去，伽马粒子会与贝塔粒子结合，并发射出一个新粒子，艾塔。艾塔粒子在时空图上的斜率小于45度，也就是说速度比另一边的缪粒子快。当它追上缪粒子，两者便会一起湮灭，彻底封闭少数派的元胞区域，实现多数判断。
这是一个最简单的情况的例子，我讲清楚了吗？”
理查德低着头一口气说完才抬头看向柯里昂，柯里昂还在望着图片沉思。办公室里经过了一阵难挨的寂静后，柯里昂终于抬起头来：“然后呢？”
“呃……哪部分的然后？”
“关于计算等等……”柯里昂的手在空中划了几个圆。
“哦……哦，多数判断是一个很关键的能力，因为它代表着即使局域规则也能实现整体条件判断，比如二元判断。而最小的图灵机需要二状态三颜色，刚才的图你也看到了，正好符合这个条件。这就意味着我们可以在元胞自动机中建立图灵机，也就存在一个计算规则。”
“那你如何找到这个规则呢？你不要告诉我需要另写一个程序去筛选。”柯里昂身体前倾，十指相对，“如果我知道筛选方法，我可以直接写个程序筛选，根本不需要这个什么元胞计算机。”
“元胞自动化计算系统，”理查德重复了一遍正确的全称，随后露出了个推销员般的标准的微笑，“当然不需要您亲自调教。实际运行中，我建议使用12维61色的计算空间，系统将会在前11个维度随机涨落出任何可能的元胞自动机，并把它们在第12个维度堆叠。每个元胞自动机都有由输入问题控制的衰变常数，不符合约束条件的元胞自动机将会自动湮灭，最终稳定存在的元胞自动机必然是目标结果。”
就算是虫娘也好啊
