152.神的意志(2/2)

字体: 增大 默认 缩小
21072936960可能性,那么4x4阶数独有多少种可能……nxn阶数独有多少种?有没有通项公式呢?
    不要想就知道爆炸难。
    李轩在脑海里稍微思索下,就头皮发麻,“妈呀,我感觉会算到疯癫。”
    2x2阶数独才几百种,3x3阶数独就几万亿亿种,按照这种爆炸上升的趋势,请你想象出4x4阶数独数量有多少兆?
    你说nxn阶有多少种数独的数量通项公式?
    来来,试试看能不能算出来。
    一言难尽……
    李轩拿着笔试着算了下4x4阶数独,感觉他的智商不够用了,一度怀疑他的脑袋出现了问题。
    “妈的,我可能是个傻子!纯种的!”李轩神情很痛苦。
    这个问题他一时半会想不出来,系统给他的科学直觉也判断他计算起来困难,不是不懂计算方法,而是计算量太大,干脆把问题写在博客底下,把这个数学问题抛给大众吧,看看有没有人算出来。
    nxn阶数独有多少种?
    如果数学家拿出研究黎曼猜想世界难题的热情,这个问题应该早有数学家找出来了……现在估计没有数学家会去算这种蛋疼的问题。
    第一个数独数量问题,李轩就想得头疼,更不要说第二个数独唯一解问题。
    第一个问题算解决了大半,但没完全搞定,李轩决定先不想,先看看第二个问题,3x3阶数独至少要有多少个已知数才能保证数独存在唯一解?
    李轩想着这个问题,有些失神,最后还是先考虑简单一些的2x2阶数独,16个空格看起来比81个空格简单。
    不想不知道,一想简直崩溃,因为数独出现的空格随机,很难找到规律可以拿来逻辑推理。
    使出全部脑力与数学垂死搏杀,最后成功被数学干掉了……他只能确定结论是最少要17个已知数才能保证数独唯一解,证明过程无论如何却也想不出来了。
    “妈的,我是草履虫吧!”
    李轩捂着脑袋,看着第二个问题,十分确定他的脑袋出现了问题。第二个问题,他感觉没有希望证明出来。
    除了用穷举法,他愣是没想到其他证明办法,如果说用穷举法思路编程去算这个问题,他的家用计算机大概会算到死机。而这种证明太过丑陋,李轩心理上也不想这么证。
    李轩目前不是很了解数学当前新理论,不知道有没有解决这个问题的理论,如果没有这些理论,他是不是试着提炼数独规律,创造新数学来?
    毕竟数学都是从一个小问题创造出来的,譬如行列式来源解线性方程组问题。
    李轩思索了一下。
    “我真傻,真的。”李轩忽然傻笑,抬起没有神采眼睛来,“我单就只能在高中数学这种简单试卷考满分,单就会解答CMO这种容易题,单就会一秒口算六位数乘除法,我不知道数独唯一解的证明方法,也找不到数独数量的通项公式,更不知道黎曼猜想是怎么证明的……”
    接着李轩抓着脑袋,死尸的脸上没有了笑意,说不出成句的话来。
    看着如此简单的问题,思索了半天没有思路,被数学碾压成渣,这一天他又想起了曾经被数学支配的恐惧,他在科学这条路上说为草履虫不为过。
    数学真正困难的地方,不是重复的做题,而是用没出现过的方法做题。
    系统:本系统也觉得21世纪人类挺傻的。
    李轩有点无奈:“系统……”
    系统:这个问题对于你过于复杂,轩妹,你脑容量不够,如果要算这个问题,请借国家超级计算机天河一号,每秒运算次数1000兆次,算出来不在话下。
    李轩没了脾气:“超级计算机是我能用的吗?你让国家的超级计算机去算数独问题怕不是失了智。”
    没证明出来不甘心,李轩抓耳挠腮,看着纸上的数独,在想用什么办法才能证明,等待醍醐灌顶的那一刻。
    可就是没有思路,李轩数感很强,有直觉知道结论是什么,但是证明过程不知道,数学是严谨,只有结论没有证明是不行的。
    其实许多问题是解决不了,什么问题都能解决是理想状态,人最傻的时候就是觉得自己聪明,越聪明越觉得自己傻。
    李轩就想人终究是凡人,怎么能理解神的意志,但如果能有幸成为神的代言人,就是生而为人的最高的嘉奖。