Memukul set keluarga berpotongan berpasangan


15

Sebuah set memukul dari keluarga adalah bagian dari sehingga untuk . Masalah untuk menemukan set minimum memukul keluarga yang diberikan adalah NP-hard secara umum, karena itu menggeneralisasi masalah vertex cover. Sekarang pertanyaan saya adalah:H n i = 1 S i H S i1 i nS={S1,...,Sn}Hsaya=1nSsayaHSsaya1sayan

Apakah masalah hitting set tetap NP-keras ketika elemen S berpasangan berpotongan?

Saya juga tertarik pada kekerasan perkiraan (atau traktabilitas) dari masalah ini.

Jawaban:


11

Jawabannya adalah ya - masalahnya masih NP-Lengkap. untuk setiap set buat elemen palsu dan buat set baru S_i' = S_i \ cup \ {e_i '\} dan S_i' '= S_i \ cup \ {e_i' '\}} . Sangat mudah untuk memverifikasi bahwa hitting set dari sistem lama adalah hitting set dari sistem baru. Selain itu, kecuali untuk elemen palsu, setiap elemen sekarang mencapai setidaknya tiga set.e i , e i S i = S i{ e i } S i = S i{ e i }Ssayaesaya,esayaSsaya=Ssaya{esaya}Ssaya=Ssaya{esaya}

Selanjutnya, untuk setiap pasangan set dalam sistem baru (sebut saja Tsaya dan Tj untuk menghindari kebingungan), buat elemen palsu xsayaj dan tambahkan ke Tsaya dan Tj . Jelas, dalam sistem himpunan yang dihasilkan, semua himpunan berpasangan berpasangan, tetapi hitting set optimal asli masih set hitting optimal untuk sistem terbaru ini.

Tanpa batasan lebih lanjut, masalahnya tampak sekeras masalah aslinya.

BTW, membuktikan bahwa memang solusi optimal tidak akan menggunakan elemen palsu tidak sepele. Pertama, kita dapat mengasumsikan bahwa hitting set yang diberikan untuk sistem baru tidak termasuk atau , karena jika tidak kita dapat memindahkan elemen ke elemen asli set, dan mendapatkan set pukulan dengan ukuran yang sama. Ini sedikit lebih halus untuk melihat mengapa elemen tidak dalam set memukul optimal. Karena membosankan, saya hanya akan meninggalkan petunjuk: membangun grafik yang menghubungkan dua set dan dalam sistem asli jika menghubungkan dua set yang diturunkan dari set ini. Berargumen bahwa grafik ini dalam hitting set minimal harusesayaesayaxsayajSsayaSjxsayaj3teratur, dan dengan demikian jumlah tepi di dalamnya benar-benar melebihi jumlah set yang ada sebagai simpul. Dengan demikian, seseorang dapat menemukan set pukulan yang lebih kecil untuk set ini.


Terima kasih atas buktimu yang bagus. Saya pikir pembatasan mungkin membuat masalah mudah, dan saya salah.
Yota Otachi
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.