Kompleksitas masalah himpunan mendominasi dalam subclass spesifik grafik chordal

13

Saya tertarik pada kompleksitas masalah set mendominasi (DSP) di beberapa kelas grafik tertentu yang merupakan subkelas dari grafik chordal .

Grafik adalah grafik lintasan yang tidak diarahkan jika itu adalah grafik persimpangan-simpul dari keluarga lintasan di beberapa pohon yang tidak diarahkan. Biarkan UP menjadi kelas grafik jalur yang tidak diarahkan.

Grafik adalah grafik EPT jika itu adalah grafik persimpangan-sisi dari keluarga jalur di beberapa pohon yang tidak diarahkan. Grafik EPT mungkin bukan chordal, tetapi biarkan CEPT menjadi kelas grafik EPT chordal.

Grafik adalah grafik jalur terarah (yang berakar) jika itu adalah grafik persimpangan-simpul dari keluarga jalur berarah di beberapa pohon berarah yang di-root (yaitu semua busur diarahkan menjauh dari root). Biarkan RDP menjadi kelas grafik jalur terarah (yang di-root).

Kami memiliki RDPCEPTUPchHairdSebuahl

Diketahui bahwa DSP adalah linear-time solvable untuk grafik dalam RDP tetapi NP-complete untuk grafik UP [ Booth dan Johnson, 1981 ]

Saya tertarik pada grafik khusus yang berhubungan dengan grafik persimpangan-titik keluarga dari jalur yang tidak diarahkan pada pohon seperti ulat dengan derajat maksimum 3. Lebih tepatnya, "ulat" ini dibangun dari jalur di mana setiap simpul kedua memiliki derajat liontin. satu titik terlampir. Mari kita sebut kelas ini cat-UP.

Selain itu, grafik khusus saya juga dapat dibangun sebagai grafik persimpangan-tepi dari beberapa keluarga jalur tidak berarah di pohon tertentu dengan derajat maksimum 3.

Jadi pertanyaan saya adalah:

1) Apakah kompleksitas DSP untuk grafik cat-UP diketahui? (perhatikan bahwa pengurangan [ Booth dan Johnson, 1981 ] menghasilkan pohon inang dengan derajat maksimum 3, tetapi cukup jauh dari ulat)

2) Apa kompleksitas DSP untuk grafik CEPT? Dan untuk grafik CEPT yang muncul dari pohon host tingkat maksimum 3? ( ini tidak diketahui oleh ISGCI )

3) Apakah ada hasil kompleksitas untuk DSP dalam keluarga grafik terkait erat?

Florent Foucaud
sumber
Saya suka pertanyaan Anda tentang kompleksitas untuk DSP di sini. Tertarik dengan apa yang berasal dari ini
Gabriel Fair

Jawaban:

4

Sayang sekali Anda telah menunggu begitu lama tanpa mendapatkan jawaban. Saya tidak tahu untuk kelas yang Anda minta, tetapi saya tahu beberapa kelas grafik terkait dan teknik baru yang dapat Anda coba.

Pertama saya akan menyebutkan bahwa Steven Chaplick telah melakukan pekerjaan pada kelas grafik terkait, ia menyelesaikan tesisnya awal tahun ini, Anda mungkin menemukan penelitiannya menarik.

Saya tahu beberapa hasil dalam arah ini mengikuti dari pekerjaan saya sendiri Kelas Grafik dengan Lingkungan Terstruktur dan Aplikasi Algoritma Ini memberikan teknik umum untuk menyelesaikan berbagai masalah termasuk DSP di kelas grafik tertentu. Kami melakukan ini dengan memperkenalkan dekomposisi grafik baru (lihat tesis saya ).

Sebagai contoh jika kita memberikan model persimpangan UP di mana pohon memiliki derajat max d dan jalur memiliki panjang max s kita dapat menyelesaikan dominasi set di (d-1)3(s-1)halHaily(n).

Mirip jika kita memiliki grafik yang diberikan dengan model persimpangan yang terdiri dari 0jalur -bend di k×n kisi (untuk k konstan).

Teknik yang sama mungkin bekerja untuk CEPT yang muncul dari pohon host tingkat maksimum 3, tapi saya perlu lebih banyak waktu untuk memahami kelas ini. Jika Anda memiliki tautan ke beberapa penokohan di kelas ini, itu akan membantu.

Martin Vatshelle
sumber
Terima kasih atas jawaban Anda, Martin. Sebenarnya saya telah menyadari pekerjaan Anda pada lebar boolean (Gabriel Renault, yang adalah seorang rekan di sini, menunjukkannya kepada saya) dan saya telah mencoba pendekatan ini sekitar setahun yang lalu, tanpa hasil. Grafik saya, saya pikir, dapat memiliki linear boolean-width: jika saya ingat betul, mereka lebih atau kurang adalah grafik persimpangan jalur grafik sisir (grafik jalur + satu simpul liontin per simpul awal), dengan titik akhir dari semua jalur menjadi derajat-1-simpul. Tapi saya harus melihat pekerjaan Anda.
Florent Foucaud