当然,这个“解决”,指的不是证明,而是证伪。
他将证伪p不等于np,也就是说,对于p问题,不能完全等价于np问题。
p即复杂度类p,即为所有可以由一个确定型图灵机在多项式表达的时间内解决的问题;而类np由所有可以在多项式时间内验证它的解是否正确的决定问题组成。
一旦能够证明p=np,世间的一切问题都将能够变得简单起来,就像是如果能够将非线性和线性实现统一一样。
不过在过去,大多数的科学家都不相信p能够等于np,特别是对于一些密码学的专家来说,毕竟一旦p=np了,那么密码学的大厦就会轰然倒塌,因为p=np能够让任何密码都变得没有破解的难度,只需要交给计算机来进行计算就好了。
只不过,想要解决这个问题仍然存在着较大的困难,不管是证明还是证伪,然后再由于这个问题的意义比较重大,于是也就被选为了七大千禧难题之一。
而在证伪的方法中,有一个方法就是:找到一个单向函数。
单向函数指的是对于每一个输入,函数值都容易计算;但是对于一个随机的函数值,算出其对应的输入却比较困难。
也就是说在f(x)=y中,给出一个x的值,我们很容易就能够得到y的值,但是如果给出一个y,我们却很难反向算出x的值。
而这就完全不符合p=np时的情况了,自然而地也就将这个问题给证伪了。
也就是说,单向函数就像是一个特殊解,只要找到一个,就能够直接将这个千禧年难题给解决掉。
只不过,此时此刻的林晓,却完全没有想到自己只是为了找出能够控制量子计算机的一个模型,却就在不经意间将这个东西给找了出来。
他一时之间甚至感觉有点不真实。
然而接下来,系统的声音突然响起,告诉他这很真实。
“恭喜宿主,成功找到了一个单向函数,证明了p不等于np……”
系统的声音让林晓心中就是一愣。
系统,居然认可了?
然而他心中刚这么想,系统接下来的话,就让他心中一跳。
“不过,如果当宿主认为这个问题就此结束了的话,那么请思考一下,真的是你这样认为的吗?”
“奖励:5000点数学经验,3000点信息学经验,50点真理点。”
听到系统的话语,林晓感到了十分的困惑和不解。
现在既然都已经说明了他偶然间找到的这个函数是单向函数,但为什么又要这么说?
“真的是我这么认为的吗?”
“难道系统的意思是说,还能够将这个p=np给证明了?”
他感到了由衷的不解。
证明一个证伪的问题?
这又要从何解起?
而就在他的心中产生这种困惑的时候,他的手机铃声却忽然响了起来。
暂且回过了神,他拿起手机看了一眼。
“嗯?这是陶哲轩的电话?”
陶哲轩怎么突然想着要给他打电话了?
最近这段时间,应该正在召开国际数学家大会吧,陶哲轩现在应该在国际数学家大会上,怎么还有空来找他?
不过他又想起来,今天好像是今年国际数学家大会的最后一天了,现在这个时间段,似乎正是闭幕式的时候?
这就更让他感到疑惑了。
而后他接通了电话,说道:“喂,陶,怎么突然想着找我了?现在如果我没有记错的话,你应该在参加数学家大会的闭幕式吧?”
随后对面就传来了陶哲轩的声音。
“哈哈!林,没错,现在我正在参加数学家大会的闭幕式,当然,也正是因为此,我才要给你打这个电话啊。”
听到陶哲轩的话,林晓顿时就感到更加的疑惑了。
“什么意思?”
“呵呵,我现在给你发个视频通话邀请吧,到时候,你就会知道了。”
“这……好吧,我倒是要看看你在做什么。”
虽然不知道陶哲轩的用意,不过他既然都这么说了,那就看看吧。
而后很快,陶哲轩便就给他发来了一个视频邀请。
林晓点下了接受邀请,随后便进入到了视频的画面中。
随着视频画面的打开,当林晓看到陶哲轩那边的景象时,顿时就是一愣。
因为视频中,陶哲轩赫然是站在台上的,而他的身后,则是观众席。
只见几千名参加大会的数学家以及数学爱好者或者是从业者们,都坐在自己的座位上,然后朝他挥着手。
同时,还有一道道向他打招呼的声音传来。
“嗨!林教授!”
“林