스티븐 쿡
NP-완전이라는 개념은 1971년에 스티븐 쿡이 제시했지만, 그가 용어를 처음 만든 것은 아니다. 쿡은 충족 가능성 문제(SAT)가 위 정의의 두 가지 조건을 모두 만족한다는 것을 증명했다(쿡-레빈 정리). 1972년에 리처드 카프는 21가지의 다른 문제들도 마찬가지로 위 두 가지 조건을 만족한다는 것을 증명했다. 쿡이 최초의 NP-완전 문제를 발견한 이후로, 많은 사람들이 NP-완전 문제라고 이미 알려진 문제로부터 환산하는 방법으로 수많은 문제들 역시 NP-완전임을 증명했다. 게리와 존슨이 1979년에 Computers and Intractability: A Guide to NP-Completeness를 통해 여러 NP-완전 문제들을 소개하였다.
1971년에 NP-완전이라는 개념을 제시한 사람이 누구야
NP-완전