将之归约为已知的NPC就行了,于是哈密顿回路、TSP问题、SAT问题、背包问题、旅行商问题,都变成了NPC。
不过出这道题的人一定没看到叶寒那篇关于蛋白质折叠的论文……
或者看到了还没来得及改;
也可能想改但是落子无悔,改不了了……
如果P=NP被证明,那整个世界,都会变得与我们认为的完全不同。
灵感与创造将没有任何价值,因为所有问题的解,都可以用努力的算法解决,而且在多项式时间内。
就仿佛是,任何能够欣赏交响乐的人,都能成为莫扎特;每个懂得数学论证的人,都是高斯;每个研究投资策略的人,都可以是巴菲特……
同样道理,预测蛋白质折叠再不需穷举,多项式时间就可以得到确定答案。
怎么可能!
所以对于P=NP?问题,叶寒是倾向于业界多数意见的——不成立。
不过他也没有能够成功证明或证伪,只是提出了某一类NPPC问题并不等价——这已经很强大了。
更强大的是,他搞出了这类问题的混沌模型,并给出了对应的三维流形吸引子,简称叶氏吸引子,然后结合某种空间密铺算法,进行了大幅优化修正。
绝大多数人都知道相对论,知道量子力学,也听过混沌两个字,但不一定知道,混沌理论,和量子力学、相对论并列,被认为二十世纪科学领域的最伟大发现。
很多人说,物理学已经一百多年没有像样的进展了,混沌的发现,绝对算是一个。
从三体问题,到湍流,到分子热运动……包括生物种群、天文研究,无处没有混沌的影子。
虽然仍旧很难给出确切的答案,毕竟混沌问题很难有确切答案,否则就不叫混沌了。
但也算成功给出了这类题型多项式时间内求解的优化算法。
十分幸运,米村给出的题目中,就有一道属于被他解决掉的那一系列的。
虽然表面看上去和蛋白质折叠毫无关系,其实只要证明归约一下,就可以简单复制粘贴了……
==========
到底要不要给出证明呢?
因为给了,就难免被看到了,虽然发表过了,不是又被回收了吗?
叶寒确认的问了一下:“我这证明是肯定没有问题的,不过……你确定出题的人,能看懂我的证明吗?”
这个事一点都不好笑。