스티븐 쿡

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
Stephen Arthur Cook

스티븐 아서 쿡(Stephen Arthur Cook, 1939년 12월 14일~ )은 미국전산학자이다.

1971년 ACM 《SIGACT Symposium on the Theory of Computing》에 실린 논문 〈The Complexity of Theorem Proving Procedures〉에서 NP-완전의 개념을 확립한 것으로 유명하다. 이 논문에 들어있는 쿡의 정리충족 가능성 문제가 NP-완전임을 증명하는 것이다. 이 논문에서 P와 NP가 같은지를 질문했는데, 이 질문은 컴퓨터 과학의 가장 중요한 문제이며, 수많은 사람들이 연구하고 있으나 아직도 해결되지 않았다.

경력[편집]

바깥 고리[편집]