默认冷灰
24号文字
方正启体

第四百六十六章 P≠NP?国际数学家大会闭幕式上的电话(2/4)

作者:首席设计师
种函数,然后再利用芯片的识别能力来识别呢?”

忽然间,他的脑海中闪过了一个想法。

“对了……=?!”

就像是他当初利用=问题的原理构建了一个程序,然后再利用这个程序确定了引力子和相对论的关系。

“要是使用相同的方法,或许也就能够解决这个问题了。”

他的目光中陷入了一阵思考。

而后,他的眼中便是一动,随后就拿出了一支笔,开始写了起来。

直觉告诉他,这个方法是可行的,但是该如何解决这个问题,还需要基于数学上的推论。

就这样,一个周后,他十分惊讶地看着自己得到的一个函数。

当然,这个函数和他想要搞出来的东西没有关系,充其量也只能算作一个中间产物罢了,只不过,这个中间产物的意义,却不同寻常。

“这难道是一个单向函数?”

他紧皱着眉头,看着这个函数,心中忍不住思考起来。

如果真的是这样的话,那他可能,就又一个不小心地解决了一个七大千禧年难题了。

当然,这个“解决”,指的不是证明,而是证伪。

他将证伪不等于,也就是说,对于问题,不能完全等价于问题。

即复杂度类,即为所有可以由一个确定型图灵机在多项式表达的时间内解决的问题;而类由所有可以在多项式时间内验证它的解是否正确的决定问题组成。

一旦能够证明=,世间的一切问题都将能够变得简单起来,就像是如果能够将非线性和线性实现统一一样。

不过在过去,大多数的科学家都不相信能够等于,特别是对于一些密码学的专家来说,毕竟一旦=了,那么密码学的大厦就会轰然倒塌,因为=能够让任何密码都变得没有破解的难度,只需要交给计算机来进行计算就好了。

只不过,想要解决这个问题仍然存在着较大的困难,不管是证明还是证伪,然后再由于这个问题的意义比较重大,于是也就被选为了七大千禧难题之一。

而在证伪的方法中,有一个方法就是:找到一个单向函数。

单向函数指的是对于每一个输入,函数值都容易计算;但是对于一个随机的函数值,算出其对应的输入却比较困难。

也就是说在f(x)=y中,给出一个x的值,我们很容易就能够得到y的值,但是如果给出一个y,我们却很难反向算出x的值。

而这就完全不符合=n时的情况了,自然而地也就将这个问题给证伪了。

也就是说,单向函数就像是一个特殊解,只要找到一个,就能够直接将这个千禧年难题给解决掉。

只不过,此时此刻的林晓,却完全没有想到自己只是为了找出能够控制量子计算机的一个模型,却就在不经意间将这个东西给找了出来。

他一时之间甚至感觉有点不真实。

然而接下来,系统的声音突然响起,告诉他这很真实。

“恭喜宿主,成功找到了一个单向函数,证明了不等于……”

系统的声音让林晓心中就是一愣。

系统,居然认可了?

然而他心中刚这么想,系统接下来的话,就让他心中一跳。

“不过,如果当宿主认为这个问题就此结束了的话,那么请思考一下,真的是你这样认为的吗?”

“奖励:5000点数学经验,3000点信息学经验,50点真理点。”

听到系统的话语,林晓感到了十分的困惑和不解。

现在既然都已经说明了他偶然间找到的这个函数是单向函数,但为什么又要这么说?

“真的是我这么认为
本章未完,请翻下一页继续阅读.........
(←快捷键) <<上一页 投推荐票 回目录 标记书签 下一页>> (快捷键→)