4 백명의 대학생들을 대상으로 주택 숙박 시설을 조직하고 있다고 가정합니다. 공간이 제한되어 있으며 학생 중 100 명만이 기숙사에있는 장소를 받게됩니다. 을 복잡하게 중요한,이 학장은 제공된 당신의 목록과 함께 쌍의 호환되지 않는 학생들,그리고 요청이 없는 한 쌍에서 이 목록에 나타나신의 최종 선택입니다., 이것은 무엇을 컴퓨터 과학자들 전화는 NP-는 문제 때문에,그것은 쉽게 확인하려면 지정된 하나의 선택백 학생들에 의해 제안 동료로 만족(즉,쌍 촬영에서 동료”의 목록 또한 목록에서”s office),그러나 작업의 생성은 처음부터 목록을 것 같다 너무 힘으로 완전히 비실용적이다. 실제로,총 방법 중 하나를 선택하는 백에서 학생들에 네 백 지원자보다 큰 원자의 수에서 알려져 있습니다., 따라서 미래 문명 수를 구축 할 수 있도록 노력하겠습니다 슈퍼컴퓨터를 해결할 수 있는 문제 by brute force;즉,에 의해 확인 가능한 모든 조합의 100 학생입니다. 그러나이 명백한 어려움은 프로그래머의 독창성 부족만을 반영 할 수 있습니다. 사실,하나의 뛰어난 문제를 컴퓨터에서 과학 여부를 결정하기 질문이 존재하는 응답 수 있는 신속하게 확인하지만,필요로 하는 엄청나게 긴 시간을 해결하기 위해 어떤 직접적인 절차입니다., 문제를 위에 나열된 것과 같은 확실히 될 것이 이런 종류의,하지만 지금까지 아무도 처리했음을 증명하는 그들이 정말로 그를 바탕으로 나타나,즉,는 정말 없이 가능한 방법을 생성하는 응답의 도움으로 컴퓨터입니다. Stephen Cook 과 Leonid Levin 은 1971 년에 p(즉,쉽게 찾을 수 있음)대 np(즉,쉽게 확인할 수 있음)문제를 독립적으로 공식화했습니다.
이미지 제공:왼쪽,Jiří Janíček(자른)의 Stephen Cook. CC BY-SA3.0