ความโกลาหลและคำถาม


18

ฉันสนใจที่จะเรียนรู้การเชื่อมต่อระหว่าง "ความโกลาหล" หรือในวงกว้างระบบพลวัตและคำถามนี่คือตัวอย่างของวรรณกรรมที่ฉันกำลังค้นหา:P=NP

Ercsey-Ravasz, MáriaและZoltán Toroczkai "ความแข็งของการหาค่าเหมาะที่สุดเป็นความโกลาหลชั่วคราวในวิธีอะนาล็อกเพื่อความพึงพอใจที่ จำกัด " ธรรมชาติของฟิสิกส์ 7 12 (2011): 966-970 ( ลิงก์วารสาร )

มีใครเขียนแบบสำรวจหรือทำบทสรุปบรรณานุกรม?


2
มันเป็นเรื่องใหม่ / แปลกใหม่ / เป็นประวัติการณ์ในปัญหาในเวลา บางทีวิธีไปคือดูการอ้างอิง คุณจะสนใจปัญหาที่สมบูรณ์แบบของ NP ในระบบพลวัตหรือไม่ อาจมีบางส่วนออกจากที่นั่น ...
vzn

1
@vzn: "ในเวลา" ไม่นานที่ผ่านมา! ใช่ฉันจะสนใจปัญหา NPC ในระบบพลวัต แต่สิ่งที่ฉันเป็นจริงหลังจากนั้นคือคำถามของระบบพลวัตที่อาจทำให้เกิดความกระจ่างเกี่ยวกับคำถามP=NP
Joseph O'Rourke

2
ระบบไดนามิคจัดการกับจำนวนจริงซึ่งทำให้ยากที่จะสัมพันธ์กับ P กับ NP มีงานบางอย่างเกี่ยวกับความซับซ้อนของระบบพลวัตและสมการเชิงอนุพันธ์เช่นตรวจสอบวิทยานิพนธ์ของ Mark Braverman
Kaveh

2
เซลลูล่าร์ออโตมาต้าเป็นระบบพลวัตที่โดยปกติจะใช้ระบบเลขศูนย์ หากคุณสามารถแสดงให้เห็นว่า CA นั้นไม่สามารถย้อนกลับได้โดยนิยามมันเป็นฟังก์ชั่นทางเดียวซึ่งเป็นคำสั่งที่แข็งแกร่งกว่า P! = NP
William Hird

2
@vzn: อันที่จริงแล้ว vzn คุณมีรายการลิงก์ที่เป็นประโยชน์ในบล็อกของคุณที่นี่ในเรื่องเศษส่วนและการคำนวณ เช่น "มิติเศษส่วนกับความซับซ้อนในการคำนวณ"
Joseph O'Rourke

คำตอบ:


6

กระดาษที่คุณอ้างถึงโดยErcsey-Ravasz, Toroczkaicrosscutting มาก มันพอดีกับ / สัมผัสกับหลายบรรทัดของการวิจัยปัญหาที่สมบูรณ์ / ความซับซ้อน / ความแข็ง การเชื่อมต่อกับฟิสิกส์เชิงสถิติและแว่นตาหมุนได้ถูกค้นพบส่วนใหญ่ผ่าน "ช่วงการเปลี่ยนภาพ" ในช่วงกลางปี ​​1990 และนั่นนำไปสู่การทำงานที่มีขนาดใหญ่ดู Gogioso [1] สำหรับการสำรวจ 56p ช่วงการเปลี่ยนภาพเกิดขึ้นพร้อมกับสิ่งที่เป็นที่รู้จักกันในชื่อ "ความคมมีดคม" ใน [2] จุดเปลี่ยนเดียวกันที่เหมือนกันนั้นเกิดขึ้นในการวิเคราะห์เชิงทฤษฎีของความซับซ้อน / ความซับซ้อนในการคำนวณเช่น [3] ที่เกี่ยวข้องกับการศึกษาก่อนหน้านี้ของพฤติกรรมจุดเปลี่ยนในปัญหากลุ่มโดย Erdos [4] คือการสำรวจ / วิดีโอการบรรยายเกี่ยวกับการเปลี่ยนเฟสและความซับซ้อนในการคำนวณโดย Moshe Vardi [5] [6] เป็นภาพรวมของพฤติกรรมการเปลี่ยนเฟสข้ามปัญหาที่สมบูรณ์โดยมัวร์วอลช์

จากนั้นมีกระจัดกระจาย แต่อาจจะเพิ่มการศึกษาการเชื่อมต่อที่หลากหลายของระบบพลวัตที่มีความซับซ้อนในการคำนวณและความแข็งในบริบทที่หลากหลาย มีการเชื่อมต่อทั่วไปที่พบใน [7] อาจอธิบายสาเหตุบางประการของการ "ทับซ้อน" บ่อยครั้ง refs [8] [9] [10] [11] มีความหลากหลาย แต่แสดงชุดรูปแบบ reoccuring / crosscutting ลักษณะระหว่างปัญหาที่สมบูรณ์ NP และระบบพลวัตต่างๆ ในเอกสารเหล่านี้มีแนวคิด / ตัวอย่างของการเชื่อมโยงแบบไฮบริดระหว่างระบบแยกและระบบต่อเนื่อง

พฤติกรรมอลหม่านในระบบสมบูรณ์ NP ถูกวิเคราะห์ใน [11]

การอ้างอิงที่คล้ายกันกับ Ercsey-Ravasz / Toroczkai ในส่วนของควอนตัมอัลกอริธึมที่พบว่าระบบพลวัตเรียกว่า "เห็นได้ชัด" ใน p- เวลา [12]

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

[1] แง่มุมของฟิสิกส์เชิงสถิติในความซับซ้อนเชิงคำนวณ / Gogioso

[2] ขอบมีดแบบมีข้อ จำกัด / Toby Walsh

[3] Monotone Complexity ของ k-Clique บนกราฟสุ่ม / Rossman

[4] การเปลี่ยนเฟสและความซับซ้อนในการคำนวณ / Moshe Vardi

[5] การเปลี่ยนสถานะในปัญหาที่เกิดขึ้นกับ NP: ความท้าทายสำหรับความน่าจะเป็น, combinatorics และวิทยาศาสตร์คอมพิวเตอร์ / มัวร์

[6] พฤติกรรมการเปลี่ยนเฟส / วอลช์

[7] การหาสมการพลวัตนั้นยาก / Cubitt, Eisert, Wolf

[8] ปัญหาสถานะคงที่ของระบบคือ NP-hard แม้สำหรับระบบพลังบูลีนแบบโมโนโทนเดียว /

[9] บรรพบุรุษและปัญหาการดำรงอยู่ของการเปลี่ยนแปลงสำหรับระบบพลวัต / Barret, Hunt III, Marathe, Ravi, Rosenkrantz, Stearns (รวมถึงปัญหาการวิเคราะห์สำหรับระบบไดนามิคแบบกราฟิก: แนวทางแบบครบวงจรผ่านการแสดงกราฟ )

[10] วิธีการของ Dynamical Systems ในการจับคู่กราฟน้ำหนัก / Zavlanos, Pappas

[11] พฤติกรรมที่วุ่นวายของปัญหา np-complete / Perl

[12] อัลกอริทึมควอนตัมใหม่สำหรับการศึกษาปัญหา NP-complete / Ohya, Volovich


1
ขอบคุณ @vzn นี่เป็นวิชาการมากขึ้น (และมีประโยชน์กับฉัน) มากกว่าที่ฉันคาดหวังไว้! ฉันขอขอบคุณที่พยายามรวบรวมคำตอบโดยละเอียดของคุณ
Joseph O'Rourke

1
fyi งานวิจัยใหม่โดยผู้เขียนคนเดียวกัน Ercsey-Ravasz, Toroczkai และคณะ, การเปลี่ยนแปลงคำสั่งซื้อเพื่อความโกลาหลในความแข็งของปัญหา Boolean สุ่มที่น่าพอใจ / arxiv
vzn

6

มีแนวโน้มการวิจัยเมื่อไม่นานมานี้ (15 ปีหรือมากกว่านั้น) ในการผสมฟิสิกส์เชิงสถิติของระบบที่ไม่เป็นระเบียบและปัญหาที่ไม่ต่อเนื่อง combinatoric การหาค่าเหมาะที่สุด การเชื่อมโยงผ่านความน่าจะเป็นของ Boltzmann และความแข็งในการคำนวณนั้นเกี่ยวข้องกับการเพิ่มจำนวนของสถานะการแพร่กระจายของระบบทางกายภาพ ปั่นแว่นตารุ่น isomorphic พิสูจน์ได้ถึงปัญหาการเพิ่มประสิทธิภาพโดยสิ้นเชิงที่สุด

ฉันแนะนำให้คุณเริ่มต้นด้วยวิทยานิพนธ์ระดับปริญญาเอกนี้คุณจะพบข้อมูลอ้างอิงเพิ่มเติม

Lenka Zdeborová ฟิสิกส์เชิงสถิติของปัญหาการหาค่าเหมาะที่สุด ที่http://arxiv.org/abs/0806.4112

หนึ่งกระดาษคลาสสิกซึ่งจริงใจฉันไม่เข้าใจว่าเป็น:

David L. Donoho, Jared Tanner สังเกตความเป็นสากลของการเปลี่ยนเฟสในเรขาคณิตระดับสูงพร้อมผลกระทบสำหรับการวิเคราะห์ข้อมูลที่ทันสมัยและการประมวลผลสัญญาณ ที่http://arxiv.org/abs/0906.2530

นอกจากนี้ในแว่นตาหมุนแนะนำ

Tommaso Castellani, Andrea Cavagna ทฤษฎีปั่นแก้วสำหรับคนเดินเท้า


4

น่าเสียดายที่มันอยู่ด้านหลังของ paywall ดังนั้นฉันจึงไม่สามารถดูกระดาษนั้นได้ แต่จากการอ่านบทคัดย่อมันมีความคล้ายคลึงกันอย่างน้อยกับ "ภาพการ์ตูน" บางภาพที่ฉันเคยเห็นในการเผยแผ่แบบสำรวจและใช้ในการแก้ปัญหา 3-SAT นี่คือ "ภาพการ์ตูน" จาก Maneva, Mossel และ Wainwright's "รูปลักษณ์ใหม่ที่เผยแพร่การสำรวจและลักษณะทั่วไป"

ป้อนคำอธิบายรูปภาพที่นี่

ที่นี่คือค่าสำหรับการเปลี่ยนความหนาแน่นและเป็นค่าขีด จำกัด วิกฤต (สำหรับ 3-SAT)α c4.2αdαc4.2

มันน่าสนใจที่จะดูว่าที่ตั้งของภูมิภาคเศษส่วนต่าง ๆ ที่รายงานโดย Ercsey-Ravasz และ Toroczkai นั้นสอดคล้องกับเกณฑ์สำคัญที่แตกต่างกันที่สังเกตเห็นในการขยายพันธุ์สำรวจหรือไม่หรือถ้าฉันผิดอย่างสมบูรณ์


2
คุณสามารถค้นหาได้ที่arxiv.org/abs/cs/0409012และarxiv.org/abs/1208.0526ถ้ามันช่วยได้
Phylliida

1

บทความนี้เป็นการแก้ปัญหาเวลาพหุนามของการแยกตัวประกอบเฉพาะและปัญหา NP-complete ด้วยเครื่องบันทึกความจำดิจิตอลอ้างว่าอัลกอริทึมที่มีประสิทธิภาพสำหรับปัญหา NP-Complete เครื่อง memcomputing ดิจิตอลเป็นระบบไดนามิกเชิงเส้นที่ออกแบบมาเพื่อให้จุดสมดุลของพวกเขาสอดคล้องกับการแก้ปัญหาความพึงพอใจบูลีน ความหมายที่สำคัญที่สุดคือระบบพลวัตที่สามารถแก้ไขปัญหาที่เกิดขึ้นได้อย่างสมบูรณ์สามารถเกิดขึ้นได้ พวกเขาสรุปว่าผลลัพธ์ของพวกเขายังแก้ปัญหา P vs NP ได้ P = NP จะตามมาจากการพิสูจน์อย่างเป็นทางการว่าถ้ามีดุลยภาพตัวดึงดูดทั่วโลกไม่สนับสนุนวงโคจรเป็นระยะและ / หรือตัวดึงดูดที่แปลก

อ้างอิง:

1- Traversa และ Di Ventra การแก้ปัญหาเวลาพหุนามของการแยกตัวประกอบเฉพาะและปัญหา NP-Complete ด้วยเครื่องบันทึกความจำดิจิตอล Chaos: วารสารสหวิทยาการของ Nonlinear Science เล่ม 27 ฉบับที่ 2, 2017

2- Traversa, Ramella, Bonani และ Di Ventra, กำลังจดจำปัญหา NP-Complete ในเวลาพหุนามโดยใช้ทรัพยากรพหุนามและรัฐส่วนรวม , ความก้าวหน้าทางวิทยาศาสตร์, เล่มที่ 1, ฉบับที่ 6, 2015

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.