相比于解谜游戏,数学有一个重大难点,即概念之间组合的数量多到爆炸。解谜游戏可能每步只有 20 种可能的走法,每次分支的个数(branching factor)也是 20。但在数学里,一个关于分析的问题,可能会用到代数里似乎风马牛不相及的见解。数学里这样的「走法」是可能的,这便意味着解决问题时可以采取的动作数量是「无比庞大」的。大部分问题都无法蛮力解决,除非问题很简单,使用定义便可以解决。
另见
- 通过间隔证明复习来理解证明中的关键洞见 ——对抗组合爆炸的一种方法是反复尝试证明一个定理
Thoughts Memo 汉化组译制
感谢主要译者Shom、校对 Jarrett Ye
原文:Combinatorial explosion in math