Masalah NP-lengkap dengan banyak polinomially sertifikat?


10

Mari kita sebut bahasa NP yang jarang memiliki sertifikat jika dan hanya jika:L

Ada polinomial sedemikian rupa sehingga untuk setiap input ukuran , jika maka set sertifikat yang memverifikasi bahwa berukuran polinomially, yaitu . x Σ n x L U x u x L | U x | p ( n )p:NNxΣnxLUxuxL|Ux|p(n)

Dalam istilah yang lebih pendek, setiap masukan memiliki pada jumlah yang paling polinomial sertifikat yang memverifikasi dimasukkan dalam .LxL

Contoh: Untuk mengilustrasikan, pertimbangkan masalah :CLIQUE

CLIQUE={(G,k)G has a clique of size k}

Bahasa yang tidak jarang sertifikat , sebagai masukan x = ( G , k ) bisa dengan mudah memiliki jumlah eksponensial k -cliques bertindak sebagai sertifikat yang membuktikan bahwa x C L I T U E .CLIQUE x=(G,k)kxCLIQUE

Contoh Akhir

Pertanyaannya adalah, adakah: apakah ada bahasa lengkap NP-isian yang diketahui jarang? Wawasan apa pun dipersilakan, bahkan jika mereka tidak menjawab pertanyaan!

Catatan : definisi ini berbeda dari bahasa yang jarang!


Yang pasti saya mengerti, apakah ini benar? secara teknis didefinisikan sehubungan dengan beberapa verifier V tertentu , yaitu, untuk x L , U x = { u : V ( x , u ) = 1 } . Dan L adalah "jarang sertifikat" jika dan hanya jika terdapat verifier V untuk L seperti itu yang U x s memenuhi kondisi polinomial-ukuran. UxVxLUx={u:V(x,u)=1}LVLUx
usul

Jawaban:


12

Tidak, tidak ada bahasa lengkap yang dikenal dengan sertifikasi jarang . Kelas yang Anda gambarkan dikenal sebagai f e w P . Hal ini secara luas diyakini bahwa f e w P N P , Jadi, ada N P masalah -Lengkap dikenal di fewP. (Tidak mungkin kecuali f e w P = N P ).NPfewPfewPNPNPfewP=NP


Inilah yang saya cari. Bersulang!
gdiazc

Saya telah menemukan referensi untuk beberapa P (di Kebun Binatang Kompleksitas), tetapi apakah Anda memiliki referensi untuk mendukung pernyataan: "secara luas diyakini bahwa beberapa P NP"? Sebagai contoh, akankah beberapa P = NP menyiratkan P = N P atau semacamnya? =P=NP
gdiazc

1
@ PayfunPay: Saya cukup yakin dia berbicara tentang dan bukan F e w . F e w bersifat lebih umum - ia mensyaratkan paling banyak sertifikat polinomi diterima oleh verifier, tetapi apakah x L atau tidak tidak ditentukan oleh apakah ada sertifikat yang diterima oleh verifier, tetapi lebih merupakan predikat tambahan Q ( x , | U x | ) . OQ tampaknya bermaksud untuk bertanya tentang keberadaan keberadaan sertifikat apa pun yang menyiratkan x LFewPFewFewxLQ(x,|Ux|)xL, Yang persis . FewP
Joshua Grochow

1
@TayfunPay: Sejauh yang saya mengerti, dan F e w P yang kedua kelas semantik, seperti U P atau B P P . Secara khusus, apa yang Anda katakan tidak benar. F e w , seperti halnya F e w P , mensyaratkan bahwa jumlah jalur penerimaan verifier dibatasi oleh polinomial pada semua input. (Apa yang Anda tetapkan adalah sesuatu seperti P r o m i s e F e w atau P rFewFewPUPBPPFewFewPPromiseFew ...) Lihat Def. 1.2 dari Cai & Hemachandra:dx.doi.org/10.1007/BFb0028987PromiseFewP
Joshua Grochow

@ JoshuaGrochow Saya baru saja mendapat kesempatan untuk melihatnya. Anda benar, memang kelas semantik. Saya berpikir bahwa itu adalah versi sintaksis dari F e w P . OK Namun, saya masih percaya kuesioner menanyakan jenis skenario "jika dan hanya jika". Karena bahasa yang diberikan L adalah dalam F e w P "jika" jumlah total jalur penerima dibatasi oleh polinomial dan "tidak" dalam F e w P jika tidak ada jalur penerimaan. Jadi kita TIDAK tahu apa yang terjadi ketika jumlah jalur penerimaan bersifat eksponensial karena itu bukan "jika dan hanya jika" ....FewFewPLFewPFewP
Tayfun Membayar
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.