Workflow
海狸数
icon
Search documents
和图灵机相关的这个数字,已经大到整个宇宙原子都容不下了
量子位· 2025-08-24 04:38
闻乐 发自 凹非寺 量子位 | 公众号 QbitAI 衡量图灵机最大运行步数的 海狸数 (busy beaver number)纪录,被刷新了! 一位神秘人突破了 第六个海狸数 的新下限,而且数值大到超乎想象—— 假如将宇宙里的每个原子都刻上数字,也无法完全容纳它。 也就是说,用咱平时熟悉的十进制根本没办法完全表示,得用超复杂的五幂运算来描述: 指数套指数再套指数 …… $$\delta\Delta\phi(t)=\delta\phi(t)\delta\phi(t)=\delta\phi(t)\delta\phi(t)$$ 这到底是个什么样的神秘数字呢? 研究图灵机极限能力的数字 海狸数,专业点说叫忙碌海狸数BB(n)。它背后藏着图灵在1936年就证明的停机问题: 例如,若选择规则数n=5,目标就是找到有5条规则的图灵机中运行时间最长才停机的那个,它在停机前执行的步数,就是BB(5)。 你永远没法用通用程序判断一台图灵机到底是运行有限步骤后就停机,还是会一直无限运行下去。 所以找这个数, 本质是在触碰计算机能解决问题的边界 。 图灵机的计算方式是在无限长的磁带上读取和写入0和1,磁带划分为很多个单元格,一个读 ...