“你觉得p≠np?”
虽然他并没有长时间和全神贯注的研究过这个难题,但七大千禧年难题中所剩不多的猜想,他自然也有过探索。
尽管并不是很深入,但老实说,他对于这个问题的看法却并非pnp,而是p≠np。
即那把能够解开这个世界上所有问题的简单钥匙并不存在。
这算是他冥冥中的数学直觉了。
即便是在今天晚上看完了大正整数因子的多项式分解问题的证明,pnp往前推进了一大步,他依旧保留自己的看法,觉得p≠np。
当然,徐川也从来都不认为在一个没有解决的问题上,自己的看法就一定是对的。
毕竟他也只是一个人,只是学习过的知识比普通人多一点点而已,并不是全知全能的神。
但在pnp?难题上,或者说在p类问题和大正整数因子的多项式分解问题上,眼前这位学姐应该是目前走的最远的人之一,或者说就是走的最远的。
如果她都觉得pnp?猜想或许是不正确的,再结合数学界大部分人的看法以及他自己的直觉,或许pnp并不存在。
即np类问题也永远不可能‘全部’都坍缩成p类问题。
或许有人或奇怪既然大正整数因子的多项式分解问题都已经被证实了,那为什么p反而不等于np了?不应该是会朝着pnp更推进一步吗?
对于这个问题,只能说pnp?猜想本身就并不是一个完全定义的数学难题。
它在克雷数学研究所的七大千禧年难题中,全程叫做‘non-deteristic polynoial的问题,即多项式复杂程度的非确定性问题。’
pnp?猜想中,两边的p和np并不固定,它针对的是无穷无尽的多项式和非确定性问题。这种情况下,要想证明p≠np并非易事。
如果是pnp,你需要保证每一个np类问题都能坍缩简约成成p类问题,如果p≠np,那你则需要证明每一个潜在的算法都必将失败。
而这里的算法和问题,并不仅仅指现在,还包括过去和未来的所有所有。
所以与其说pnp?问题是一个数学猜想,倒不如说它是一种思考的方法,一种根据问题的内在难度对其进行分类和认识的方法。
对面,刘嘉欣点了点头,轻声道:“嗯,或许这个难题无解,我们既不能证明pnp,也无法证明p≠np。”
“我尝试过去解决的一个np完全问题,但却发现不可能找到一个在所有情况下都能解决该问题的算法,只能尽所能地争取最好的结果。”
徐川点了点头,笑着道:“看样子我们达成了共识。”
笑了笑,他往后靠在椅背上,接着道:“如果单论问题来说,不仅仅是pnp?难题,有很多难题都一样,往往我们都无法直接的去解决它。但很多时候,研究它们的过程才是最为精髓的东西。”
“比如现在,大正整数因子的多项式分解问题就赋予了我们一种通用的框架和工具,有助于思考如何应对从实际需求中产生的那些困难的问题,也能帮助我们更好的去完善数学与其他科学的发展。”
 
『加入书签,方便阅读』
-->> 本章未完,点击下一页继续阅读(第4页/共5页)