数独 vs 扫雷:两种"逻辑游戏"的信息熵差异
玩本站 Zen Garden (数独)的时候,我从来没有"猜"过 —— 每一个填入的数字都是逻辑推出的。但玩 Mine Sweep (扫雷)高级局时,大约 15-20% 的局要靠猜。这两个游戏都叫"逻辑游戏",但底层结构完全不同。这篇从信息熵角度讲讲为什么。
什么是"完整信息游戏"
博弈论里,游戏分两大类:
完整信息游戏:所有相关信息都摆在桌面,玩家通过推理就能找到唯一解。例子:数独、围棋(在棋盘范围内)、纸牌接龙(开局后)。
不完整信息游戏:存在玩家不知道的信息,必须靠概率推测。例子:扑克(对手底牌未知)、拼字游戏(下一个字母袋未知)、扫雷(雷的位置未知)。
数独和扫雷的差别就在这里。
数独是完整信息
当一个合法数独题目放在你面前时,所有"已经填好的数字"加上"9x9 棋盘 + 每行每列每宫 1-9 不重复"这些约束,已经唯一决定了每一个空格的答案。理论上,从开局就能逻辑地推出整个解。
这意味着:数独永远不需要猜。任何高质量的数独题目(包括 Zen Garden 生成的所有题目)都满足"唯一解"。你的工作不是"找答案",而是"推出答案"。
这种游戏的乐趣来自:
- 知道答案存在,只是你还没找到
- 每一步都是确定的,没有运气成分
- 难度调整的方式只有一个:让推理链更长(从"显而易见的下一步"到"需要 5 步推理才能定的下一步")
扫雷不是完整信息
这一点比较反直觉。扫雷给你的"数字提示"看上去信息很完整,但实际上 ——
扫雷的雷分布是随机的,而这个随机性是你不可见的。当数字提示无法逻辑地确定某个格子时,你只能基于"局部概率"决定。
具体例子:你看到一个"3"周围有 6 个未翻开的格子,你已经标记了 1 颗雷。这意味着剩下 5 个格子里还有 2 颗雷。如果这 5 个格子在逻辑上是等价的(没有更多数字提示能区分它们),你只能掷骰子选一个翻开,40% 几率踩雷。
这种情况在高级扫雷(18x14, 70 雷)里出现频率大约 15-20%。所以连完美玩家在高级局也只有 ~80% 的"理论通关率"。
(注:专业扫雷玩家发明了"全局概率"算法 —— 不只看局部,而是综合考虑剩余雷数和未翻格子数。这能把通关率提升到 90%+,但永远达不到 100%。)
数独的难度是"推理链的长度",扫雷的难度是"必须猜测的概率"。两者不是同一种东西。
从信息熵角度看
信息熵(由香农 1948 年提出)衡量一个状态的"不确定性"。我们可以粗略地估算 ——
9x9 数独开局(填 30 格,空 51 格):每个空格有 1-9 共 9 个可能值,看似熵很高。但因为"唯一解"约束,实际上每个空格的"有效熵"是 0 —— 它有唯一的正确答案。
扫雷高级局开局:你能看见的只是数字。如果你随机选一个未翻格子去翻,踩雷概率是 70/252 ≈ 28%。这是真正的概率不确定性。即使是数学家也无法从开局信息推出"哪个格子绝对没雷"。
这就是为什么扫雷的"开局策略"(角落优先 / 中心优先)实际上是对随机扩散概率的优化,而不是逻辑推理。
这种差异对玩家心理的影响
同事玩这两个游戏的反馈,符合理论预测 ——
玩数独的人,失败时(填了错误数字、最后无法完成),感觉挫败但接受:"我推理错了一步"。明天再来,可以重新逻辑。
玩扫雷的人,失败时(踩雷),如果是"猜错了",感觉愤怒:"我没办法,这本来就不可解"。这种愤怒来自一种无法学习的失败 —— 你下次面对同样的局面,仍然要猜。
这个区别让数独在心理上更"持久"。很多人玩数独玩 20 年,因为每一次失败都是"我可以变得更好"。而扫雷的核心粉丝群体更小,因为概率失败让大多数玩家最终放弃。
但扫雷有它的优势
说扫雷"输给"数独不公平。扫雷有两个数独没有的优点:
1. 时间压力。 扫雷的高级局,完美玩家追求的是 100 秒以内通关。这要求你不只是"推对",还要"推得快"。这个速度维度让扫雷成为竞技性游戏 —— 有世界纪录、有锦标赛、有"专业玩家"。数独也有竞速版本,但慢得多(顶尖玩家 5 分钟一局),技巧没那么"动作化"。
2. 单局更短。 一个困难数独平均要 15-30 分钟。一个高级扫雷局通常 3-5 分钟。所以扫雷适合碎片时间,数独适合专注时段。
这两种游戏服务不同的心理需求,不是哪个"更好"的问题。
我自己的玩法选择
压力大、需要"绝对掌控"的感觉时:数独。每一步都是逻辑,没有运气。这种确定性是焦虑的解药。
注意力涣散、想要"短时段挑战"时:扫雷。3 分钟一局,中间偶尔死掉也没所谓。这种"概率包容"让大脑不需要持续高度运行。
放空、不想动脑子时:都不玩。开 2048 或贪吃蛇。
给设计师的启示
做 Zen Garden 时我做了一个关键决定:保证每个题目都有唯一解。这看上去是个技术细节,但其实是哲学决定。
市面上有些数独 App 会"加快生成"而牺牲唯一解 —— 你能完成它,但可能你的解跟"标准答案"不一样,系统判错。这种体验让玩家愤怒,因为它违背了数独的核心承诺:逻辑即真理。
我们的生成算法每次挖洞都用回溯法验证唯一解,这慢但值得。每个 Zen Garden 玩家都能信任系统:如果你卡住了,不是题目有错,是你还没找到那一步推理。
这种信任,是逻辑游戏最珍贵的设计资产。
结尾
下次有人跟你说"扫雷不就是数独嘛,都是逻辑题",你可以礼貌地告诉他:它们的信息熵结构完全不同。一个是完整信息推理,一个是部分信息概率。
两个都好玩,但好玩的方式不一样。
作者 Leo 是 BverGame 联合工程师。本文涉及信息论的简化概念,数学严格性有限。完整理解请参考 Shannon 1948 年原始论文 *A Mathematical Theory of Communication*。扫雷的"无解局"现象在 1990 年代由社区数学家详细分析,具体出处可参 minesweeper.info。