Intractability masalah NP-complete sebagai prinsip fisika?


15

Saya selalu tertarik dengan kurangnya bukti numerik dari matematika eksperimental untuk atau menentang pertanyaan P vs NP. Sementara Hipotesis Riemann memiliki beberapa bukti pendukung dari verifikasi numerik, saya tidak mengetahui bukti serupa untuk pertanyaan P vs NP.

Selain itu, saya tidak mengetahui adanya konsekuensi dunia fisik langsung dari keberadaan masalah yang tidak dapat diputuskan (atau adanya fungsi yang tidak dapat dihitung). Protein lipat adalah masalah NP-lengkap tetapi tampaknya terjadi sangat efisien dalam sistem biologis. Scott Aaronson mengusulkan menggunakan Asumsi Kekerasan NP sebagai prinsip fisika. Dia menyatakan anggapan itu secara informal sebagai " masalah NP-complete tidak bisa diterapkan di dunia fisik ".

Dengan asumsi Asumsi Kekerasan NP, Mengapa sulit untuk merancang eksperimen ilmiah yang memutuskan apakah alam semesta kita menghormati Asumsi Kekerasan NP atau tidak?

Juga, Apakah ada bukti numerik yang diketahui dari matematika eksperimental untuk atau terhadap ?PNP

EDIT: Ini adalah presentasi yang bagus dari Scott Aaronson berjudul Computational Intractability As A Phys of Physics


Berikut ini adalah pengamatan terkait, menurut teori Quantum, setiap kuantitas fisik terpisah termasuk waktu, panjang, massa dan energi (sangat kecil). Jadi, apakah benar untuk memandang evolusi sistem kuantum sebagai masalah optimisasi diskrit yang diatur oleh prinsip tindakan paling tidak atas semua lintasan ruang ruang keadaan yang memungkinkan?
Mohammad Al-Turkistany

8
Fakta bahwa protein terlipat dengan baik in vivo seharusnya tidak diambil sebagai bukti bahwa alam semesta sedang memecahkan masalah NP-complete. Protein telah berevolusi untuk melipat diri secara efisien. Bahkan ada beberapa protein yang akan terlipat dengan baik di lingkungan seluler yang tidak terlipat dengan baik secara in vitro . Ini karena di dalam sel, ada protein lain yang disebut chaperonin yang membantu dalam proses pelipatan (chaperonin ini diduga berevolusi bersama dengan protein yang mereka bantu lipat).
Peter Shor

Jawaban:


17

Saya tidak berpikir bahwa fakta bahwa adalah pernyataan asimptotik adalah "dealbreaker" otomatis. Seseorang dapat membuat dugaan konkret yang konsisten dengan pengetahuan kita tetapi lebih kuat dari P vs NP seperti "Dibutuhkan setidaknya 2 n / 10 langkah untuk menemukan tugas yang memuaskan untuk rumus acak variabel 10SAT n" (dengan "acak" misalnya, model yang ditanam dari Achlioptas Coja-Oghlan , ini hanya sebuah contoh - saya tidak tahu angka beton yang masuk akal begitu saja).PNP2n/10

Dugaan seperti itu dapat menghasilkan prediksi yang dapat disangkal bahwa sistem alami apa pun yang akan mencoba menyelesaikan masalah ini akan gagal (misalnya, terjebak dalam minimum lokal), sesuatu yang dapat Anda verifikasi dengan eksperimen. Memang, saya bukan ahli dalam hal ini tetapi setahu saya, seperti yang dikatakan Joe Fitzsimons, prediksi seperti itu telah dikonfirmasi dengan komputasi adiabatik. (Scott Aaronson juga melakukan eksperimen menghibur dengan gelembung sabun.)

Tentu saja Anda juga dapat melihat beberapa "bukti empiris" untuk dalam kenyataan bahwa orang telah mencoba untuk menyelesaikan masalah optimisasi, cryptoanalyze enkripsi, dll. Dan belum berhasil sejauh ini ...PNP


2
@ Jeff - Saya pikir ini adalah bukti bahwa P tidak sama dengan NP dengan cara yang sama bahwa fakta bahwa semua angka yang kami coba sejauh ini telah mengikuti Dugaan Goldbach terbukti dalam mendukung dugaan Goldbach dan tidak hanya mendukung kita memilih nomor yang salah.
Vinayak Pathak

3
Boaz: Saya mungkin bersedia menerimanya sebagai bukti untuk hipotesis yang lebih lemah "Algoritma INI membutuhkan setidaknya langkah", tetapi tidak untuk hipotesis yang lebih kuat "Algoritma APA SAJA membutuhkan setidaknya 2 n / 10 langkah." Ada terlalu banyak (pada kenyataannya, tak terhingga banyaknya) algoritma yang belum dicoba, atau bahkan kelas algoritma, bagi saya untuk menerima bahwa setiap eksperimen telah mencoba sampel yang representatif. 2n/102n/10
Jeffε

6
Jika Anda entah bagaimana dapat menunjukkan algoritma pencarian universal Levin membutuhkan langkah maka Anda menunjukkan setiap algoritma secara efektif sebanyak ini ... tentu saja mengingat pengetahuan kami saat ini, ini akan sangat tidak praktis untuk diterapkan dan diuji. 2n/10
Ryan Williams

3
Ryan - dalam praktiknya Anda hanya dapat menghitung lebih dari satu program dengan ukuran deskripsi yang sangat kecil. (Lihat juga makalah Luca Trevisan - eccc.hpi-web.de/report/2010/034/download )
Boaz Barak

2
JeffE - anggaplah bahwa beberapa bukti dari beberapa bidang ilmiah lain menunjukkan sistem alami dapat mencapai minimum globalnya dengan cepat, sedangkan asumsi memperkirakan bahwa ia terjebak pada minimum lokal, dan ternyata yang terakhir benar. Yang tampaknya saya untuk menjadi setidaknya beberapa bukti untuk P N P . Ini bukan bukti konklusif, tetapi karena hal-hal ini menumpuk, jika ternyata (diperkuat) P N P memiliki kekuatan prediksi positif, itu adalah argumen untuk menjadikannya "hukum alam". (Itu berlaku untuk setidaknya semua algoritma / sistem alami yang kami temui sejauh ini ...)PNPPNPPNP
Boaz Barak

15

Dunia nyata adalah objek berukuran konstan, jadi tidak ada cara untuk mengesampingkan prosedur dunia nyata polinomial-waktu untuk menyelesaikan masalah NP-lengkap yang memiliki konstanta besar yang tersembunyi dalam notasi O besar.

Lagi pula, di samping poin ini, asumsi adalah pernyataan dari bentuk "tidak ada prosedur dunia nyata yang ..." Bagaimana seseorang merancang percobaan untuk menyangkal pernyataan seperti itu? Jika anggapan itu seperti "Jika kita melakukan X di dunia nyata, Y terjadi," maka ini dapat disangkal dengan melakukan X. Pernyataan yang kita inginkan menegaskan tidak adanya sesuatu, jadi saya tidak dapat melihat eksperimen memutuskan itu. Ini dapat ditampilkan sebagai konsekuensi fisik dari hukum fisika, tetapi ini bahkan lebih sulit daripada P vs NP, karena mesin Turing memang mengikuti hukum fisika. Karena kami tidak berhasil bahkan dalam menunjukkan bahwa TM tidak dapat menyelesaikan masalah NP-lengkap dalam waktu polinomial, tampaknya sama sekali tidak ada harapan untuk menunjukkan bahwa tidak ada proses fisik yang dapat menyelesaikan masalah NP-complete dalam waktu polinomial.


1
Jika dunia nyata adalah objek ukuran konstan, maka semua komputer yang dibangun hingga saat ini adalah automata terbatas.
Peter Shor

12

Memang versi fisik P tidak sama dengan NP, yaitu bahwa tidak ada sistem fisik alami yang dapat menyelesaikan masalah NP lengkap sangat menarik. Ada beberapa kekhawatiran

1) Program ini tampaknya praktis "ortogonal" untuk fisika eksperimental dan teoritis. Jadi itu tidak benar-benar memberikan (sejauh ini) wawasan yang berguna dalam fisika.

Ada beberapa argumen yang bagus bagaimana seseorang dapat menyimpulkan dari versi fisik dari dugaan ini beberapa wawasan dalam fisika, tetapi argumen ini cukup "lunak" dan memiliki celah. (Dan argumen seperti itu cenderung bermasalah, karena mereka bergantung pada dugaan matematika yang sangat sulit seperti NP nonot sama dengan P, dan NP tidak dimasukkan dalam BQP yang tidak kita mengerti.)

(Komentar serupa berlaku untuk "tesis Gereja-turing".)

2) Meskipun NP fisik yang tidak sama dengan P adalah dugaan yang lebih luas daripada NP matematika yang tidak sama dengan P, kita juga dapat menganggapnya lebih terbatas karena algoritma yang terjadi di alam (dan bahkan algoritma buatan manusia) tampaknya sangat kelas terbatas dari semua algoritma yang dimungkinkan secara teoritis. Akan sangat menarik untuk memahami pembatasan semacam itu secara formal, tetapi bagaimanapun "bukti" ekserimental seperti yang disarankan dalam pertanyaan hanya akan berlaku untuk kelas terbatas ini.

3) Dalam pemodelan ilmiah, kompleksitas komputasi mewakili semacam masalah urutan kedua di mana pertama kita ingin memodelkan fenomena alam dan melihat apa yang dapat diprediksi berdasarkan model (mengesampingkan teori kompleksitas komputasi). Memberikan terlalu banyak bobot untuk masalah kompleksitas komputasi pada tahap pemodelan tampaknya tidak membuahkan hasil. Dalam banyak kasus, model ini sulit secara komputasional untuk memulai dengan tetapi mungkin masih layak untuk masalah yang terjadi secara alami atau berguna untuk memahami fenomena.

4) Saya setuju dengan Boaz bahwa masalah asimptotik tidak diperlukan sebagai "pelanggar kesepakatan". Tetap saja ini adalah masalah yang agak serius dalam hal relevansi masalah kompleksitas komputasi dengan pemodelan kehidupan nyata.


11

Jika Anda mengizinkan saya untuk menggeneralisasi sedikit saja ... Mari kita sampaikan pertanyaan dan tanyakan asumsi kompleksitas-teoretik kekerasan dan konsekuensinya untuk eksperimen ilmiah. (Saya akan fokus pada fisika.) Baru-baru ini ada program yang agak berhasil untuk mencoba memahami rangkaian korelasi yang diperbolehkan antara dua perangkat pengukuran yang, walaupun terpisah secara spasial, melakukan pengukuran pada sistem fisik (mungkin berkorelasi non-lokal) ( 1). Di bawah pengaturan ini dan yang serupa, seseorang dapat menggunakan asumsi tentang kekerasan kompleksitas komunikasi untuk memperoleh batas-batas ketat yang mereproduksi korelasi yang diperbolehkan untuk mekanika kuantum.

Untuk memberi Anda rasa, izinkan saya menjelaskan hasil sebelumnya dalam hal ini. Kotak Popescu-Rohrlich (atau kotak PR) adalah perangkat imajiner yang mereproduksi korelasi antara perangkat pengukuran yang konsisten dengan prinsip bahwa tidak ada informasi yang dapat bergerak lebih cepat daripada cahaya (disebut prinsip tanpa pensinyalan ).

S. Popescu & D. Rohrlich, Nonlocality Quantum sebagai aksioma, Ditemukan. Phys 24, 379-385 (1994).

Kita dapat melihat ini sebagai contoh kompleksitas komunikasi yang memiliki pengaruh. Gagasan bahwa dua pengamat harus berkomunikasi secara implisit mengasumsikan beberapa kendala yang oleh fisikawan tidak disebut pensinyalan. Memutar ide ini, jenis korelasi apa yang mungkin terjadi antara dua perangkat pengukuran yang tidak dibatasi oleh pensinyalan? Inilah yang dipelajari oleh Popescu & Rohrlich. Mereka menunjukkan bahwa rangkaian korelasi yang diijinkan ini benar-benar lebih besar daripada yang diizinkan oleh mekanika kuantum, yang pada gilirannya benar-benar lebih besar daripada yang diizinkan oleh fisika klasik.

Pertanyaannya kemudian muncul dengan sendirinya, apa yang membuat himpunan korelasi kuantum sebagai himpunan korelasi "benar", dan bukan himpunan yang diizinkan tanpa pensinyalan?

Untuk menjawab pertanyaan ini, mari kita membuat asumsi sederhana bahwa ada fungsi yang kompleksitas komunikasinya tidak sepele. Di sini non-sepele hanya berarti bahwa untuk bersama-sama menghitung fungsi boolean f (x, y), dibutuhkan lebih dari sekadar bit tunggal (2). Cukup mengejutkan, bahkan asumsi kompleksitas-teoretis yang sangat lemah ini cukup untuk membatasi ruang korelasi yang diperbolehkan.

G. Brassard, H. Buhrman, N. Linden, AA Méthot, A. Tapp, dan F. Unger, Batasan Nonlocality di Dunia Apa Pun Yang Kompleksitas Komunikasinya Tidak Sepele, Phys. Pdt. Lett. 96, 250401 (2006).

Perhatikan bahwa hasil yang lebih lemah sudah terbukti di Ph.D. tesis Wim van Dam. What Brassard et al. buktikan bahwa memiliki akses ke kotak PR, bahkan yang rusak dan hanya menghasilkan korelasi yang benar pada suatu waktu, memungkinkan seseorang untuk meremehkan kompleksitas komunikasi. Di dunia ini, setiap fungsi Boolean dua variabel dapat secara bersama dihitung dengan mentransmisikan hanya satu bit. Ini sepertinya sangat absurd, jadi mari kita lihat sebaliknya. Kita dapat menganggap kompleksitas komunikasi yang non-triviality sebagai aksioma, dan ini memungkinkan kita untuk memperoleh fakta bahwa kita tidak mengamati korelasi tertentu yang lebih kuat daripada kuantum dalam eksperimen kami.

Program ini menggunakan kompleksitas komunikasi secara mengejutkan berhasil, mungkin jauh lebih dari yang sesuai untuk kompleksitas komputasi. Kertas-kertas di atas benar-benar hanya puncak gunung es. Tempat yang baik untuk memulai membaca lebih lanjut adalah ulasan ini:

H. Buhrman, R. Cleve, S. Massar dan R. de Wolf, Nonlocality dan kompleksitas komunikasi, Rev. Mod. Phys 82, 665–698 (2010).

atau pencarian literatur lanjutan dari dua makalah lain yang saya kutip.

Ini juga menimbulkan pertanyaan menarik tentang mengapa pengaturan komunikasi tampaknya jauh lebih setuju untuk dianalisis daripada pengaturan komputasi. Mungkin itu bisa menjadi subjek pertanyaan lain yang diposting di cstheory.


(1) Ambil contoh percobaan yang mengukur sesuatu yang dikenal sebagai ketimpangan CHSH (sejenis ketimpangan Bell ), di mana sistem fisik terdiri dari dua foton terjerat, dan pengukurannya adalah pengukuran polarisasi pada masing-masing foton di dua lokasi yang jauh secara spasial.

(2) Bit tunggal ini diperlukan setiap kali f (x, y) benar-benar tergantung pada x dan y, karena mengirim nol bit tidak akan melanggar pensinyalan.


7

Juga, Apakah ada bukti numerik yang diketahui dari matematika eksperimental untuk atau terhadap P ≠ N PPNP

NPP/poly

Sekarang, menemukan sirkuit minimum untuk SAT hingga panjang 10 saat ini sangat sulit. Namun, beberapa gagasan dalam teori kompleksitas geometris memungkinkan Anda untuk mendapatkan hasil yang serupa dengan pencarian komputasi yang lebih efisien (saya pikir hanya eksponensial dan bukan eksponensial ganda). Salah satu dugaan Mulmuley adalah bahwa sebenarnya pencarian ini dapat dilakukan dalam waktu polinomial, tetapi kami masih jauh dari membuktikan sesuatu yang dekat dengan itu.


Bisakah Anda menguraikan lebih lanjut tentang bagaimana Anda dapat menggunakan GCT untuk meningkatkan pencarian brute force?
arnab

GLnGLn

Perhatikan bahwa Mulmuley tidak menduga apa pun "positif" tentang kompleksitas menemukan sirkuit minimum untuk SAT (jika sirkuit SAT dapat ditemukan dalam waktu polinomial, maka pasti NPP/halHaily, kebalikan dari apa yang ingin dia tunjukkan). Dugaan Mulmuley adalah tentang apa yang ia sebut "bukti eksplisit" atau "penghalang", keberadaan yang membentuk batas bawah. Benda-benda itulah yang diyakini Mulmuley dapat ditemukan dengan cepat. (Saya yakin Joshua tahu semua ini, saya hanya menyatakan ini untuk kejelasan.)
Ryan Williams

@Ryan: Titik klarifikasi yang luar biasa. Itu membuat saya bertanya-tanya tentang pertanyaan ini: cstheory.stackexchange.com/questions/1514/…
Joshua Grochow

6

Definisi "waktu polinomial" dan "waktu eksponensial" menggambarkan perilaku membatasi waktu berjalan ketika ukuran input tumbuh hingga tak terbatas. Di sisi lain, percobaan fisik apa pun hanya mempertimbangkan input dengan ukuran terbatas. Jadi, sama sekali tidak ada cara untuk menentukan secara eksperimental apakah suatu algoritma tertentu berjalan dalam waktu polinomial, waktu eksponensial, atau sesuatu yang lain.

Atau dengan kata lain: apa yang dikatakan Robin.


Misalkan beberapa percobaan dilakukan yang entah bagaimana menyandikan masalah NP-complete menjadi masalah nyata dan membiarkan sifat menyelesaikannya. Dan anggaplah bahwa dalam semua percobaan itu, ditemukan bahwa ada ukuran input yang cukup besar yang sifatnya membutuhkan banyak waktu dalam menyelesaikan masalah, maka apakah itu akan menjadi bukti yang mendukung pernyataan bahwa alam tidak dapat menyelesaikan masalah NP-complete efisien?
Vinayak Pathak

1
Benar-benar tidak. Bahkan jika Anda dapat meyakinkan Alam untuk menyelesaikan masalah secara optimal (tidak seperti gelembung sabun untuk pohon Steiner, misalnya), dan bahkan jika Anda dapat membedakan perilaku asimptotik dari eksperimen terbatas, mungkin saja Alam menggunakan algoritma yang tidak efisien.
Jeffε

1
(Dari sudut pandang filosofis, saya sama sekali tidak melihat perbedaan antara "meyakinkan alam untuk menyelesaikan masalah" dan "menerapkan dan menjalankan algoritma untuk memecahkan masalah". Di satu sisi, "teknik yang dapat diandalkan untuk membuat sistem fisik memecahkan masalah "adalah definisi algoritma yang bisa diterapkan; di sisi lain, manusia dan komputer sama-sama bagian dari alam.)
Jeffε

5

Biarkan saya memulai dengan mengatakan bahwa saya setuju sepenuhnya dengan Robin. Mengenai pelipatan protein, ada masalah kecil. Seperti halnya semua sistem semacam itu, pelipatan protein bisa tersangkut di minima lokal, yang sepertinya Anda abaikan. Masalah yang lebih umum adalah hanya menemukan keadaan dasar dari beberapa Hamilton. Sebenarnya, bahkan jika kita hanya mempertimbangkan spin (yaitu qubit) masalah ini selesai untuk QMA.

Hamiltonians alami sedikit lebih lembut, namun, dari beberapa yang buatan yang digunakan untuk membuktikan kelengkapan QMA (yang cenderung tidak mencerminkan interaksi alami), tetapi bahkan ketika kita membatasi interaksi dua tubuh alami pada sistem sederhana hasilnya masih NP. Masalah -lengkap. Memang, ini membentuk dasar dari suatu upaya yang berusaha untuk mengatasi masalah NP menggunakan komputasi kuantum adiabatik. Sayangnya tampaknya pendekatan ini tidak akan berfungsi untuk masalah NP-lengkap, karena masalah yang agak teknis berkaitan dengan struktur tingkat energi. Namun hal ini mengarah pada konsekuensi yang menarik dari ada masalah yang ada dalam NP yang secara alami tidak dapat dipecahkan (yang saya maksud adalah proses fisik). Ini berarti ada sistem yang tidak bisa didinginkan secara efisien. Artinya,


Koreksi saya jika saya salah, Apakah Anda menyiratkan bahwa Asumsi Kekerasan NP harus memiliki konsekuensi yang dapat diamati secara fisik?
Mohammad Al-Turkistany

Saya mengatakan bahwa jika BQP tidak mengandung NP (yang tampaknya memang demikian) maka NP yang sulit tentu memiliki konsekuensi fisik. Untuk sistem yang sangat bising, sepertinya kita bisa menyingkirkan tahap BQP dan mendapatkan hasilnya langsung dari NP menjadi sulit, tetapi ini memerlukan beberapa asumsi fisik.
Joe Fitzsimons

Untuk memperjelas, saya mengatakan bahwa ada konsekuensi fisik untuk PNP, yang mungkin juga berlaku jika P=NP.
Joe Fitzsimons

4

Studi tentang situasi dunia nyata dari perspektif komputasi cukup sulit karena "lompatan" diskrit berkelanjutan. Sementara semua peristiwa di dunia nyata (seharusnya) dijalankan dalam waktu kontinu, model yang biasanya kita gunakan diimplementasikan dalam waktu diskrit. Oleh karena itu, sangat sulit untuk menentukan seberapa kecil atau besar langkah seharusnya, berapa ukuran masalah, dll.

Saya telah menulis ringkasan pada makalah Aaronson tentang masalah ini, namun itu tidak dalam bahasa Inggris. Lihat kertas aslinya .

Secara pribadi, saya telah mendengar contoh lain dari masalah dunia nyata dimodelkan ke dalam komputasi. Makalah ini membahas tentang model sistem kontrol yang berdasarkan pada kawanan burung. Ternyata meskipun membutuhkan waktu singkat dalam kehidupan nyata untuk burung, makalah ini tidak dapat dipecahkan ("menara 2-an") ketika dianalisis sebagai masalah komputasi. Lihat kertas karya Bernard Chazelle untuk detailnya.

[Sunting: Mengklarifikasi bagian tentang kertas Chazelle. Terima kasih telah memberikan informasi yang tepat.]


2
bukan hanya eksponensial. itu sebenarnya menara 2s.
Suresh Venkat

1
Suresh, tentu saja, benar. Lebih dari itu, makalah Chazelle bukanlah analisis tentang kawanan burung: ini adalah analisis model sistem kontrol yang terkenal berdasarkan pada kawanan burung. Secara khusus, analisisnya memerlukan penggunaan "aturan histeresis" bahwa burung tidak diamati untuk mematuhi sendiri. Lihat komentar Chazelle # 3 di sini untuk informasi lebih lanjut tentang program penelitian ini.
Aaron Sterling

0

Saya masih memilih masalah n-tubuh sebagai contoh dari NP kepraktisan. Tuan-tuan yang merujuk pada solusi numerik lupa bahwa solusi numerik adalah model rekursif, dan bukan solusi pada prinsipnya dengan cara yang sama dengan solusi analitik. Solusi analitik Qui Dong Wang tidak bisa diterapkan. Protein yang dapat melipat, dan planet-planet yang dapat mengorbit dalam sistem lebih dari dua benda adalah sistem fisik, bukan solusi algoritmik dari jenis yang ditangani oleh masalah P-NP.

Saya juga harus menghargai kesulitan chazisop dengan solusi dalam waktu terus menerus. Jika waktu atau ruang kontinu, ruang keadaan potensial menjadi tidak terhitung (aleph one).


2
Masalah 3-tubuh persis / analog tidak hanya NP-keras; itu tidak bisa ditentukan . Di sisi lain, sistem fisik sejati tidak benar-benar analog; Anda baru saja mengganti satu abstraksi matematika dengan abstraksi yang lain.
Jeffε

-1

Kami tidak dapat memecahkan masalah secara efisien n-salah satu masalah, tetapi planet-planet batu-untuk-otak tampaknya berhasil dengan baik.


2
Itu tidak benar. Kita memang dapat secara efisien menyelesaikan masalah n-body, hanya saja tidak ada solusi analitik. Metode numerik bekerja dengan baik.
Joe Fitzsimons

6
Persis. Saya belum pernah melihat planet yang menunjukkan solusi analitik untuk masalah n-body, jadi perbandingannya tidak adil.
Robin Kothari
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.