MENTAL MODEL · M0181
忙碌的海狸
The Busy Beaver
Version 1.0.0 · 更新于 2026-07-28
CORE DEFINITION · 核心定义
在给定状态数量(如5个状态)下,能运行步数最多但在最终必须停机(不能死循环)的程序。其步数增长速度快得超乎想象(非可计算函数)。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
探索优化的极限。它提醒我们,在有限的规则和资源(状态)下,系统的潜在复杂度和产出能力是超乎直觉的。不要轻易认为“这点资源做不出什么花样”,你可能只是没找到那个“忙碌海狸”的配置。
anchor
锚定快速决策
Busy Beaver 问题:在给定状态数的图灵机中,求能写下最多 1(或最多步数)后停机的机器,其函数增长超越任何可计算函数,用以揭示可计算性边界与停机问题的不可解。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型:
勾选记录你的进度(本机暂存)
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- zh.wikipedia.orghttps://zh.wikipedia.org/wiki/%E5%BF%99%E7%A2%8C%E7%9A%84%E6%B5%B7%E7%8B%B8verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels;回答仅使用公开词条上下文。
RELATED MODELS · 相关模型