同事Didier是我多年的同事好友，Louis是大学经济系退休教师，对我的P vs NP问题研究感兴趣，有了如下对话。

首先Didier给Louis推荐了一个很受欢迎的法语普及P vs NP的视频【1】。然后，给Louis作了一些介绍，我接着说：

这个视频很好！可惜他用逻辑和数学的方法清楚地解说一个错误的问题：P vs NP，。。。这不是他的错，而是学界的流行观念。

P vs NP问题由Cook于1971年形式化提出后，现在通俗表达为：“当一个问题的解可以容易验证（NP），其解也可以容易找到吗（P）？”【2】 此后学界围绕着这个“世纪难题”研究至今，仍然没有实质性的结果。

我试用一个比喻来说明我的观点：

比如，柳渝认识“牛”，但是没见过“马”，一天她来到法国，见到一群牛和一群“马”在一起吃草，于是问路易：

柳渝（指着马）问：这是什么？

路易：这是“马”。

柳渝：什么是“马”？

路易：“马”是有颜色的动物。

如果路易接着问柳渝：你现在知道什么是“马”了吗？

柳渝能回答什么？你们怎么看路易的回答？

参考文献：

【1】https://www.youtube.com/watch?v=8TrIW-4kfRg

【2】May 2, 2013 (The New Yorker)，A Most Profound Math Problem， Alexander Nazaryan。中文译文：http://blog.sciencenet.cn/blog-2322490-995211.html