비 결정적 계산을 누가 도입 했습니까?

두 가지 역사적 질문이 있습니다.

누가 비 결정적 계산을 처음 설명했습니까?

Cook은 NP-complete 문제를 설명했으며 Edmonds는 P 알고리즘이 "효율적"또는 "좋은"알고리즘이라고 제안했습니다.

이 위키피디아 기사를 검색 하고 "계산의 복잡성 알고리즘"을 훑어 보았지만 비결정론 적 계산이 처음 논의 된 시점에 대한 언급을 찾을 수 없었습니다.

NP 클래스에 대한 첫 번째 참조는 무엇입니까? 쿡의 1971 년 신문입니까?

나는 항상 Michael Rabin과 Dana Scott에 의한 계산에서 비결정론이라는 개념을 보았습니다. 그들은 자신의 유명한 논문에서 비 결정적 유한 오토마타를 정의 유한 오토마타와 그들의 의사 결정 문제 , 1959 년 라빈의 튜링 상 표창장은 또한 라빈과 스콧이 결정적 기계를 도입 제안합니다.

이 문제에 대해 Odifreddi가 말한 내용은 다음과 같습니다.

"Turing 기계의 우리의 모델은 명령이 일관성이 있어야한다는 의미에서 결정 론적입니다. (대부분의 상황에서 주어진 명령 중 대부분이 적용 가능합니다.) 컴퓨팅 장치의 무작위 요소는 Shannon에 의해 초기에 소개되었습니다 [1948] De Leeuw, Moore, Shannon 및 Shapiro [1956] 기본적으로 두 가지 모델이 있습니다. 비결정론 적 튜링 머신은 충돌 명령이 적용될 수있는 모호한 상황에서 그 중 하나를 무작위로 선택하여 작동합니다. 1- 값 함수 (집합)는 결정 론적 힘의 힘을 초과하지 않습니다. 확률 론적 기계는 다음 상태가 확률을 갖는다는 점에서 비결정론 적 기법과 다르므로 충돌하는 명령은 기계에 의해 선택 될 가능성이 동일하지 않습니다. "
[피. 오디 프레디, 고전 재귀 이론, Vol. 1, 페이지 50]

"존재 + 검증 자"라는 의미에서 비결정론의 개념은 복잡한 이론, 예를 들어 Kleene의 정규 형식 , 산술적 계층 구조 이전의 계산 이론에 존재했다 . Post 표준 시스템 (1943 년 이후로 알려진) 및 문법과 같은 다른 계산 모델 도 비 결정적입니다. 힐버트의 엡실론 미적분학 과 선택 연산자 의 시대에이 개념을 적용 할 수 있다고 생각 합니다.

NP에 대해 Steve Cook에게 물었습니다. 비 결정적 다항식 시간 계산 문제 클래스의 NP라는 이름은 Richard Karp가 그의 유명한 1972 년 논문에서 소개했습니다. Cook은 유명한 1971 년 논문에서 다항식 시간 단축을 정의하고 완전한 문제가 있지만 클래스에 이름을주지 않고 있음을 보여주는 다항식 시간 비 결정적 튜링 기계 계산 문제의 클래스를 말합니다.

그의 논문 이전에는 비 결정적 튜링 머신이 다항식 시간에 계산할 수있는 문제에 대한 관심이 많지 않았으며, Karp의 논문 이후에만 NP에 많은 자연 문제가 있음이 분명해졌습니다. Cook의 논문 이후 일부 사람들이 관심을 보였으며 특히 Karp의 논문이 나오기 전에 일찍 관심을 보인 두 사람은 Michael Rabin 과 Allan Borodin 이었다.

Karp의 1972 년 논문은 사람들에게 NP- 완전성이 얼마나 자연스러운 문제인지를 보여줌으로써 사람들을 놀라게했습니다.

Rabin 과 Scott 은 1959 년 4 월 IBM 저널에 발표 된 연구 논문과 함께 비결정론 적 유한 오토마타를 소개했습니다.

우리는 복잡한 출력 기능을 없애고 기계가 단순히“예”또는“아니오”라고 대답함으로써 더 단순한 형태의 정의를 채택했습니다. 이것은 Myhill에서도 사용되었지만 “비 결정적”,“ 양방향”및“많은 테이프”기계 에 대한 우리의 일반화 는 새로운 것처럼 보입니다 .

전체 논문은 여기에서 볼 수 있습니다 : http://www.cse.chalmers.se/~coquand/AUTOMATA/rs.pdf