看着对面的学姐,徐川笑了笑,调侃道:“🜾想着一次性解决P=NP?猜想?,你这也太贪心了。”
微微顿了顿,他接着道:“在P=N🆆P?问题中,大正整数因子的🅑多项式分解问题本身就是最难的两大问题之一了。能解决这个,剩下的问题距离伱或🁘🆆🍑许也并不是很遥远。”
对面,刘嘉欣想了想,犹豫了一下还是开口道:“🙀但是我觉得这个问题还能遥远,或许它永远无解。”
闻言,徐川停了一下,有些讶异的挑🆆了挑🇴🜴眉,问道:“你觉得P≠NP?”
虽然他并没👢有长时间和全神贯注的研究过这个难题,但七大千禧🃬年难题中所剩不多的猜想,他自然也有过探索。
尽管并不是很深入,👀🅱但老实说,他对于这个问题的看法却并非P=NP,而是P≠NP🃉。🛵♋
即那把能够解开这个世界上所😸有问题的简单钥匙并不存在。
这算是他冥冥中的数学直觉了。
即便是在今天晚上看完了大正整数因子的多项式分解问题的证明,P=NP往前推进了🃉一大步,他依旧保留自己🁊的看法,觉得P≠NP。
当然,徐川也从来都不认为在一个没有解决的问题上,自己🇲的看法就一♏定是对的。🖟
毕竟🜂他也只是一个人,只是🄄🞒📣学习过的知识比普通人多一点点而已,并不是全知全能的神。
但在P🄆🞞=NP?难题上,或者说在P类问题和大正整数因子的多项式分解问题上,眼前这位学姐应该是目前走的最远的人之一,或者说就是走的最远的。
如果她都觉得P=NP?猜想😸或🇩许是不正确的,再结合数学界大部分人的看法以及他自己🛵♋的直觉,或许P=NP并不存在。
即NP类🆖🏥问题也永远不🖄🐂☨🖄🐂☨可能‘全部’都坍缩成P类问题。
或许有人或奇怪既然大正整数因子的多项式分解问🙀题都已经被证实了,那为什么P反而不等于NP了?不应该是会朝🄹🏟着P=NP更推进一步吗?
对于这个问题,只能说P=NP?猜想本身就并不🙀是一个完全定义的数学难题。
它在克雷数👢学研究所的七大千禧年难题中,全程叫做‘Non-determin🖟isticPolynomial的问题,即多项式复杂程度的非确定性问题。’
P=NP?猜想中,两边的P和NP并不固定,它针对的是无穷无尽的多项式和非确🎎🐀☛定性问题。这种情况下,要想证明P≠NP并非易事。
如果是P=NP,你需要保证每一🍄🅣个NP类问题都能坍缩简🇲约成成P类问题,如果P≠NP,那你则需要证明每一个潜在的算法都必将失败。
而这里的算👢法和问题,并不🄄🞒📣仅仅指现在,还包括过去和未来的所有所有。
所以与其说P=NP?问题是一个数学猜想,🍘🈙⚛倒不如说它是一种思考的方法,一种根据问题的内在难度对其进行分类和认识的方法。
对🚹😑面,刘嘉欣点了点头,轻声道:“嗯,或许这个难题无解🇲,我们既不能证明P=NP,也无法证明P≠NP🆠🐾。”