Mengikuti pertanyaan setara tentang NP-Completeness (lihat pertanyaan bobot dan pertanyaan terarah ), saya bertanya-tanya bagaimana masalah parameterisasi dipengaruhi oleh atribut ini.
- Yang masalah grafik -Hard adalah W [ 1 ] -Hard pada grafik diarahkan, tapi tetap parameter penurut pada grafik diarahkan?
- Yang masalah grafik -Hard adalah W [ 1 ] -Hard pada grafik tertimbang, tapi tetap parameter penurut pada grafik tertimbang?
OK, jadi kami memiliki masalah yang menjadi lebih sulit pada versi yang diarahkan. Bagaimana dengan bobot? Bisakah mereka membuat masalah parameterisasi lebih sulit?
Jawaban:
sumber
Komputasi lebar pohon dan dekomposisi pohon dalam grafik yang tidak diarahkan adalah parameter lebar FPT wrt. Banyak ukuran lebar digraf (atau gim yang sesuai) setara dengan lebar pohon dalam grafik yang tidak diarahkan. Kelas kompleksitas yang tepat dari banyak dari mereka tidak diketahui tetapi baru-baru ini menunjukkan bahwa DAG-Width adalah PSPACE-complete .
sumber