แหล่งที่มาหลักเพื่อความเท่าเทียมกันของเวลาพหุนามที่ไม่ได้กำหนดและการตรวจสอบเวลาพหุนามที่กำหนด

ใครเป็นคนแรกที่แสดงว่าภาษาอยู่ใน NP หากใบรับรองสำหรับภาษาสามารถตรวจสอบได้ในเวลาพหุนาม เรามีกระดาษที่พิสูจน์เรื่องนี้อย่างเป็นทางการหรือไม่? ชุมชน TCS เริ่มมีการเน้นย้ำเรื่องความสามารถในการตรวจสอบได้เมื่อใด สำหรับชีวิตของฉันฉันไม่สามารถค้นหาอ้างอิงที่ดีสำหรับข้อความที่นอกเหนือจากนี้เช่น Papadimitriou และ Arora และ Barak

[ความคิดเห็นเพิ่มเติม] ฉันคิดว่า "รากฐานของการยืนยัน" มีอยู่ในเอกสารสำคัญของ Karp "การลดลงของปัญหา Combinatorial" (1972):

$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 ในแง่ของเครื่องจักรทัวริง nondeterministic ... [นิยามของการคำนวณของเครื่องจักรทัวริง nondeterministic] ...

และ

$L \in NP$$L$