스티븐 쿡

Stephen Cook
스티븐 쿡과 혼동하지 않기.
스티븐 쿡(Stephen Cook)이라는 이름의 다른 사람들은 스티븐 쿡(stephen Cook)을 참조하십시오.
스티븐 쿡

OC OOnt
2008년 요리
태어난
스티븐 아서 쿡

(1939-12-14) 1939년 12월 14일 (83세)
버팔로
모교하버드 대학교
미시간 대학교
유명함NP 완전성
명제적 증명 복잡도
쿡-레빈 정리
시상식
과학경력
필드컴퓨터 사이언스
인스티튜트스토론토 대학교
캘리포니아 대학교 버클리
논문함수의 최소 계산시간에 대하여 (1966)
박사 지도교수하오왕
박사과정생마크 브레이버먼[1]
토니안 피타시
월터 사비치
아르빈드 굽타
안나 루비우

스티븐 아서 쿡(Stephen Arthur Cook OOOnt, 1939년 12월 14일 ~ )은 미국과 캐나다의 컴퓨터 과학자이자 수학자로 복잡도 이론과 증명 복잡도 분야에 지대한 공헌을 했습니다.그는 토론토 대학, 컴퓨터 과학과, 수학과의 대학 교수입니다.

그는 계산 복잡도 이론의 선조 중 한 명으로 여겨집니다.

전기

1968년요리

쿡은 1961년 미시간 대학교에서 학사 학위를 받았고, 1962년과 1966년에 각각 하버드 대학교에서 석사 학위와 박사 학위를 수학과에서 받았습니다.[2]그는 1966년에 조교수로 캘리포니아 대학교 버클리 수학과에 들어갔고 1970년까지 재임명이 거부될 때까지 그곳에 머물렀습니다.버클리 전기공학과 컴퓨터과학부의 30주년을 축하하는 연설에서, 동료 튜링상 수상자이자 버클리 교수인 리차드 카프는 "우리가 수학과에 그에게 종신 재직권을 주도록 설득하지 못한 것은 우리의 영원한 수치입니다"[3]라고 말했습니다.1970년 토론토 대학교 컴퓨터과학과 수학과의 부교수로 합류하여 1975년 교수로 승진하였고 1985년에는 저명한 교수로 승진하였습니다.

조사.

박사과정 동안 쿡은 주로 곱셈에 관한 함수의 복잡성에 대해 연구했습니다.1971년 그의 중요한 논문 "정리 증명 절차의 복잡성"에서 [4]쿡은 다항 시간 감소(쿡 감소라고도 함)와 NP 완전성의 개념을 공식화하고 부울 만족도 문제(보통 SAT라고 함)가 NP 완전성임을 보여줌으로써 NP 완전성 문제의 존재를 증명했습니다.이 정리는 소련의 레오니트 레빈에 의해 독립적으로 증명되었고, 따라서 쿡-레빈 정리라는 이름이 붙여졌습니다.그 논문은 또한 컴퓨터 과학에서 가장 유명한 문제인 P 대 NP 문제를 공식화했습니다.비공식적으로, "P vs. NP" 질문은 정답이 정확성/최적성에 대해 효율적으로 검증될 수 있는 모든 최적화 문제가 효율적인 알고리즘으로 최적으로 해결될 수 있는지를 묻습니다.일상 생활에서 그러한 최적화 문제가 풍부하다는 것을 고려할 때, "P vs. NP" 질문에 대한 긍정적인 답변은 실질적이고 철학적인 깊은 결과를 가져올 것입니다.

쿡은 효율적인 알고리즘으로 해결할 수 없는 최적화 문제(쉽게 확인할 수 있는 솔루션으로)가 있다고 추측합니다. 즉, P는 NP와 같지 않습니다.이 추측은 계산 복잡도 이론에서 많은 연구를 발생시켰고, 이는 계산 문제의 고유한 난이도와 효율적으로 계산될 수 있는 것에 대한 우리의 이해를 상당히 향상시켰습니다.그러나, 이 추측은 여전히 열려 있으며 7개의 유명한 밀레니엄 상 문제 중 하나입니다.[5][6]

1982년, 쿡은 복잡성 이론에 대한 그의 공헌으로 튜링 상을 받았습니다.그의 인용문은 다음과 같습니다.

계산의 복잡성에 대한 우리의 이해를 의미 있고 심오한 방식으로 발전시킨 그를 위해.1971년 컴퓨팅 이론에 관한 ACM SIGACT 심포지엄에서 발표된 그의 중요한 논문인 The Complexity of Theorem Procedures는 NP-완전성 이론의 기초를 마련했습니다.NP-완전 클래스 문제의 경계와 본질에 대한 후속 탐구는 지난 10년간 컴퓨터 과학에서 가장 활발하고 중요한 연구 활동 중 하나였습니다.

1975년에 출판된 그의 "타당하게 구성되는 증명과 명제 연산"[7] 논문에서, 그는 다항 시간 개념만을 사용하여 증명의 개념을 공식화하기 위한 등식 이론 PV(standing for Polymonial-time Verifiable)를 소개했습니다.그는 1979년 그의 논문에서 그의 제자 로버트 A와 공동으로 그 분야에 또 하나의 큰 공헌을 했습니다. Reckhow, "명제적 증명 시스템의 상대적 효율성", [8]그들은 p-시뮬레이션과 효율적인명제적 증명 시스템의 개념을 공식화했고, 이것은 이제 명제적 증명 복잡성이라고 불리는 영역을 시작했습니다.그들은 모든 참 공식이 짧은 증명을 갖는 증명 시스템의 존재가 NP = coNP와 동등하다는 것을 증명했습니다.쿡은 이 분야에서 "증명 복잡성의 논리적 기초"라는 제목의 책을 그의 제자인 Phuong The Nguyen과 공동 집필했습니다.[9]

그의 주요 연구 분야는 프로그래밍 언어 의미론, 병렬 계산 및 인공 지능에 대한 탐색과 함께 복잡성 이론 및 증명 복잡성입니다.그가 기여한 다른 분야로는 유계 산술, 유계 역수학, 상위 유형 함수의 복잡성, 분석의 복잡성, 명제 증명 시스템의 하한 등이 있습니다.

기타 기부금

그는 Nick Pippenger의 이름을 따서 complex class NC라고 이름 지었습니다.복잡도 클래스 SC는 그의 이름을 따서 지어졌습니다.[10]복잡성 클래스0 AC의 정의와 그 계층 AC도 그에 의해 소개됩니다.[11]

돈 크누스(Don Knuth)에 따르면 KMP 알고리즘은 쿡(Cook)의 오토마타(automata)에서 영감을 받아 선형 시간으로 연결된 회랑을 인식합니다.[12]

상훈

쿡은 NSERC E.W.R.을 받았습니다.1977년 Steacie Memorial Fellowship, 1982년 Killam Research Fellowship, 1999년 CRM-Fields-PIMS 상을 받았습니다.그는 존 L. 싱게 상과 버나드 볼자노 메달을 수상했으며, 런던 왕립 학회와 캐나다 왕립 학회의 회원입니다.쿡은 미국 국립 과학 아카데미와 미국 예술 과학 아카데미의 회원으로 선출되었습니다.그는 괴팅겐 과학 및 인문학 아카데미의 해당 회원입니다.

쿡은 1982년 ACM 튜링 상을 수상했습니다.계산 복잡도 이론에 대한 근본적인 기여를 한 공로로 2008년 ACM의 회원으로 선정되었습니다.[13]그는 1999년 상징 논리학 협회에 의해 괴델 강연자로 선정되었습니다.[14]

온타리오 주 정부는 2013년 그를 온타리오 주에서 가장 높은 영예인 온타리오 훈장으로 임명했습니다.[15]그는 2012년 게르하르트 헤르츠버그 캐나다 과학 및 공학 부문 금상을 수상했습니다.[16]허즈버그 메달은 NSERC가 "캐나다에서 자연과학 또는 공학 분야에서 수행된 연구 작업의 지속적인 우수성과 전반적인 영향력"에 대해 수여합니다.[17]그는 2015년에 캐나다 훈장의 장교로 임명되었습니다.[18]

Cook은 "컴퓨터가 효율적으로 해결할 수 있는 것과 해결할 수 없는 것을 파악하는 데 중요한 역할을 한 공로"로 2015년 BBVA Foundation Frontiers of Knowledge Award를 수상했습니다.그의 작업은 "복잡한 계산이 중요한 모든 분야에서 극적인 영향을 미쳤다"고 계속되고 있습니다.

쿡은 수많은 이학 석사 과정 학생들을 지도했고, 그의 지도 아래 36명의 박사 과정 학생들이 학위를 마쳤습니다.[1]

개인생활

쿡은 토론토에서 아내와 함께 살고 있습니다.그들에게는 고든과 제임스라는 두 아들이 있습니다.[19]그는 바이올린을 연주하고 항해를 즐깁니다.그는 종종 그의 짧은 이름인 스티브 쿡으로 불립니다.[citation needed]


참고 항목

참고문헌

  1. ^ a b 수학 계보 프로젝트의 스티븐 쿡
  2. ^ Kapron, Bruce. "Stephen Arthur Cook". A. M. Turing Award. Retrieved October 23, 2018.
  3. ^ Richard Karp (2003). "A Personal View of Computer Science at Berkeley". University of California Berkeley. Retrieved February 12, 2023.
  4. ^ Stephen Cook (1971), The Complexity of Theorem Proving Procedures (PDF) – via University of Toronto
    Stephen A. Cook (2009) [1971]. "The Complexity of Theorem-Proving Procedures". Retrieved February 12, 2023.
  5. ^ 2013년 10월 14일 Wayback Machine 문제 on Millennium Prize Problems 페이지 – Clay Mathematics Institute
  6. ^ 2007년 9월 27일 웨이백 머신 문제 공식 설명에서 스티븐 쿡이 밀레니엄 프라이즈 문제에 대해 보관함
  7. ^ Cook, Stephen A. (May 5, 1975). "Feasibly constructive proofs and the propositional calculus (Preliminary Version)". Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75. STOC '75. New York: Association for Computing Machinery. pp. 83–97. doi:10.1145/800116.803756. ISBN 978-1-4503-7419-4. S2CID 13309619.
  8. ^ Cook, Stephen A.; Reckhow, Robert A. (1979). "The Relative Efficiency of Propositional Proof Systems". The Journal of Symbolic Logic. 44 (1): 36–50. doi:10.2307/2273702. ISSN 0022-4812. JSTOR 2273702. S2CID 2187041.
  9. ^ '복잡함의 논리적 기초' 공식 페이지
  10. ^ ""Steve's class": origin of SC". Theoretical Computer Science – Stack Exchange.
  11. ^ "Who introduced the complexity class AC?". Theoretical Computer Science – Stack Exchange.
  12. ^ "Twenty Questions for Donald Knuth".
  13. ^ Association for Computing Machinery. "Stephen A Cook". awards.acm.org. Retrieved February 12, 2023.
  14. ^ "Gödel Lecturers – Association for Symbolic Logic". Retrieved November 8, 2021.
  15. ^ "25 Appointees Named to Ontario's Highest Honour". Ministry of Citizenship and Immigration.
  16. ^ Emily, Chung (February 27, 2013). "Computer scientist wins Canada's top science prize". cbc.ca. Retrieved February 27, 2013.
  17. ^ "Current Winner – 2012 – Stephen Cook". June 28, 2016.
  18. ^ "SaltWire Halifax". www.saltwire.com. Retrieved February 12, 2023.
  19. ^ "Stephen A. Cook – Home Page".

외부 링크

위키미디어 커먼즈에는 스티븐 쿡과 관련된 미디어가 있습니다.