익명의 독자가 흔드는 하이츠, 오하이오에있는 Stouffer의 서머셋 호텔에서 1971년 5월 4일의 오후에는 "쓰기, 스티브 쿡 Satisfiability가 NP - 완전임을와 동어 반복은 NP - 어렵다 증명하는 그의 STOC 종이를 발표했다. 'theorems는 것이 좋습니다 동어 반복은 [피]에서 흥미로운 설정되지 대한 좋은 후보이며 나는 그것이 추측을 증명하려고 상당한 노력을 투자 가치가있다 생각합니다. 이러한 증거는 복잡도 이론에서 중요한 돌파구 것입니다. ' 그래서 쿡 피 대 NP 문제라고 불러 곧 있었는지 책정되었다. 나머지는 역사이다. 여기 1971 STOC 프로그램의 (143 참가자 있었다)과 무슨 신성한 땅 오늘은 것 같습니다. "
소설이 읽기 더 Slashdot에에.
댓글 없음:
댓글 쓰기