Memcomputing แก้ปัญหาที่ทำให้สมบูรณ์แบบได้จริงหรือไม่?


9

ฉันเจอบทความที่ตีพิมพ์ในวิทยาศาสตร์"การจดจำปัญหา NP-complete ในเวลาพหุนามโดยใช้แหล่งข้อมูลพหุนามและสถานะส่วนรวม"ซึ่งทำให้มีการเรียกร้องที่น่าอัศจรรย์

Memcomputing เป็นกระบวนทัศน์ใหม่ที่ไม่ใช่ทัวริงของการคำนวณที่ใช้เซลล์หน่วยความจำแบบโต้ตอบ (memprocessors สำหรับช่วงสั้น ๆ ) เพื่อจัดเก็บและประมวลผลข้อมูลบนแพลตฟอร์มทางกายภาพเดียวกัน มันได้รับเมื่อเร็ว ๆ นี้ได้รับการพิสูจน์ทางคณิตศาสตร์ว่าเครื่อง memcomputing มีอำนาจการคำนวณเดียวกันของเครื่องทัวริง ดังนั้นพวกเขาสามารถแก้ปัญหา NP-complete ในเวลาพหุนามและโดยใช้สถาปัตยกรรมที่เหมาะสมโดยมีทรัพยากรที่เติบโตขึ้นเฉพาะกับพหุนามด้วยขนาดอินพุต

(ของฉันเป็นตัวเอียง)

ฉันจะยกเลิกนี้ปิดค้างคาวที่ไม่ร้ายแรงกำหนดลักษณะที่แข็งแกร่งของการเรียกร้องถ้ามันไม่ได้สำหรับความจริงที่ว่านี้ได้รับการตีพิมพ์ในวิทยาศาสตร์และวัสดุที่เกี่ยวข้องโดยบางส่วนของผู้เขียนได้รับการตีพิมพ์ในธรรมชาติฟิสิกส์ , ในวารสาร IEEEและใน Physics Review Eซึ่งทั้งหมดเป็นสิ่งพิมพ์ที่ผ่านการตรวจสอบโดยผู้มีชื่อเสียงซึ่งไม่ยอมให้การเรียกร้องดังกล่าวได้รับการเผยแพร่โดยที่พวกเขาไม่จริงจัง

จริงหรือ คนเหล่านี้สามารถแก้ปัญหา NP-complete ใน P-time โดยใช้โมเดลของพวกเขาได้หรือไม่?


1
คำตอบสำหรับคำถามสุดท้ายคือไม่ คำจำกัดความของ P ไม่ได้เปลี่ยนแปลงเพียงเพราะใครบางคนคิดค้นรูปแบบการคำนวณใหม่ที่แปลกใหม่
Emil Jeřábek

@ EmilJeřábekพวกเขาไม่เพียง แต่คิดค้นรูปแบบการคำนวณใหม่พวกเขายังอ้างว่ามันเทียบเท่ากับ NP
Alexander S King

3
คุณกำลังผสมอะไรบางอย่างเข้าด้วยกัน หากพวกเขาได้พิสูจน์แบบจำลองของพวกเขาเทียบเท่ากับ P แล้วนี่ก็แปลว่า P = NP
Sasho Nikolov

บทคัดย่อของบทความนี้ประกอบด้วยแถลงการณ์: "เมื่อไม่นานมานี้มีการพิสูจน์ทางคณิตศาสตร์แล้วว่าเครื่องบันทึกความจำนั้นมีพลังในการคำนวณเหมือนกันกับเครื่องจักรทัวริงของ nondeterministic" นี่หมายความว่าทั้งสองรุ่นสามารถแก้ไขปัญหาอัลกอริทึมแบบเดียวกันได้ มันไม่ได้หมายความว่าความซับซ้อนของเวลาพหุนามจะแปลความซับซ้อนของเวลาพหุนามอีกครั้ง
Gamow

คำตอบ:


9

ฉันรู้สึกว่าคำตอบนี้ได้รับการตอบรับอย่างเพียงพอในความคิดเห็นดังนั้นเพียงสรุปทุกอย่าง:

  • ผู้เขียนไม่ได้อ้างสิทธิ์ P = NP ซึ่งเป็นคำสั่งเกี่ยวกับเครื่องทัวริงที่กำหนดขึ้นและไม่ระบุชื่อ

  • ผู้เขียนเสนอรูปแบบของการคำนวณที่พวกเขาอ้างว่าแสดงให้เห็นว่ามีอำนาจเทียบเท่ากับเครื่องจักรทัวริงที่กำหนดไว้ล่วงหน้า

  • ผู้เขียนสร้างเครื่องทางกายภาพที่ใช้รูปแบบการคำนวณนี้สำหรับขนาดอินพุตขนาดเล็ก

  • ผู้เขียนยืนยันว่าการสร้างเวอร์ชันที่ใหญ่กว่านั้นสามารถทำให้เป็นจริงได้ / เป็นไปได้ด้วยทรัพยากรขนาดพหุนาม

  • การอ้างสิทธิ์ครั้งสุดท้ายนี้ซึ่งแน่นอนว่าไม่ได้รับการพิสูจน์แล้วและไม่ใช่คำแถลงอย่างเป็นทางการจริง ๆ แล้วจะเป็นการบ่งบอกว่าโดยทั่วไปแล้วเป็นไปได้ทางร่างกายในการแก้ปัญหา NP-complete กับทรัพยากรขนาดพหุนาม

  • Scott Aaronson ในบล็อกโพสต์อธิบายว่าทำไมการอ้างสิทธิ์ครั้งสุดท้ายนี้เป็นปัญหาและทำไมการปรับขยายของวิธีการของพวกเขาจึงมีปัญหา: http://www.scottaaronson.com/blog/?p=2212


ฉันต้องการที่จะทราบว่า ณ วันนี้ (ตุลาคม 2019) ไม่ใช่นักวิจัยคนเดียวที่ทำซ้ำตัวแก้ปัญหา NP-complete จากบทความ 2015 นี้ ยิ่งกว่านั้นในบทความ memcomputing ที่เกี่ยวข้องทั้งหมดโดยผู้เขียนคนเดียวกันไม่มีรหัสบรรทัดเดียวที่จะช่วยในการทำซ้ำตัวแก้ปัญหา NP-complete
G. Cohen
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.