Teorema Ladner vs. Teorema Schaefer

27

Saat membaca artikel "Apakah Saatnya Menyatakan Kemenangan dalam Menghitung Kompleksitas?" di blog "Surat Hilang Godel dan P = NP" , mereka menyebutkan dikotomi untuk CSP. Setelah beberapa link berikut, googling dan wikipeding, saya menemukan Teorema Ladner :

Teorema Ladner: Jika , maka ada masalah dalam yang bukan -lengkap.PNPNPPNP

dan untuk teorema Schaefer :

Teorema Dikotomi Schaefer: Untuk setiap bahasa kendala over , jika adalah Schaefer maka adalah waktu polinomial yang dapat dipecahkan. Kalau tidak, adalah -lengkap. Γ{0,1} ΓCSP(Γ)CSP(Γ)NP

Saya membaca ini berarti bahwa, oleh Ladner, ada masalah yang bukan atau -complete, tetapi menurut Schaefer, masalahnya adalah dan -complete hanya.PNPPNP

Apa yang saya lewatkan? Mengapa kedua hasil ini tidak saling bertentangan?

Saya mengambil versi ringkas dari pernyataan teorema di atas dari sini . Di bagian "Komentar Terakhir", ia berkata, "Jadi, jika ada masalah dalam tetapi tidak -lengkapi maka tidak dapat dirumuskan sebagai CSP" .NPPNP

Apakah ini berarti masalah kehilangan beberapa kejadian yang ada di ? Bagaimana mungkin?SATNP

pengguna834
sumber
2
Bukankah ada sedikit masalah dalam hal itu seseorang harus berhati-hati bagaimana seseorang mendefinisikan "bahasa kendala" dan "masalah"? Teorema Schaefers (sejauh yang saya ingat), hanya mempertimbangkan bahasa yang diberikan dengan mengambil penutupan di bawah konjungsi dan substitusi variabel dari beberapa himpunan S hubungan. Namun, kita dapat membangun set masalah kendala yang tidak tercakup oleh ini, dan dengan demikian dapat ditelusuri tetapi tidak Schaefer. Agaknya serangkaian masalah yang dibangun oleh Ladner tidak dapat didefinisikan dalam hal penutupan di bawah konjungsi dan substitusi variabel dari serangkaian hubungan.
MGwynne
1
Saya pikir Anda harus mengubah kalimat terakhir karena sebuah instance tidak memiliki kompleksitas (non-sepele), set instance memiliki kompleksitas. Maka itu berarti bahwa tidak ada set NPI dari dapat diekspresikan sebagai . SATCSP(Γ)
Kaveh

Jawaban:

15

Seperti yang dikatakan Massimo Lauria, masalah bentuk CSP ( ) agak istimewa. Jadi tidak ada kontradiksi.Γ

Setiap kepuasan kendala masalah misalnya dapat direpresentasikan sebagai pasangan struktur relasional dan , dan kita harus memutuskan apakah terdapat homomorfisma struktur relasional dari sumber dengan target . S T S T(S,T)STST

CSP ( ) adalah jenis khusus masalah kepuasan kendala. Ini terdiri dari semua pasangan struktur relasional yang dibangun hanya menggunakan hubungan dari Γ dalam struktur relasional target: CSP ( Γ ) = { ( S , T ) semua relasi  T  berasal dari  Γ } . Teorema Schaefer mengatakan bahwa ketika Γ hanya berisi hubungan di atas { 0 , 1 } , maka CSP ( ΓΓΓΓ{(S,T)all relations of T are from Γ}Γ{0,1}Γ) apakah NP-complete atau P, tetapi tidak mengatakan apa-apa tentang koleksi CSP lainnya.

Sebagai contoh ekstrem, seseorang dapat mulai dengan beberapa CSP ( ) yang NP-complete, dan "blow hole" dalam bahasa. (Ladner melakukan ini dengan SAT dalam pembuktian teorema-nya.) Hasilnya adalah himpunan bagian yang hanya berisi beberapa contoh, dan tidak lagi dalam bentuk CSP ( Γ ) untuk Γ apa pun . Mengulangi konstruksi menghasilkan hierarki bahasa yang tak terbatas dari penurunan kekerasan, dengan asumsi P ≠ NP.ΓΓΓ

András Salamon
sumber
23

Anda perlu memahami bahwa masalah memiliki struktur yang generik S A T masalah tidak memiliki. Saya akan memberi Anda contoh sederhana. Biarkan Γ = { { ( 0 , 0 ) , ( 1 , 1 ) } , { ( 0 , 1 ) , ( 1 , 0 ) } }CSPSATΓ={{(0,0),(1,1)},{(0,1),(1,0)}}. Bahasa ini sedemikian rupa sehingga Anda hanya bisa mengekspresikan persamaan dan ketidaksetaraan antara dua variabel. Jelas setiap batasan seperti itu dapat dipecahkan dalam waktu polinomial.

Saya akan memberikan dua argumen untuk memperjelas hubungan antara dan klausa. Perhatikan bahwa semua yang mengikuti mengasumsikan PN P .CSPPNP

Pertama : kendala memiliki sejumlah variabel tetap, sedangkan pengkodean masalah menengah mungkin membutuhkan klausa besar. Ini tidak selalu menjadi masalah ketika kendala besar seperti itu dapat dinyatakan sebagai gabungan dari yang kecil menggunakan variabel tambahan. Sayangnya ini tidak selalu berlaku untuk umum .Γ

Asumsikan hanya berisi O R dari lima variabel. Jelas Anda dapat mengekspresikan O R variabel yang lebih sedikit dengan mengulangi input. Anda tidak bisa mengungkapkan lebih besar O R karena cara untuk melakukannya dengan menggunakan variabel perpanjangan membutuhkan disjunctions literal positif dan negatif. Γ merepresentasikan hubungan pada variabel , bukan pada literal . Memang ketika Anda berpikir tentang 3- S A T sebagai C S P Anda perlu Γ mengandung empat hubungan disjungsi dengan beberapa input yang dinegasikan (dari nol hingga tiga).ΓORORORΓSATCSPΓ

Kedua : setiap relasi dalam dapat dinyatakan sebagai kumpulan klausa dengan (katakanlah) tiga literal. Setiap kendala harus merupakan keseluruhan kumpulan klausa tersebut. Dalam contoh dengan kendala kesetaraan / ketidaksetaraan Anda tidak dapat memiliki biner A N D (yaitu relasi ( 1 , 1 ) ) tanpa menegakkan biner yang dinegasikan O R (yaitu relasi ( 0 , 0 ) ) pada variabel yang sama.ΓAND(1,1)OR(0,0)

Saya harap ini menggambarkan kepada Anda bahwa contoh yang diperoleh dari C S P s memiliki struktur yang sangat aneh, yang diberlakukan oleh sifat Γ . Jika struktur terlalu ketat maka Anda tidak dapat mengungkapkan masalah sulit. SATCSPΓ

Sebuah akibat wajar dari Teorema Schaefer adalah bahwa setiap kali memberlakukan struktur yang cukup longgar untuk mengekspresikan N P P masalah keputusan, maka hal yang sama Γ memungkinkan kebebasan yang cukup untuk mengekspresikan general 3- S A T instance.ΓNPPΓSAT

MassimoLauria
sumber
1
Untuk menambah jawaban sempurna MassimoLauria; Tidak ada kontradiksi. Lihatlah artikel Wikipedia ini yang memiliki bagian yang menjelaskan, dengan kata-kata sederhana, hubungan antara Teorema Ladner dan Teorema Schaefer.
Mohammad Al-Turkistany
Hanya untuk memastikan saya mengerti, Anda mengatakan bahwa versi terbatas dari 'S di teorema Schaefer baik tidak dapat menyandikan sewenang-wenang 3- S A T contoh atau contoh C S P ( Γ ) bisa tumbuh super-polinomi untuk beberapa kelas masalah 3- S A T ? CSPSATCSP(Γ)SAT
user834
Dalam Teorema Schaefer beberapa jenis ditunjukkan untuk menginduksi algoritma waktu polinomial. Saya pikir (tapi saya tidak yakin) bahwa beberapa dari mereka tidak dapat mengekspresikan generik 3- S A T sama sekali. Meskipun demikian menganggap Γ sebagai himpunan "Klausa 3 klausa". Ini adalah polytime decidable dan setiap perhitungan deterministik dalam waktu t dapat dikodekan sebagai rumus H o r n - S A T dengan ukuran p o l y ( t ) . Jadi saya kira Anda bisa mengkodekan perhitungan secara eksponensial panjang dengan secara eksponensial panjang C S PΓSATΓtHornSATpoly(t)CSP(Yaitu banyak variabel secara eksponensial). Apakah masuk akal?
MassimoLauria
Saya pikir cara yang tepat untuk mengatakannya adalah CSP dalam kerangka Schaefer tidak dapat menyandikan masalah NP yang sewenang-wenang (3-SAT sebenarnya merupakan masalah CSP kanonik). Perhatikan bahwa ini adalah pernyataan kondisional (kecuali P = NP).
Chandra Chekuri
@ChandraChekuri, Maafkan saya karena begitu padat, tetapi apakah Anda mengatakan bahwa CSP dalam kerangka Schaefer tidak dapat menyandikan contoh sewenang-wenang dari 3-SAT? CSP dapat, secara umum, menyandikan 3-SAT tetapi versi terbatas CSP dalam kerangka Schaefer tidak bisa?
user834