Masalah lengkap alami di tingkat yang lebih tinggi dari hirarki-


13

The -hierarchy adalah hirarki kelas kompleksitas W [ t ] dalam kompleksitas parameter, lihat Zoo Kompleksitas untuk definisi. Definisi alternatif mendefinisikan W [ t ] menggunakan pembobotan Fagin tertimbang untuk Π t- formula logika orde pertama, lihat buku teks oleh Flum dan Grohe .WW[t]W[t]Πt

Untuk kelas terendah dan W [ 2 ] , banyak masalah alami lengkap diketahui, misalnya Clique dan Independent Set lengkap untuk W [ 1 ] , dan Dominating Set dan Hitting Set lengkap untuk W [ 2 ] , di mana masing-masing masalah ini didefinisikan sebagai yang sesuai terkenal N P masalah -Lengkap dengan ukuran set solusi yang diperlukan sebagai parameter. W[1]W[2]W[1]W[2]NP

Adakah masalah alami lengkap yang diketahui untuk kelas yang lebih tinggi di hirarki- , khususnya untuk W [ 3 ] dan W [ 4 ] ?WW[3]W[4]


2
Dalam tulisan ini dibuktikan bahwa p-HYPERGRAPH- (NON) -DOMINATING-SET adalah W [3] -lengkap di bawah pengurangan-fpt ... tapi saya pikir sulit untuk menganggapnya "alami" :-) :-)
Marzio De Biasi

2
Yah, setidaknya itu terlihat lebih alami daripada masalah yang menentukan, bukan?
Jan Johannsen

Jawaban:


11

Dari komentar di atas:

-HYPERGRAPH- (NON) -DOMINATING-SETpadalah W [3] -lengkap di bawah fpt-reduksi:

Hypergraph terdiri dari satu set V dari simpul dan satu set E dari hyperedges. Setiap hyperedge adalah sebagai bagian dari V . Dalam 3-hypergraph semua sisi memiliki ukuran 3. Jika H = ( V , E ) adalah 3-hypergraph, setiap a V menginduksi grafik H a = ( V a , E a ) yang diberikan oleh:H=(V,E)VEVH=(V,E)aVHa=(Va,Ea)

dan E a = { { u , v } { a , u , v } E }Va={vVva and there is eE with a,ve}Ea={{u,v}{a,u,v}E}

Input : A 3-hypergraph , himpunan M V , dan k 1 . Parameter : k . Masalah : Putuskan apakah ada set D V kardinalitas k sedemikian rupa sehingga:H=(V,E)MVk1
k
DVk

  • jika , maka D adalah satu set mendominasi H a ,aMDHa
  • jika , maka D bukanlah himpunan dominan dari H a .aMDHa

lihat Yijia Chen, Jörg Flum dan Martin Grohe. Analisis Hirarki W *. Jurnal Logika Simbolik, Vol. 72, No. 2 (Jun., 2007), hlm. 513-534


13

Saya percaya judul makalah ini cukup jelas dan menjawab pertanyaan Anda: Mengenai produk yang mencakup model rantai pasokan 3-tier: Masalah lengkap alami untuk W [3] dan W [4]


Definisi masalah dalam makalah itu tidak terlalu mudah dibaca, karena penulis tidak secara jelas membedakan antara model dan apa yang sedang dimodelkan. Tapi sejauh yang saya mengerti mereka, mereka hanya menyamar masalah SAT sirkuit tipis. Mereka mungkin berguna untuk domain aplikasi, tetapi saya ragu mereka lebih nyaman untuk dikurangi.
Jan Johannsen

Saya sebagian setuju dengan Anda tentang masalah ini tidak sealami vertex cover / clique / mendominasi set dll. Tetapi dengan semakin banyak masalah dipelajari tetapi tidak ada kandidat baru yang muncul, kita mungkin harus beralih ke masalah sub-alami ini.
Yixin Cao

Saya tidak mengatakan bahwa masalah ini tidak wajar. Apa yang saya katakan adalah bahwa mereka tidak jauh berbeda dari masalah SAT tertimbang untuk kedalaman tiga sirkuit. Sejauh yang saya mengerti, mereka kurang lebih masalah yang sama ditulis dalam terminologi yang berbeda.
Jan Johannsen
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.