Seberapa umum transisi fase dalam masalah NP-complete?


17

Telah diketahui bahwa banyak masalah NP-lengkap menunjukkan fase transisi. Saya tertarik di sini dalam transisi fase sehubungan dengan pengungkungan dalam bahasa, daripada kekerasan input, relatif terhadap suatu algoritma.

Untuk membuat konsep ini ambigu, mari kita secara resmi mendefinisikannya sebagai berikut. Suatu bahasa L. menunjukkan transisi fase (sehubungan dengan penahanan), jika

  1. Ada parameter pesanan r(x) , yang merupakan fungsi waktu yang dihitung secara polinomial, yang bernilai nyata dari instance.

  2. Ada ambang batas t . Entah itu konstanta nyata, atau mungkin bergantung pada n=|x|, yaitu, t=t(n) .

  3. Untuk hampir setiap x dengan r(x)<t , kita memiliki xL. . ( Hampir setiap sarana di sini: semuanya tapi hampir semuanya, yaitu, proporsi mendekati 1, seperti n ).

  4. Untuk hampir setiap x dengan r(x)>t , kita memiliki xL. .

  5. Untuk hampir setiap x , ia menyatakan bahwa r(x)t . (Yaitu, wilayah transisi "sempit.")

Banyak masalah NP-lengkap alami menunjukkan transisi fase dalam pengertian ini. Contohnya adalah banyak varian SAT, semua properti grafik monoton, berbagai masalah kepuasan kendala, dan mungkin banyak lainnya.

Pertanyaan: Apa saja pengecualian "baik"? Apakah ada masalah NP-complete alami, yang (mungkin) tidak memiliki fase transisi dalam arti di atas?


1
Anda mungkin ingin kondisi merumuskan 5, seperti yang dengan mudah dapat dielakkan dengan menambahkan sedikit kecil kebisingan untuk untuk memastikan tidak sama r ( x ) untuk setiap x . Membatasi r menjadi fungsi ± 1 dan t = 0 (keduanya dapat dilakukan wlog), sampel tandingan harus merupakan masalah lengkap NP yang tidak dapat diprediksi oleh algoritma mana pun (satu komputasi r ) yang dapat diandalkan, yaitu sulit bahkan dengan contoh dipilih dari distribusi seragam. Dugaan saya adalah bahwa Anda bermaksud untuk r tidak memiliki kekuatan ekspresif yang begitu banyak. tr(x)xr±1t=0rr
Yonatan N

Jadi, jika Anda mendefinisikan transisi fase, seperti di atas maka ada contoh sulit, dengan kemungkinan tinggi - dalam kasus masalah lengkap NP masalahnya adalah untuk mempelajari mungkin beberapa properti (bukti) masalah sehingga ada contoh sulit yang paling mungkin. Sebaliknya, jika ada bukti, ada contoh mudah, dengan kemungkinan tinggi. Misalnya grafik acak mungkin memiliki kerapatan tepi dekat transisi fase yang dapat mempengaruhi kemudahan solusi masalah.
user3483902

Jawaban:


4

Peneliti ahli dalam bidang ini pada dasarnya menyatakan bahwa transisi fase adalah fitur universal dari masalah lengkap NP meskipun ini belum diformulasikan / dibuktikan secara ketat dan belum secara luas dianggap / disebarluaskan di bidang yang lebih besar (itu lebih banyak berasal dari yang berorientasi empiris. cabang studi). ini hampir merupakan dugaan terbuka. ada bukti kuat. tidak ada kandidat yang masuk akal untuk menyelesaikan masalah NP non fase transisi. berikut adalah dua referensi yang mendukung pov ini:

di sini adalah sketsa kasar dari kebenaran pernyataan itu. itu ada hubungannya dengan P yang terkandung dalam NP lengkap. masalah / bahasa lengkap NP harus memiliki instance yang dapat dipecahkan dalam waktu P dan yang lainnya dipecahkan dalam waktu eksponensial (atau setidaknya superpolinomial-) jika P ≠ NP. tetapi harus selalu ada cara untuk "mengelompokkan" instance P dari instance "non-P". oleh karena itu harus selalu ada beberapa "kriteria transisi" antara instance P dan non-P. singkatnya, mungkin fenomena ini secara intris ditambah dengan P ≠ NP!

argumen kasar lainnya: semua masalah lengkap NP dapat dipertukarkan melalui pengurangan. jika transisi fase ditemukan dalam satu, itu harus ditemukan di semuanya.

bukti yang lebih mendalam untuk ini, baru-baru ini (~ 2010) ditunjukkan transisi fase muncul untuk batas bawah pada sirkuit monoton untuk deteksi klik pada grafik acak.

pengungkapan penuh: Moshe Vardi telah mempelajari transisi fase khususnya di SAT dan memiliki pandangan yang lebih skeptis yang kontras dalam pembicaraan / video ini.


2
Tautan yang bagus di pembicaraan Moshe Vardi, terima kasih! Hanya untuk membawa pulang poin, transisi fase ensemble NP-Complete tidak menyiratkan kesulitan dalam kompleksitas misalnya. M. Vardi tidak menyebutkannya tetapi propagasi survei memecahkan contoh dengan jutaan variabel / klausa di dekat ambang kritis (di ujung positif) untuk 3SAT dan sudah dikenal untuk sementara waktu ada hampir pasti algoritma waktu polinomial untuk siklus HAM di Erdos Grafik acak -Renyi.
user834

0

Gn,mnm(n2)mGn,m


2
Makalah terkait menunjukkan sebaliknya, bahwa fase transisi siklus Hamiltonian dalam grafik acak Erdos-Renyi menunjukkan transisi fase (dalam kemungkinan siklus Hamiltonian muncul) tetapi tidak menunjukkan peningkatan yang signifikan dalam kesulitan komputasi. Telah diketahui bahwa hampir selalu ada algoritma waktu polinomial probabilistik untuk grafik acak Erdos-Renyi, di mana-mana dalam fase transisi, bahkan pada ambang kritis. Maaf, tapi saya harus memberikan jawaban untuk jawaban ini.
user834

-1

C pewarnaan D grafik biasa memiliki serangkaian transisi Discrete, tidak secara bertahap, kecuali Anda melakukan peregangan.

Ini adalah tabel hasil pewarnaan, yang akan saya kirimkan ke SAT17. Perhatikan bahwa 3 pewarnaan dari 6 grafik biasa tidak mungkin kecuali untuk beberapa contoh. Demikian juga 4 pewarnaan grafik derajat kesepuluh ... Grafik C3D5N180 agak sulit. C4D9 Golden Point hanya sementara pada C4D9N180; Grafik C4D9 adalah 4cnfs terberat berdasarkan ukuran yang saya temui, jadi C4D9 memenuhi syarat sebagai "Tempat Keras". Titik Emas C5D16 diduga ada, tetapi akan berada di wilayah hard spot dari 5 pewarnaan hingga 6 pewarnaan.

          Universal Constants of Regular Graph Coloring

Rumus pewarnaan memiliki variabel lgC per simpul, untuk total variabel lgC * N; tepi memiliki klausa pewarnaan C, untuk total klausa C * M. Ada beberapa klausa tambahan per titik untuk menyingkirkan warna tambahan. Poin Emas adalah N terkecil sehingga: Colorability C pada grafik derajat D dengan simpul N hampir selalu memuaskan, dengan probabilitas mendekati 1. Untuk Probabilitas Tinggi, N contoh acak yang memuaskan. Untuk Sangat Tinggi, N * N memuaskan. Untuk Super High, N * N * N kejadian acak memuaskan.

Poin pewarnaan emas Probabilitas Tinggi (1 - 1 / N) adalah:

C3D5N180 C4D6N18 C4D7N35 C4D8N60 C4D9N180? C5D10N25 C5D11N42 C5D12N72

Poin pewarnaan emas yang sangat tinggi (1 - 1 / (N * N)) adalah:

C3D5N230? C4D6N18 C4D7N36 C4D8N68 C4D9N ??? C5D10N32 C5D11N50 C5D12N78

Poin pewarnaan Super High (1 - 1 / (N * N * N)) adalah:

C3D5N ??? C4D6N22 C4D7N58 C4D8N72? C4D9N ??? C5D10N38 C5D11N58 C5D12N ??

Semua contoh acak dalam penelitian ini memuaskan. Poin probabilitas linier memeriksa ratusan formula yang memuaskan. Poin probabilitas kuadratik memeriksa puluhan ribu rumus yang memuaskan. Poin probabilitas kubik memeriksa ratusan ribu formula yang memuaskan. Poin C4D9 dan C5D13 sulit. Titik C5D16 diduga ada. Satu contoh acak enam tingkat enam belas berwarna akan membuktikan dugaan itu.

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.