비 결정적 다항식 시간과 결정 론적 다항식 시간 검증의 동등성에 대한 1 차 소스

다항식 시간에 언어 인증서를 확인할 수있는 경우 언어가 NP에 있음을 가장 먼저 표시 한 사람은 누구입니까? 공식적으로 이것을 증명하는 종이가 있습니까? TCS 커뮤니티는 언제 검증 가능성을 위해 비결정론을 강조하지 않았습니까? 나는 내 인생에서 Papadimitriou와 Arora와 Barak와 같은 텍스트를 넘어서서 이것에 대한 좋은 언급을 찾을 수 없다.

[확장 된 의견] "확인의 뿌리"는 이미 Karp의 이정표 인 "조합 적 문제 사이의 완화"(1972)에 포함되어 있다고 생각합니다.

...
하자 부분 집합의 클래스 나타내는 Σ * × Σ * 다항식 시간에 알아볼 수 있습니다. 주어 L ( 2 ) ∈ P ( 2 ) 와 다항식 P , 우리는 정의 L를 다음과 같이$P^{(2)}$$\Sigma^* \times \Sigma^*$$L^{(2)} \in P^{(2)}$$p$$L$

$L = \{ x \mid$$y$$\langle x,y \rangle \in L^{(2)}$$\log(y) \leq p(\log(x)) \}$

$y$

$L$$L^{(2)}$$p$

$NP$$P^{(2)}$

비 결정적 튜링 기계와 관련하여 NP의 대안적인 특성이 있습니다 ... [ 비결정론 적 튜링 기계 의 계산 정의] ...

과

$L \in NP$$L$