ฉันมีคำถามเชิงประวัติศาสตร์สองข้อ:
ใครเป็นคนแรกที่อธิบายการคำนวณแบบ nondeterministic
ฉันรู้ว่า Cook อธิบายปัญหาที่เกิดขึ้นกับ NP และ Edmonds เสนอว่าอัลกอริธึม P เป็นอัลกอริธึม "ประสิทธิภาพ" หรือ "ดี"
ฉันค้นหานี้บทความวิกิพีเดียและไขมันต่ำ "ในการคำนวณความซับซ้อนของอัลกอริทึม" แต่ไม่พบการอ้างอิงถึงเมื่อคำนวณ nondeterministic ถูกกล่าวถึงครั้งแรก
การอ้างอิงแรกไปยังคลาส NP คืออะไร มันเป็นกระดาษ 1971 ของ Cook หรือไม่
5
NP ถูกประดิษฐ์ขึ้นพร้อมกันมากขึ้นหรือน้อยลงโดย Levin ที่อีกด้านหนึ่งของม่านเหล็ก นอกจาก Edmonds, Rabin และ Cobham (แยกกัน) เช่นกัน "แนะนำ" P แม้ว่า Edmonds อาจจะมีประสิทธิภาพมากที่สุดในการพิสูจน์มุมมองของ P ว่า "ประสิทธิภาพ"
—
Joshua Grochow
กระดาษ Karps 1972ถือเป็นจุดเปลี่ยนสำคัญสำหรับกระดาษ Cooks ซึ่งแสดงให้เห็นว่าปัญหาหลายอย่างเกิดขึ้นอย่างสมบูรณ์ ในแง่หนึ่งคุกเพียงแสดงให้เห็นว่า SAT นั้นสมบูรณ์และไม่ชัดเจนหลังจากกระดาษว่าแนวคิดที่ครอบคลุมอาจเป็นอย่างไร
—
vzn
(คิดเพิ่มเติมสั้น ๆ ) ดังนั้นทั้งสองเอกสาร Cook / Karp เป็นเหมือน "1-2 หมัด" ในชุมชน TCS / ความเข้าใจร่วมกัน เช่นเดียวกันกับคำถามเชิงประวัติศาสตร์เช่นนี้บางครั้งแนวคิดก็คือ "ในอากาศ" ในเวลานั้น & ไม่มีคำตอบที่ไม่ซ้ำกัน / แตกหักเพียงคำตอบเดียว อีกที่ที่ควรมองคือกระดาษ Turings 1936 ใน TMs ไม่เคยเห็นใครวิเคราะห์ / แยกแยะกฎเด็ดขาดว่าไม่มีสิ่งใดในกระดาษยาวที่เข้ามาใกล้กับลัทธิไร้เดียงสา
—
vzn
เป็นที่น่าสนใจที่จะทราบว่า Godel ตระหนักถึงความสำคัญของความซับซ้อนและอาจมองล่วงหน้าว่า P เป็น "อัลกอริธึม" ที่มีประสิทธิภาพ rjlipton.wordpress.com/the-gdel-letter
—
evanb