Keanggotaan nontrivial di NP


27

Apakah ada contoh bahasa yang ada dalam , tetapi di mana kita tidak dapat membuktikan fakta ini secara langsung dengan menunjukkan bahwa ada saksi polinomial untuk keanggotaan dalam bahasa ini?NP

Sebaliknya, fakta bahwa bahasa dalam akan dibuktikan dengan mereduksinya ke bahasa lain di , di mana hubungan antara keduanya tidak sepele dan perlu analisis yang cermat.N PNPNP

Secara umum, apakah ada beberapa contoh masalah yang menarik di sehingga sulit untuk melihat bahwa mereka ada di ?N PNPNP

Sebuah semi-jawaban akan menjadi masalah dalam menentukan pemenang dalam permainan paritas: untuk menunjukkan bahwa itu ada di (bahkan ), kita membutuhkan teorema determinasi posisi yang dalam dan non-sepele. Namun jawaban ini tidak ideal, karena masih bermuara pada keberadaan saksi polinomial untuk masalah yang tepat ini (strategi posisi), dan tidak mengurangi masalah berbeda .N P c o N P N PNPNPcHaiNPNP

Satu lagi adalah algoritma primitif AKS: memutuskan apakah suatu bilangan prima adalah polinomial, sementara ada apriori tidak ada saksi kecil untuk fakta ini. Katakanlah kita mengesampingkan "algoritma polinomial mengejutkan", karena banyak dari mereka akan cocok dengan deskripsi di atas. Saya lebih tertarik pada algoritma mengejutkan yang tidak deterministik.NP


12
Kami tahu bilangan prima ada di NP sebelum AKS karena adalah bilangan prima jika ada sedemikian sehingga r ^ {n − 1} = 1 \ mod n dan untuk semua pembagi utama q dari n − 1 , r ^ \ frac {n-1} {q} \ neq 1 \ mod n . 1 < r < nn>21<r<nrn-1=1modnn-1rn-1q1modn
Artem Kaznatcheev

ah menarik, saya tidak berpikir tentang sertifikat primitif.
Denis

6
Kumpulan yang baik untuk contoh keanggotaan nontrivial di TN dapat berasal dari masalah yang telah terbuka untuk beberapa waktu apakah mereka bahkan dapat diperhitungkan. Dua masalah dari atas topi saya: pengenalan grafik string dan pengenalan unknot (dan genus simpul yang lebih umum). Namun dalam kedua kasus, ada saksi polinomial (yaitu kurva / permukaan normal) - mereka hanya sulit ditemukan. Ketertarikan juga ada dalam NP, dan juga non-sepele: ada sertifikat tetapi seseorang membutuhkan Hipotesis Riemann Umum untuk memiliki ikatan polinom pada ukurannya.
Arnaud

'Masalah Orbit' juga tidak diketahui dapat dipilih untuk waktu yang lama. Akhirnya terbukti berada di P. Prof. Lipton memiliki artikel yang bagus di blognya tentang sejarah masalah ini: rjlipton.wordpress.com/2009/09/02/the-orbit-problem
Jagadish

3
Satu lagi contoh: Diberikan grafik, putuskan apakah itu sempurna. Masalahnya dapat diselesaikan dalam waktu polinomial, tetapi butuh beberapa saat untuk membuktikan bahwa itu dalam NP.
Jagadish

Jawaban:


20

Pemrograman Integer .

Menunjukkan bahwa jika ada solusi integer maka ada solusi integer ukuran polinomial yang cukup terlibat. Lihat


4
Lihat Christos Papadimitriou, Tentang Kompleksitas Pemrograman Integer , JACM 28 765-768. dx.doi.org/10.1145/322276.322287 (perlu dibaca, dan hanya empat halaman).
András Salamon

1
Jika Anda tidak memiliki akses ke ACM DL Anda dapat memperoleh kertas Papadimitriou dari sini .
Kaveh

17

Sementara masalahnya "adalah jumlah persimpangan grafik paling banyak ?" secara sepele dalam NP, keanggotaan-NP dari masalah terkait untuk bilangan lintas bujursangkar dan pasangan pasangan silang sangat tidak jelas; lih. Bienstock, Beberapa mungkin masalah nomor crossing yang sulit, Discrete Comput. Geometri 6 (1991) 443-459, dan Schaefer et al., Mengenali grafik string dalam NP, J. Comput. Sistem Sci. 67 (2003) 365-380.k


13

Contoh favorit saya adalah hasil klasik 1977 dari Ashok Chandra dan Philip Merlin. Mereka menunjukkan bahwa masalah penahanan kueri dapat ditentukan untuk kueri konjungtif. Masalah kontainmen permintaan konjungtif ternyata setara dengan memutuskan apakah ada homomorfisme antara dua kueri input. Ini mengulangi masalah semantik, yang melibatkan kuantifikasi atas set yang tak terbatas, menjadi satu sintaksis, hanya memerlukan memeriksa sejumlah terbatas kemungkinan homomorfisme. Sertifikat homomorfisme hanya berukuran linier dan masalahnya ada di NP.


Teorema ini memberikan salah satu dasar dari teori optimasi kueri basis data. Idenya adalah untuk mengubah permintaan menjadi yang lain, lebih cepat. Namun, orang menginginkan jaminan bahwa proses optimasi tidak membuat kueri baru yang gagal memberikan jawaban pada beberapa basis data di mana kueri asli memang menghasilkan hasil.

Secara formal, permintaan basis data adalah ekspresi dari formulir , di mana x adalah daftar variabel bebas, y adalah daftar variabel terikat, dan Q ( x , y ) adalah rumus orde pertama dengan variabel x dan y dari bahasa dengan simbol relasi. Kueri Q dapat berisi penjumlahan eksistensial dan universal, rumus ini mungkin berisi konjungsi dan disjungsi atom relasional, dan negasi juga dapat muncul. Kueri diterapkan ke instance database Ix.Q(x,y)xyQ(x,y)xyQsaya, yang merupakan seperangkat hubungan. Hasilnya adalah satu set tupel; ketika tuple dalam hasil digantikan x maka rumus Q ( t , y ) dapat dipenuhi. Satu kemudian dapat membandingkan dua pertanyaan: Q 1 terkandung dalam Q 2 jika setiap kali Q 1 diterapkan ke database contoh sewenang-wenang saya menghasilkan beberapa hasil, maka Q 2 diterapkan pada contoh yang sama saya juga menghasilkan beberapa hasil. (Tidak apa-apa jika Q 1 tidak menghasilkan hasil tetapi Q 2txQ(t,y)Q1Q2Q1sayaQ2sayaQ1Q2tidak, tetapi untuk kontainmen implikasinya harus berlaku untuk setiap instance yang mungkin.) Masalah kontainmen kueri bertanya: diberikan dua permintaan basis data dan Q 2 , apakah Q 1 terkandung dalam Q 2 ?Q1Q2Q1Q2

Sama sekali tidak jelas di hadapan Chandra-Merlin bahwa masalahnya dapat diputuskan. Hanya dengan menggunakan definisi, kita harus mengukur set yang tak terbatas dari semua database yang mungkin. Jika query tidak dibatasi, maka masalahnya adalah, pada kenyataannya, diputuskan: biarkan menjadi formula yang selalu benar, maka Q 1 terkandung di Q 2 IFF Q 2 adalah valid. (Ini Entscheidungsproblem dari Hilbert , ditunjukkan tidak dapat dipastikan oleh Gereja dan Turing pada tahun 1936.)Q1Q1Q2Q2

Untuk menghindari ketidakpastian, kueri konjungtif memiliki bentuk yang agak terbatas: hanya berisi penjumlahan eksistensial, dan negasi dan disjungsi tidak diperbolehkan. Jadi Q adalah rumus eksistensial positif dengan hanya hubungan atom relasional. Ini adalah bagian kecil dari logika, tetapi cukup untuk mengekspresikan sebagian besar permintaan basis data yang berguna. Pernyataan klasik dalam SQL mengungkapkan kueri konjungtif; sebagian besar kueri mesin pencari adalah kueri konjungtif.QQSELECT ... FROM

Seseorang dapat mendefinisikan homomorfisme antara permintaan dengan cara yang mudah (mirip dengan homomorfisme grafik, dengan sedikit pembukuan tambahan). The Chandra-Merlin teorema mengatakan: diberikan dua pertanyaan penghubung dan Q 2 , Q 1 terkandung dalam Q 2 IFF ada permintaan homomorfisma dari Q 2 ke Q 1 . Ini menetapkan keanggotaan dalam NP, dan langsung untuk menunjukkan bahwa ini juga NP-hard.Q1Q2Q1Q2Q2Q1

  • Ashok K. Chandra dan Philip M. Merlin, Implementasi Optimal dari Pertanyaan Konjungtif dalam Basis Data Relasional , STOC '77 77-90. doi: 10.1145 / 800105.803397

Decidability of Containment Containment kemudian diperluas ke persatuan query konjungtif (queri positif eksistensial di mana disjungsi diperbolehkan), meskipun disjungsi meningkatkan kompleksitas hingga -complete. Hasil desidabilitas dan ketidakpastian juga telah ditetapkan untuk bentuk yang lebih umum dari penahanan kueri , yang melibatkan penilaian semiring yang terjadi ketika menghitung jumlah jawaban, ketika menggabungkan anotasi dalam sumber, atau ketika menggabungkan hasil kueri dalam database probabilistik.Π2P


4

Saya menemukan kandidat yang baik ketika membaca beberapa makalah tentang persamaan diophantine kuadratik:

JC Lagarias, sertifikat ringkas untuk solusi untuk persamaan Diophantine kuadratik biner (2006)

L.(F)Fax12+bx1x2+cx22+dx1+ex2+f=0FFHAI(L.(F)5logL.(F)loglogL.(F))Σ={F:F memiliki solusi integer non-negatif}

... tapi - sejujurnya - satu-satunya bukti yang saya miliki bahwa itu tidak trivial adalah jumlah halaman kertas ... 62! :-)



3

Memutuskan keterjangkauan untuk berbagai jenis sistem keadaan tak terbatas kadang-kadang bisa dianggap baik, sering kali tidak. Untuk beberapa kasus khusus yang menarik, sertifikat yang cukup kecil dan dapat diperiksa selalu ada, dengan memasukkan masalah tersebut ke NP. Berikut ini adalah perawatan rapi untuk parametrik automata satu-counter:


3

NPL.1,L.2L.1NPL.2NPL.

L.=L.1jika dugaan utama kembar itu benar, dan L.=L.2jika tidak

L.NPL.NPNP


5
L.={x:xL.2¬m|x|}L.2
Joshua Grochow
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.