第165章 NPC，真不是很难！（2/2）
《学霸的无限》作者：桔子泛泛 2020-03-13 16:04
大多数人都知道相对论，知道量子力学，也听过混沌两个字，但不一定知道，混沌理论，和量子力学、相对论并列，被认为二十世纪科学领域的最伟大发现。
很多人说，物理学已经一百多年没有像样的进展了，混沌的发现，绝对算是一个。
从三体问题，到湍流，到分子热运动……包括生物种群、天文研究，无处没有混沌的影子。
虽然仍旧很难给出确切的答案，毕竟混沌问题很难有确切答案，否则就不叫混沌了。
但也算成功给出了这类题型多项式时间内求解的优化算法。
十分幸运，米村给出的题目中，就有一道属于被他解决掉的那一系列的。
虽然表面看上去和蛋白质折叠毫无关系，其实只要证明归约一下，就可以简单复制粘贴了……
==========
到底要不要给出证明呢？
因为给了，就难免被看到了，虽然发表过了，不是又被回收了吗？
叶寒确认的问了一下：“我这证明是肯定没有问题的，不过……你确定出题的人，能看懂我的证明吗？”
这个事一点都不好笑。
提出三大尺规作图不能问题的希腊人，能看懂万芝尔和林德曼的证明吗？
意大利的塔塔利亚、卡尔达诺，看得懂伽瓦罗的群论吗？
就算费马，看得懂安德鲁·怀尔斯那130页的论文吗？
提出问题者，根本没理解自己提出的问题到底有多难，这在数学界稀松平常。
甚至可以说，每一个著名的猜想，都存在同样的问题——猜想岁数不够大，活的时间不够久，那肯定不著名不牛哔。
而只要牛逼，证明过程一定是极复杂的，出题者几乎不可能看懂的。
叶寒论文通过，当初可是经过了长达数月的同行评议的。
米国人那边实力再强，叶寒觉得，想凑齐有资格给自己做评议的同行人数，都是极难的。甚至一个没有的概率，都要远远大过有。
为什么？
如果有，那对宇宙本质，还有量子力学、万有理论这些方面的研究，早应该取得一定进展了，华夏村这边就算参与不进去，也该有所听闻的，但并没有。
如果有，守关题目多半不会如此老旧，拾人牙慧；对外村的策略，想来也不会如此封闭保守不自信……
【哦，他们给出了几组参数，你将参数代入解法，只要规定时间内给出的答案正确，就可以了。】
果然……叶寒忍不住推眼睛。
NC问题虽然都没有多项式内的最佳解法，却也有不少逼近的算法，什么贪婪算法、分治算法、动态规划算法、遗传算法……
这帮人给出的验证解，十有**只要算法蒙对了，明明不对也会被认为对。
其实他的算法也是一种逼近算法，只不过能在任何给定的尺度，达到需要的精度，跟那些粗糙lo哔的算法完全不是一个档次。
“我可以保证我的算法足够准确，可没法保证那些人给的解足够正确……”
看不懂论文，得靠黑箱测试，如此露怯，叶寒对这帮人给的答案可不乐观。
考试的时候，出题人给错答案的事情难道还少吗？
如此说着，他向系统讨了参数，开始代入验证。
有点意外，虽然这七八组参数数据很多位数很长，复杂度极高，对方给出的答案竟然完全正确。
所以，一遍过！
叶寒的身体，开始欻欻闪光！
【（づ￣3￣）づ…………】
卧去卧去卧去卧去！这家伙真做出来了！
很多人说，物理学已经一百多年没有像样的进展了，混沌的发现，绝对算是一个。
从三体问题，到湍流，到分子热运动……包括生物种群、天文研究，无处没有混沌的影子。
虽然仍旧很难给出确切的答案，毕竟混沌问题很难有确切答案，否则就不叫混沌了。
但也算成功给出了这类题型多项式时间内求解的优化算法。
十分幸运，米村给出的题目中，就有一道属于被他解决掉的那一系列的。
虽然表面看上去和蛋白质折叠毫无关系，其实只要证明归约一下，就可以简单复制粘贴了……
==========
到底要不要给出证明呢？
因为给了，就难免被看到了，虽然发表过了，不是又被回收了吗？
叶寒确认的问了一下：“我这证明是肯定没有问题的，不过……你确定出题的人，能看懂我的证明吗？”
这个事一点都不好笑。
提出三大尺规作图不能问题的希腊人，能看懂万芝尔和林德曼的证明吗？
意大利的塔塔利亚、卡尔达诺，看得懂伽瓦罗的群论吗？
就算费马，看得懂安德鲁·怀尔斯那130页的论文吗？
提出问题者，根本没理解自己提出的问题到底有多难，这在数学界稀松平常。
甚至可以说，每一个著名的猜想，都存在同样的问题——猜想岁数不够大，活的时间不够久，那肯定不著名不牛哔。
而只要牛逼，证明过程一定是极复杂的，出题者几乎不可能看懂的。
叶寒论文通过，当初可是经过了长达数月的同行评议的。
米国人那边实力再强，叶寒觉得，想凑齐有资格给自己做评议的同行人数，都是极难的。甚至一个没有的概率，都要远远大过有。
为什么？
如果有，那对宇宙本质，还有量子力学、万有理论这些方面的研究，早应该取得一定进展了，华夏村这边就算参与不进去，也该有所听闻的，但并没有。
如果有，守关题目多半不会如此老旧，拾人牙慧；对外村的策略，想来也不会如此封闭保守不自信……
【哦，他们给出了几组参数，你将参数代入解法，只要规定时间内给出的答案正确，就可以了。】
果然……叶寒忍不住推眼睛。
NC问题虽然都没有多项式内的最佳解法，却也有不少逼近的算法，什么贪婪算法、分治算法、动态规划算法、遗传算法……
这帮人给出的验证解，十有**只要算法蒙对了，明明不对也会被认为对。
其实他的算法也是一种逼近算法，只不过能在任何给定的尺度，达到需要的精度，跟那些粗糙lo哔的算法完全不是一个档次。
“我可以保证我的算法足够准确，可没法保证那些人给的解足够正确……”
看不懂论文，得靠黑箱测试，如此露怯，叶寒对这帮人给的答案可不乐观。
考试的时候，出题人给错答案的事情难道还少吗？
如此说着，他向系统讨了参数，开始代入验证。
有点意外，虽然这七八组参数数据很多位数很长，复杂度极高，对方给出的答案竟然完全正确。
所以，一遍过！
叶寒的身体，开始欻欻闪光！
【（づ￣3￣）づ…………】
卧去卧去卧去卧去！这家伙真做出来了！