152.神的意志（2/2）

趁着热情还在，开始将计算过程简略写在博客上，不过李轩在编辑文字的时候，又想到一个新的问题。

九阶数独就有6670903752021072936960可能性，那么4x4阶数独有多少种可能……nxn阶数独有多少种？有没有通项公式呢？

不要想就知道爆炸难。

李轩在脑海里稍微思索下，就头皮发麻，“妈呀，我感觉会算到疯癫。”

2x2阶数独才几百种，3x3阶数独就几万亿亿种，按照这种爆炸上升的趋势，请你想象出4x4阶数独数量有多少兆？

你说nxn阶有多少种数独的数量通项公式？

来来，试试看能不能算出来。

一言难尽……

李轩拿着笔试着算了下4x4阶数独，感觉他的智商不够用了，一度怀疑他的脑袋出现了问题。

“妈的，我可能是个傻子！纯种的！”李轩神情很痛苦。

这个问题他一时半会想不出来，系统给他的科学直觉也判断他计算起来困难，不是不懂计算方法，而是计算量太大，干脆把问题写在博客底下，把这个数学问题抛给大众吧，看看有没有人算出来。

nxn阶数独有多少种？

如果数学家拿出研究黎曼猜想世界难题的热情，这个问题应该早有数学家找出来了……现在估计没有数学家会去算这种蛋疼的问题。

第一个数独数量问题，李轩就想得头疼，更不要说第二个数独唯一解问题。

第一个问题算解决了大半，但没完全搞定，李轩决定先不想，先看看第二个问题，3x3阶数独至少要有多少个已知数才能保证数独存在唯一解？

李轩想着这个问题，有些失神，最后还是先考虑简单一些的2x2阶数独，16个空格看起来比81个空格简单。

不想不知道，一想简直崩溃，因为数独出现的空格随机，很难找到规律可以拿来逻辑推理。

使出全部脑力与数学垂死搏杀，最后成功被数学干掉了……他只能确定结论是最少要17个已知数才能保证数独唯一解，证明过程无论如何却也想不出来了。

“妈的，我是草履虫吧！”

李轩捂着脑袋，看着第二个问题，十分确定他的脑袋出现了问题。第二个问题，他感觉没有希望证明出来。

除了用穷举法，他愣是没想到其他证明办法，如果说用穷举法思路编程去算这个问题，他的家用计算机大概会算到死机。而这种证明太过丑陋，李轩心理上也不想这么证。

李轩目前不是很了解数学当前新理论，不知道有没有解决这个问题的理论，如果没有这些理论，他是不是试着提炼数独规律，创造新数学来？

毕竟数学都是从一个小问题创造出来的，譬如行列式来源解线性方程组问题。

李轩思索了一下。

“我真傻，真的。”李轩忽然傻笑，抬起没有神采眼睛来，“我单就只能在高中数学这种简单试卷考满分，单就会解答CMO这种容易题，单就会一秒口算六位数乘除法，我不知道数独唯一解的证明方法，也找不到数独数量的通项公式，更不知道黎曼猜想是怎么证明的……”

接着李轩抓着脑袋，死尸的脸上没有了笑意，说不出成句的话来。

看着如此简单的问题，思索了半天没有思路，被数学碾压成渣，这一天他又想起了曾经被数学支配的恐惧，他在科学这条路上说为草履虫不为过。

数学真正困难的地方，不是重复的做题，而是用没出现过的方法做题。

系统：本系统也觉得21世纪人类挺傻的。

李轩有点无奈：“系统……”

系统：这个问题对于你过于复杂，轩妹，你脑容量不够，如果要算这个问题，请借国家超级计算机天河一号，每秒运算次数1000兆次，算出来不在话下。

李轩没了脾气：“超级计算机是我能用的吗？你让国家的超级计算机去算数独问题怕不是失了智。”

没证明出来不甘心，李轩抓耳挠腮，看着纸上的数独，在想用什么办法才能证明，等待醍醐灌顶的那一刻。

可就是没有思路，李轩数感很强，有直觉知道结论是什么，但是证明过程不知道，数学是严谨，只有结论没有证明是不行的。

其实许多问题是解决不了，什么问题都能解决是理想状态，人最傻的时候就是觉得自己聪明，越聪明越觉得自己傻。

李轩就想人终究是凡人，怎么能理解神的意志，但如果能有幸成为神的代言人，就是生而为人的最高的嘉奖。