Masalah dengan solusi yang efisien kecuali untuk sebagian kecil input


18

Masalah penghentian untuk mesin Turing mungkin adalah set kanonik yang tidak dapat ditentukan. Namun demikian, kami membuktikan bahwa ada algoritma yang memutuskan hampir semua instance dari itu. Masalah penghentian karena itu di antara koleksi yang berkembang dari mereka yang menunjukkan "lubang hitam" fenomena teori kompleksitas, dimana kesulitan dari masalah yang tidak dapat ditentukan atau tidak dapat dipastikan terbatas pada wilayah yang sangat kecil, sebuah lubang hitam, di luar di mana masalahnya adalah mudah.

[Joel David Hamkins dan Alexei Miasnikov, " Masalah yang terputus-putus ditentukan pada seperangkat satu probabilitas asimptotik ", 2005]

Adakah yang bisa memberikan referensi ke "lubang hitam" lainnya dalam teori kompleksitas, atau tempat lain di mana konsep ini atau yang terkait dibahas?


3
Joel secara teratur mengunjungi MathOverflow, Anda dapat mengajukan pertanyaan di sini untuk mendapatkan jawaban darinya. IIRC ada pertanyaan tentang hasilnya di sana.
Kaveh

3
Lihat juga HeurP .
Kaveh

1
Mungkin contoh lain adalah Graph Isomorphism (yang merupakan masalah NP-intermediate). Pada "contoh nyata" sangat mudah (sepele untuk contoh acak?) Dan untuk banyak kelas grafik ada algoritma waktu polinomial. "Lubang hitam" kelihatannya sangat ketat sehingga tidak mudah untuk membuat instance yang sulit dan nakal, salah satu alat yang paling efisien untuk menyelesaikannya , sering digunakan untuk menghasilkan instance (keras). Tapi mungkin, "lubang hitam" akan lenyap dan akan meninggalkan GI yang malang di P :-D
Marzio De Biasi

@ Marszio, contoh dunia non-nyata biasanya tidak sepersekian kecil dari semua contoh dan berbeda dari apa yang mereka maksudkan di koran.
Kaveh

AA=(Ay,An)AyAAnA¯

Jawaban:


15

ρρρρ


1
Mirip dengan ini, Ham Cycle dapat ditampilkan sebagai polytime yang dapat dipecahkan pada grafik acak (menurut beberapa proses pembuatan acak yang masuk akal), namun itu NP-hard hanya karena contoh-contoh yang sangat khusus dibuat. Ada banyak contoh lain di sepanjang baris ini.
JimN

5

Seperti masalah Hentikan, Masalah Korespondensi Post tidak dapat diputuskan secara umum. Tesis Master Ling Zhao menggambarkan serangkaian besar contoh yang dapat dipecahkan dari masalah PCP, termasuk beberapa contoh "sulit". Tapi saya tidak tahu apakah ukuran / kerapatan / ukuran set instansinya yang dapat dipecahkan setara dengan hasil Masalah Putus yang Anda kutip.

http://webdocs.cs.ualberta.ca/~games/PCP/paper/CG2002.pdf

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.