四十多年的P = NP的？

有趣的网址新闻：http://rss.slashdot.org/~r/Slashdot/slashdot/~3/JqcI51DIe6c/Forty-Years-of-PNP:

一位不愿透露姓名的读者写道：“在1971年5月4日下午在斯托弗的萨默塞特Inn在沙克尔海茨，俄亥俄，史蒂夫库克介绍了他的STOC文件，证明可满足性问题是一个NP完全问题，并同语式是NP -难问题。'定理的建议同义反复是一个有趣的设定在[P]没有很好的候选人，我觉得这是值得花费相当大的努力试图证明这个猜想。这种证明是在复杂性理论的重大突破。'因此，库克和即将制定了什么叫为P与NP问题。其余的就是历史。下面是1971年STOC计划（有143个参加者），什么是神圣的地面像今天的样子。“

阅读这个故事更在Slashdot。