什么是第一个被标记为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