Kekerasan perkiraan dengan asumsi NP! = CoNP


32

Dua asumsi umum untuk membuktikan kekerasan hasil perkiraan adalah dan Unique Games Conjecture. Apakah ada kekerasan hasil perkiraan dengan asumsi NP \ neq coNP ? Saya mencari masalah A sehingga "sulit untuk memperkirakan A dalam faktor \ alpha kecuali NP = coNP ".PNPNPcoNPAAαNP=coNP

Diketahui bahwa "menunjukkan faktor n kekerasan NP untuk masalah vektor terpendek akan menyiratkan bahwa NP=coNP ". Perhatikan bahwa ini adalah "kebalikan" dari apa yang saya cari.

Klarifikasi: Ada kemungkinan bahwa NP=coNP dan masih pertanyaan P vs NP terbuka. Saya mencari kekerasan hasil perkiraan yang akan menjadi salah jika NP=coNP tetapi tidak terpengaruh (yaitu, masih tetap sebagai dugaan) oleh PNP .


@ Kintali, Hasil SVP menarik. Apakah Anda mengetahui contoh lain yang mirip dengan hasil masalah vektor terpendek?
Mohammad Al-Turkistany

Saya tidak mengetahui lebih banyak hasil seperti itu.
Shiva Kintali

Jawaban:


20

Berikut ini pengamatan langsung. Jika Anda mengasumsikan NPcoNP , maka cukup mudah untuk melihat ada masalah optimasi NP yang bahkan tidak memiliki algoritma aproksimasi nondeterministik yang baik , dalam beberapa hal.

Misalnya, teorema PCP mengatakan bahwa Anda dapat menerjemahkan SAT ke dalam masalah membedakan apakah dari klausa terpenuhi dan semua klausa terpenuhi, untuk beberapa . Misalkan ada algoritma nondeterministic yang dapat membedakan antara dua kasus ini, dalam arti bahwa algoritma nondeterministic dapat melaporkan di setiap jalur perhitungan baik "semua puas" atau "paling banyak ", dan dikatakan "paling banyak "di beberapa lintasan jika paling banyak dapat dipenuhi, jika tidak dikatakan" semua puas "di setiap lintasan perhitungan jika semua persamaan dapat dipenuhi. Ini cukup untuk memutuskan SAT di ,1εε>01ε1ε1εcoNPNP=coNP. Tampak jelas bahwa keberadaan algoritma nondeterministic semacam itu tidak berpengaruh pada apakah .P=NP

Sangat masuk akal bahwa ada skenario yang lebih "alami": masalah optimasi yang sulit diperkirakan dalam waktu polinomial deterministik di bawah tetapi tidak diketahui sulit di bawah . (Ini mungkin yang benar-benar ingin Anda tanyakan.) Banyak kekerasan hasil perkiraan pertama-tama dibuktikan dengan beberapa asumsi yang lebih kuat (mis. tidak dalam waktu subeksponensial, atau tidak dalam ). Dalam beberapa kasus, perbaikan selanjutnya melemahkan asumsi yang diperlukan, kadang-kadang turun ke . Jadi ada harapan bahwa ada jawaban yang sedikit lebih memuaskan untuk pertanyaan Anda daripada yang ini. Sulit untuk bertanya-tanya bagaimana mungkin ada masalah ituNPcoNPPNPNPNPBPPPNPtidak dapat dibuktikan sulit untuk diperkirakan dalam polytime deterministik di bawah , tetapi dapat dibuktikan sulit di bawah . Itu berarti bahwa memberi tahu kita sesuatu tentang perhitungan deterministik yang belum dikatakan ; secara intuitif, ini sulit untuk dipahami.PNPNPcoNPNPcoNPPNP


Iya nih. Sulit untuk dipahami bahwa hasil kekerasan seperti itu bahkan mungkin terjadi. Saya bertanya-tanya apakah kita dapat membuktikan tidak adanya hasil kekerasan seperti itu. Fiuh .... semakin rumit.
Shiva Kintali

(1) Saya khawatir Anda menulis huruf besar dan kecil pada paragraf kedua. Sangat mudah untuk membangun algoritma nondeterministic yang melakukan apa yang Anda nyatakan (melaporkan "semua puas" dalam setidaknya satu jalur jika rumusnya memuaskan dan melaporkan "paling banyak 1 − ε" di semua jalur jika rumusnya jauh dari memuaskan) ) dengan hanya menguji semua penugasan kebenaran nondeterministis. (2) Saya setuju tentang bagian "sulit untuk dipahami".
Tsuyoshi Ito

8

Penafian: ini bukan jawaban langsung.

Sebenarnya ada lebih banyak kondisi kekerasan selain P! = NP dan UGC. David Johnson menulis kolom yang indah untuk Transaction on Algorithms pada tahun 2006 tentang masalah ini. Dia mencantumkan berbagai asumsi berbeda yang digunakan untuk menunjukkan kekerasan, dan bagaimana mereka saling berhubungan.

Sayangnya, ini semua adalah NP vs kelas deterministik (dengan pengecualian NP dan co-AM). NP vs co-NP tidak tercakup sama sekali.


2
Sebagai tambahan yang menarik, David Johnson TIDAK berbicara tentang NP vs co-NP di kolom berikutnya - NP-kelengkapan kolom nomor 26 !
Daniel Apon

ah tentu saja. Seharusnya aku ingat. Tapi tidak ada perkiraan ...
Suresh Venkat

4

NPcoNP adalah hipotesis yang lebih kuat daripada karena menyiratkan . Jadi, setiap kekerasan hasil perkiraan dengan asumsi juga akan mengikuti dari asumsi .PNPNPcoNPPNPPNPNPcoNP


3
Ada kemungkinan bahwa NP = coNP dan masih P vs NP pertanyaan terbuka. Saya mencari kekerasan hasil perkiraan yang akan menjadi salah jika NP = coNP tetapi tidak terpengaruh (yaitu, masih tetap sebagai dugaan) oleh P! = NP.
Shiva Kintali

Dalam pertanyaan Anda, Anda mencari masalah A sehingga "mudah untuk memperkirakan dalam suatu faktor menyiratkan NP = coNP" yang setara dengan "Jika maka sulit untuk memperkirakan A dalam faktor ". Harap edit pertanyaan Anda untuk mencerminkan komentar Anda. AαNPcoNPα
Mohammad Al-Turkistany

0

Ini bukan jawaban langsung

Masalah k-Choosability adalah -complete. Di bawah asumsi bahwa , k-Choosability benar-benar lebih sulit daripada k-Coloring pada grafik umum. Oleh karena itu, kira-kira angka kromatik daftar lebih sulit daripada angka kromatik. Diketahui bahwa pewarnaan k adalah sepele untuk grafik bipartit. Namun, menentukan daftar nomor kromatik grafik bipartit adalah -hard. (Bahkan 3-Pilihan adalah -lengkap)2PNPcoNPNP2P

Noga Alon, Pewarnaan terbatas pada grafik

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.