但也算成功给出了这类题型多项式时间内求解的优化算法。
十分幸运,米村给出的题目中,就有一道属于被他解决掉的那一系列的。
虽然表面看上去和蛋白质折叠毫无关系,其实只要证明归约一下,就可以简单复制粘贴了……
==========
到底要不要给出证明呢?
因为给了,就难免被看到了,虽然发表过了,不是又被回收了吗?
叶寒确认的问了一下“我这证明是肯定没有问题的,不过……你确定出题的人,能看懂我的证明吗?”
这个事一点都不好笑。
提出三大尺规作图不能问题的希腊人,能看懂万芝尔和林德曼的证明吗?
意大利的塔塔利亚、卡尔达诺,看得懂伽瓦罗的群论吗?
就算费马,看得懂安德鲁·怀尔斯那130页的论文吗?
提出问题者,根本没理解自己提出的问题到底有多难,这在数学界稀松平常。
甚至可以说,每一个著名的猜想,都存在同样的问题——猜想岁数不够大,活的时间不够久,那肯定不著名不牛哔。
而只要牛逼,证明过程一定是极复杂的,出题者几乎不可能看懂的。
叶寒论文通过,当初可是经过了长达数月的同行评议的。
米国人那边实力再强,叶寒觉得,想凑齐有资格给自己做评议的同行人数,都是极难的。甚至一个没有的概率,都要远远大过有。
为什么?
如果有,那对宇宙本质,还有量子力学、万有理论这些方面的研究,早应该取得一定进展了,华夏村这边就算参与不进去,也该有所听闻的,但并没有。
如果有,守关题目多半不会如此老旧,拾人牙慧;对外村的策略,想来也不会如此封闭保守不自信……
【哦,他们给出了几组参数,你将参数代入解法,只要规定时间内给出的答案正确,就可以了。】