什么是第一个被称为NP Complete的算法？

Question

应该有一个最初的问题开始建立一套NPC问题。只有这样才能将问题添加到集合NPC中，从集合NP中显示出NP中的问题可以简化为NPC中的第一个问题。那么，什么是第一个被添加到NPC的问题，以及某个人是如何得出结论的，那就是确实是NPC。

（注：谷歌搜索，没有回答，我希望这里有人的教授曾提到在课堂上是这样的。）

Answer 1

这是一个可满足或SAT问题。

历史：
http://en.wikipedia.org/wiki/Boolean_satisfiability_problem

证明：
http://www.proofwiki.org/wiki/CNF_SAT_is_NP-complete