好多东西都是靠计算机穷举证明的

之前看到的有任意魔方的还原步数

数独保证唯一解的初始格局所包含的数字数