[论文解读] Recombinations of Busy Beaver Machines

Norbert Bátfai|ArXiv.org|Aug 27, 2009

Mechanics and Biomechanics Studies参考文献 3被引用 7

一句话总结

本文提出了一种新颖的重组方法，通过合并已知的高性能5状态Busy Beaver图灵机（例如Marxen-Buntrock和Uhing机器），生成新的5状态Busy Beaver图灵机。通过战略性地组合现有机器的转移规则，作者发现了一种新型重组BB₅机器，其运行步数达到70,740,809步——超过所有已知的5状态机器，暗示S(5)函数可能创下新纪录。

ABSTRACT

Many programmers belive that Turing-based machines cannot think. We also believe in this, however it is interesting to note that the most sophisticated machines are not programmed by human beings. We have only discovered them. In this paper, using well-known Busy Beaver and Placid Platypus machines, we generate further very similar, but not exactly the same machines. We have found a recombinated BB_5 machine which can make 70.740.809 steps before halting.

研究动机与目标

• 探索是否可通过系统性重组已知高性能机器，生成新型高性能5状态Busy Beaver机器。
• 研究是否可通过重组现有Busy Beaver与Placid Platypus机器，获得比以往记录更长运行时间的机器。
• 挑战仅通过人工设计或穷举搜索才能产生最优或近似最优图灵机的假设。
• 证明复杂高性能机器可能并非源于设计，而是源于对已有组件的类似进化式的重组。

提出的方法

• 作者定义了一种形式化的重组操作，通过在指定偏移点连接k个已知BB₅机器的转移规则，将它们合并为一个新的(2k−1)状态机器。
• 利用预定义的偏移索引（vⱼ₁, ..., vⱼₖ₋₁）将源机器的转移规则缝合在一起，确保状态转移的连续性并避免冲突。
• 该方法以一组广为人知的高性能BB₅机器（如Marxen-Buntrock、Uhing、Schult）作为重组起点。
• 对重组后的机器进行运行时间（即停机前的步数）评估，重点识别超过已知记录的候选者。
• 使用基于C语言的程序生成并模拟重组机器，转移规则以行为基础的查找表进行存储与解密。
• 该方法系统性地应用于多个机器族（如M_PP(4097)、M_PP(4096)、M_PP(4095)、M_PP(239)、M_PP(20)），以探索多样化的重组结果。

实验结果

研究问题

• RQ1 是否可通过已知高性能Busy Beaver机器的重组，产生比现有候选者显著更长运行时间的新机器？
• RQ2 是否存在一种系统性方法，可在无需完整人工设计的情况下，生成新颖且非平凡的图灵机，使其性能超越已知5状态机器？
• RQ3 即使源自已知最优组件，重组机器是否表现出超越其各部分之和的涌现复杂性或性能？
• RQ4 重组框架是否可用于发现Busy Beaver问题中S(n)函数的新候选纪录？

主要发现

• 发现了一种重组的5状态图灵机，其运行70,740,809步后停机，超过此前已知的47,176,869步记录。
• 该重组机器标记为M_PP(4097)，并非任何已知Marxen-Buntrock机器的复制品，表明其为新型配置。
• 该机器的性能提示其或为S(5)函数的新候选，若额外增加一条停机规则，则S(5)的修正估计值可能为70,740,810。
• M_PP(4096)与M_PP(4095)机器的重组也产生了运行超过1180万步的机器，表明性能提升具有一致性。
• 该方法成功从低复杂度家族（如M_PP(239)、M_PP(20)）生成新机器，部分机器运行步数超过41,000步，表明其具有广泛适用性。
• 结果表明，复杂高性能机器可能并非源于设计，而是源于对已知组件的类似进化式的重组。