CSP dengan lebar hypertree fraksional tak terbatas


10

a´HHPTIME

Definisi, dll.

Untuk survei hebat dekomposisi dan treewidth pohon standar, lihat di sini (Terima kasih sebelumnya, JeffE!).

Biarkan H menjadi hypergraph.

Kemudian untuk H hypergraph Hdan pemetaan γ:E(H)[0,) ,

B(γ)= { vV(H):eV(H),veγ(e)1 }.

Selain itu, biarkan bobot ( γ ) = eEγ(e) .

Kemudian dekomposisi hypertree fraksional H adalah triple (T,(Bt)tV(T),(γt)tV(T)) , di mana:

  • (T,(Bt)tV(T)) adalah dekomposisi pohon H , dan
  • (γt)tV(T) adalah keluarga pemetaan dari E(H) hingga [0,) st untuk setiap tV(T),BtB(γt) .

Kemudian kita mengatakan lebar dari adalah {berat }.(T,(Bt)tV(T),(γt)tV(T))max(γt),tV(T)

Akhirnya, lebar hypertree pecahan dari , FHW ( ), adalah minimal lebar atas semua kemungkinan dekomposisi hypertree pecahan .HHH

Pertanyaan

Seperti yang dinyatakan di atas, jika lebar hypertree fraksional dari grafik yang mendasari CSP dibatasi oleh konstanta, maka ada algoritma waktu polinomial untuk menyelesaikan CSP. Namun, itu dibiarkan sebagai masalah terbuka pada akhir makalah terkait apakah ada keluarga polinomial waktu dipecahkan contoh CSP memiliki lebar hypertree tak terbatas. (Saya juga harus menunjukkan, pertanyaan ini sepenuhnya diselesaikan dalam kasus treewidth terikat vs tidak terikat ( kutipan ACM ) dengan asumsi bahwa .) Karena ada beberapa waktu sejak makalah yang ditautkan pertama kali, ditambah saya relatif tidak mengetahui keadaan umum sub-bidang ini, pertanyaan saya adalah:FPTW[1]

Apakah sesuatu yang diketahui tentang (in) tractability dari CSP lebih grafik dengan lebar hypertree pecahan tak terbatas?

Jawaban:


8

Anda ditautkan ke dua makalah, keduanya dengan dugaan. Saya kira Anda maksud dugaan 2007 Grohe.

Pertanyaan ini dijawab pada tahun 2008:

Teorema 5. CSP (C , _) dalam NP, tetapi tidak dalam P atau NP-complete (kecuali P = NP). Selain itu, himpunan C dapat diputuskan dalam waktu polinomial deterministik.00

Idenya adalah untuk meledakkan lubang dalam ukuran contoh CLIQUE, dengan teknik diagonalisasi tertunda yang sama yang diperkenalkan oleh Ladner untuk teorinya. Perhatikan bahwa himpunan C berisi klik-klik besar yang sewenang-wenang, dan lebar hypertree fraksional dari -clique adalah . Jadi dimungkinkan untuk memiliki CSP dalam bentuk CSP (A, _) yang memiliki kompleksitas menengah, di mana A memiliki lebar hiperree pecahan yang tidak terbatas. Ini menjawab dugaan Grohe dalam negatif.0nn/2

Pada konferensi yang sama, Chen, Thurley, dan Weyer memiliki sebuah makalah dengan hasil yang serupa, tetapi itu membutuhkan embeddings yang kuat sehingga secara teknis bukan bentuk yang tepat untuk dugaan tersebut.

Akhirnya, setiap kelas instance CSP dapat ditransformasikan menjadi representasi dengan lebar hipertensi pecahan kasus terburuk. Dalam banyak kasus, transformasi ini dibatasi secara polinomial dan dapat dilakukan dalam waktu polinomial. Ini berarti bahwa mudah untuk menghasilkan CSP dengan lebar fraksional pecahan yang tidak terbatas, bahkan kesetaraan homomorfik modulo. CSP ini tidak akan berbentuk CSP (A, _) karena struktur targetnya spesial, tetapi mereka memberikan alasan yang rapi mengapa CSP yang didefinisikan dengan membatasi hanya struktur sumbernya tidak terlalu menarik: seringkali hanya terlalu mudah untuk menyembunyikan struktur mirip pohon instance CSP dengan mengubah representasi sehingga struktur sumber memiliki lebar yang besar. (Ini dibahas dalam bab 7 dari tesis saya .)


terima kasih atas tanggapannya. Pertanyaan tindak lanjut cepat: Bacaan saya tentang "Kompleksitas Homomorfisme dan Masalah Kepuasan Kendala Dilihat dari Sisi Lain" adalah apakah ada dikotomi P vs NP-c untuk CSP dalam bentuk CSP (C, _) untuk non-hypergraphs dari arity terbatas, apakah saya benar dalam mempercayainya? Atau lebih tepatnya - tidak ada asumsi / dugaan tersembunyi dalam Corollary 6.1 dari makalah ini yang saya tidak sadari, kan? Atau lebih lanjut, apakah dikotomi hanya ada P vs tidak-P? (Maaf jika ini jelas.)
Daniel Apon

2
@Daniel: Makalah ini bukan tentang dikotomi tetapi tentang tepatnya mengkarakterisasi kasus-kasus yang dibatasi oleh struktur yang dapat dilacak sebagai kasus-kasus dengan lebar yang dibatasi. Lebar terikat diketahui menyiratkan traktat, tetapi bagian utama dari kertas Grohe adalah ke arah lain. Lebar tanpa batas menyiratkan embedding kisi-kisi anak di bawah umur dari ukuran besar yang sewenang-wenang, yang kemudian dapat digunakan untuk menyandikan masalah NP-keras seperti CLIQUE. Dugaan dikotomi Feder / Vardi untuk CSP adalah untuk pembatasan tipe CSP (_, B), yang diyakini dalam P atau NP-complete.
András Salamon

@Daniel: Ngomong-ngomong, hal ini jelas tidak jelas bagi saya saat pertama kali saya membacanya. Ringkasan tajam dari makalah Grohe dalam komentar saya sebelumnya sangat berhutang budi pada Dave Cohen.
András Salamon
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.