Zeilberger 是个数学家,Rutgers 大学的数学系教授。在那之前他开了个玩笑,戏称自己证明了 P=NP,还写了篇像模像样的论文。在文章里他告诫大家:不要爱上你的模型(Don’t Fall In Love With Your Model)。他这句话说到了我心里。
你还能在网络上找到其它人对“P vs NP”的质疑,比如这篇来自于一位专门研究计算理论的学者:
Is P=NP an Ill Posed Problem?
我觉得他讲的也很在理。正是在这些人的鼓舞之下,我随手写出了之前对“P vs NP” 的质疑。只言片语里面,融入了我多年的深入学习,研究和思考。
总结
看这篇文章很累吧?我写着也累。对于我来说这一切都已经那么明了,真的不想费口舌。但是既然之前已经说出来了,为了避免误解,我仍然决定把这些东西写下来摆在这里。如果你暂时看不懂可以先放在一边,等到了需要深入研究计算理论,想得头痛的时候再来看。你也许会感谢我。
我希望严谨的计算机科学工作者能够理解我在说什么,反思一下对“P vs NP”的理解。计算机专业的学生应该理解“P vs NP”理论,但不必沉迷其中。这并不是一个值得付出毕生精力去解决的问题。计算机科学里面还有其它许多有趣而重要的问题需要你们去探索。如果你觉得计算机科学都不过瘾,你可以去证明黎曼猜想啊 :)
当然所有这些都是我的个人观点,我没有强求任何人接受它们。强迫别人接受自己的观点是不可以的,但想阻止别人表达对此类问题的质疑,也是不可以的,因为我们生活在自由的世界。
没人想抢走你们的玩具,但不要忘了,它只是玩具。
解密(2019 年12 月)
写作『再谈“P vs NP”问题』背后的故事,经过了几个月,我觉得可以解密一下。
为什么有人能有机会当面对我毫无尊重地说话呢?我也没想到,我感觉中了一个陷阱。事情是这样的,当时阿里巴巴有一个项目组想请我加入他们。由于网上到处找不到我准确的联系方式,我又不怎么看 LinkedIn 一类的,联系了我一两个月才联系上。我看他们好像很诚恳,最后终于决定跟他们聊一下。虽然我常常听说阿里的“996”现象和办公室政治,但这种高级别的职位,他们又求贤若渴的样子,心想就算最后不去,了解一下探探底也无妨。
经过再三邀请,我最后成行访问了杭州阿里巴巴总部。我