Stephen Cook is considered one of t

Stephen Cook is considered one of the forefathers of computational complexity theory.

During his PhD, Cook worked on complexity of functions, mainly on multiplication. In his seminal 1971 paper "The Complexity of Theorem Proving Procedures",[2][3] Cook formalized the notions of polynomial-time reduction (a.k.a. Cook reduction) and NP-completeness, and proved the existence of an NP-complete problem by showing that the Boolean satisfiability problem (usually known as SAT) is NP-complete. This theorem was proven independently by Leonid Levin in the Soviet Union, and has thus been given the name the Cook-Levin theorem. The paper also formulated the most famous problem in computer science, the P vs. NP problem. Informally, the "P vs. NP" question asks whether every optimization problem whose answers can be efficiently verified for correctness/optimality can be solved optimally with an efficient algorithm. Given the abundance of such optimization problems in everyday life, a positive answer to the "P vs. NP" question would likely have profound practical and philosophical consequences.

Cook conjectures that there are optimization problems (with easily checkable solutions) which cannot be solved by efficient algorithms, i.e., P is not equal to NP. This conjecture has generated a great deal of research in computational complexity theory, which has considerably improved our understanding of the inherent difficulty of computational problems and what can be computed efficiently. Yet, the conjecture remains open and is among the seven famous Millennium Prize Problems.[4][5]

In 1982, Cook received the prestigious Turing award for his contributions to complexity theory. His citation reads:

ผลลัพธ์ (ไทย) 1:

Stephen คุกถือเป็นหนึ่งของบรรพบุรุษของทฤษฎีความซับซ้อนที่คำนวณระหว่างปริญญาเอก คุกทำงานบนความซับซ้อนของฟังก์ชัน หลักในการคูณ ในปี 1971 เขาบรรลุถึงกระดาษ "ความซับซ้อนของทฤษฎีบทพิสูจน์ขั้นตอน", [2] [3] คุก formalized ความเข้าใจพหุนามเวลาลด (หรือเวสท์วูดลดอาหาร) และ NP-สมบูรณ์ และพิสูจน์การมีอยู่ของปัญหาการทำ NP แสดงปัญหาบูล (รู้จักกันมักจะเป็นวันเสาร์) ที่เป็น NP เสร็จสมบูรณ์ ทฤษฎีบทนี้ถูกพิสูจน์อย่างเป็นอิสระ โดยวินในสหภาพโซเวียต และมีดังนั้นการกำหนดทฤษฎีบทชื่อ Levin คุก กระดาษยังสูตรปัญหาแห่งวิทยาการคอมพิวเตอร์ ปัญหา P เทียบกับ NP อย่าง "P เทียบกับ NP" คำถามถามว่า ปัญหาเพิ่มประสิทธิภาพทุกคำตอบคุณสามารถได้อย่างมีประสิทธิภาพตรวจสอบสำหรับความถูก ต้อง/optimality สามารถแก้ไขได้อย่างเหมาะสมกับอัลกอริทึมมีประสิทธิภาพ ให้มากมายเช่นปัญหาการเพิ่มประสิทธิภาพในชีวิตประจำวัน ตอบคำถาม "P เทียบกับ NP" จะมีผลในทางปฏิบัติ และปรัชญาที่ลึกซึ้งConjectures คุกที่มีปัญหาปรับให้เหมาะสม (กับโซลูชั่นง่าย ๆ checkable) ซึ่งไม่สามารถแก้ไขได้ ด้วยอัลกอริทึมที่มีประสิทธิภาพ เช่น P ไม่เท่ากับ NP ข้อความคาดการณ์นี้ได้สร้างวิจัยมากในทฤษฎีความซับซ้อนเชิงคำนวณ ซึ่งมีการปรับปรุงมากเราเข้าใจยากแต่กำเนิดปัญหาการคำนวณและสิ่งสามารถจะคำนวณได้อย่างมีประสิทธิภาพ ยัง ข้อความคาดการณ์ยังคงเปิด และเป็นหนึ่งในเจ็ดมีชื่อเสียงมิลเลนเนียมรางวัลปัญหา [4] [5]อาหารได้รับรางวัลทัวริงอันทรงเกียรติสำหรับผลงานของเขากับทฤษฎีความซับซ้อนใน 1982 อ่านของเขาอ้างอิง:

ผลลัพธ์ (ไทย) 2:

คุกสตีเฟ่นถือเป็นหนึ่งในบรรพบุรุษของทฤษฎีความซับซ้อนของคอมพิวเตอร์. ในช่วงปริญญาเอกคุกทำงานกับความซับซ้อนของฟังก์ชั่นหลักในการคูณ ในน้ำเชื้อ 1971 กระดาษของเขา "ความซับซ้อนของขั้นตอนการพิสูจน์ทฤษฎีบท" [2] [3] คุกกรงเล็บความคิดของการลดเวลาพหุนาม (aka ลดคุก) และ NP-ครบถ้วนเป็นที่พิสูจน์แล้วว่าการดำรงอยู่ของปัญหาเอ็นพีบริบูรณ์โดย แสดงให้เห็นว่าปัญหา satisfiability บูลีน (ที่รู้จักกันมักจะเป็น SAT) เป็นเอ็นพีบริบูรณ์ ทฤษฎีบทนี้ได้รับการพิสูจน์อย่างอิสระโดย Leonid เลวินในสหภาพโซเวียตและได้รับจึงได้รับชื่อทฤษฎีบทคุกเลวิน กระดาษยังสูตรปัญหาที่มีชื่อเสียงที่สุดในสาขาวิทยาศาสตร์คอมพิวเตอร์, P เทียบกับปัญหา NP ทางการ "P เทียบกับ NP" คำถามถามว่าปัญหาการเพิ่มประสิทธิภาพที่มีทุกคำตอบที่สามารถตรวจสอบได้อย่างมีประสิทธิภาพถูกต้อง / optimality จะสามารถแก้ไขได้อย่างเหมาะสมกับขั้นตอนวิธีการที่มีประสิทธิภาพ ได้รับความอุดมสมบูรณ์ของปัญหาการเพิ่มประสิทธิภาพดังกล่าวในชีวิตประจำวันได้คำตอบในเชิงบวกต่อ "P เทียบกับ NP" คำถามมีแนวโน้มว่าจะมีผลกระทบในทางปฏิบัติและปรัชญาที่ลึกซึ้ง. คุกคาดเดาว่ามีปัญหาการเพิ่มประสิทธิภาพ (กับการแก้ปัญหาได้อย่างง่ายดาย checkable) ซึ่งไม่สามารถแก้ไขได้โดยการ กลไกที่มีประสิทธิภาพคือ P ไม่เท่ากับ NP การคาดเดานี้ได้สร้างการจัดการที่ดีของการวิจัยในทฤษฎีความซับซ้อนของคอมพิวเตอร์ซึ่งมีการปรับปรุงอย่างมากความเข้าใจของเรายากลำบากโดยธรรมชาติของปัญหาการประมวลผลและสิ่งที่สามารถคำนวณได้อย่างมีประสิทธิภาพ แต่ยังคงเปิดการคาดเดาและเป็นหนึ่งในเจ็ดที่มีชื่อเสียงได้รับรางวัลมิลเลนเนียมปัญหา. [4] [5] ในปี 1982 คุกได้รับรางวัลอันทรงเกียรติทัวริงสำหรับผลงานของเขากับทฤษฎีความซับซ้อน การอ้างอิงของเขาอ่าน:

ผลลัพธ์ (ไทย) 3:

สตีเฟนคุกถือเป็นหนึ่งของบรรพบุรุษของทฤษฎีความซับซ้อน

ตอนปริญญาเอกของเขา แม่ครัว ทำงานบนความซับซ้อนของฟังก์ชันหลักในการคูณ ในการสัมมนา 1971 กระดาษ " ความซับซ้อนของขั้นตอนการพิสูจน์ทฤษฎีบท " [ 2 ] [ 3 ] ปรุงอาหารคราวความคิดของการลดเวลาพหุนาม ( ลดอาหาร aka ) และ NP สมบูรณ์และพิสูจน์การดำรงอยู่ของปัญหา NP สมบูรณ์ โดยแสดงให้เห็นว่าปัญหาความสอดคล้องแบบบูล ( มักจะเรียกว่านั่ง ) เป็นเอ็นพีสมบูรณ์ พิสูจน์ทฤษฎีบทนี้ได้อย่างอิสระโดยเลโอนิดเลวินในสหภาพโซเวียต และจึงได้รับชื่อกุ๊ก เลวินทฤษฎีบท กระดาษยังกำหนดปัญหาที่มีชื่อเสียงที่สุดในวิทยาศาสตร์คอมพิวเตอร์ , ปัญหา P vs NP ไม่เป็นทางการ , " p ." คำถามที่ถามว่า ทุกการเพิ่มประสิทธิภาพของปัญหาที่มีคำตอบสามารถมีประสิทธิภาพตรวจสอบความถูกต้อง / optimality สามารถแก้ไขได้อย่างเหมาะสมกับอัลกอริทึมที่มีประสิทธิภาพ ได้รับความอุดมสมบูรณ์ของปัญหาที่เหมาะสม เช่น ในชีวิตประจําวัน , คําตอบที่เป็นบวก " P vs NP " คำถามน่าจะมีผลในทางปฏิบัติและ

ปรัชญาลึกซึ้งปรุงอาหารคาดเดาว่ามีปัญหาการเพิ่มประสิทธิภาพ ( เช็คเอาต์ได้อย่างง่ายดาย ด้วยโซลูชั่น ) ซึ่งไม่สามารถแก้ไขได้ โดยมีประสิทธิภาพขั้นตอนวิธีคือ P ไม่เท่ากับ NP การคาดเดานี้ได้สร้างการจัดการที่ดีของการวิจัยในทฤษฎีความซับซ้อนในการคำนวณ ซึ่งมีการปรับปรุงอย่างมากของเราความเข้าใจของปัญหาที่แท้จริงของปัญหาคอมพิวเตอร์และสิ่งที่สามารถคำนวณได้อย่างมีประสิทธิภาพแต่การคาดเดาที่ยังคงเปิดและเป็นหนึ่งในเจ็ดที่มีชื่อเสียงรางวัลสหัสวรรษปัญหา [ 4 ] [ 5 ]

ใน 1982 , ปรุงอาหารได้รับเกียรติรางวัลทัวริ่งสำหรับผลงานของเขากับทฤษฎีซับซ้อน การอ้างอิงของเขาอ่าน :