Apakah kerumitan masalah peliputan ini diketahui?

9

Biarkan menjadi grafik. Sebuah himpunan titik disebut penting jika dan tidak ada titik di berdekatan dengan tepat satu titik di . Masalahnya adalah untuk menemukan satu set titik dari ukuran minimum sehingga untuk setiap set kritis .G=(V,E)XVXVXXSVSXX

Masalahnya memiliki interpretasi rumor menyebar berikut: Vertex menyebar rumor untuk tetangganya jika dan hanya jika semua tetangga lainnya dari sudah diberitahu. Pertanyaannya adalah berapa banyak simpul yang harus saya informasikan pada awalnya untuk memastikan bahwa semua orang diberitahu pada akhirnya.iji

Thomas Kalinowski
sumber
Ini memiliki solusi yang cukup sederhana, jadi mungkin masalahnya memiliki lebih banyak kondisi daripada yang ditentukan; mengabaikan kasus khusus dan jika G terhubung, setiap vertex v dengan gelar > 1 memiliki seperangkat kritis V { v } yang terkait dengan itu, sehingga hanya tetangga eksklusif deg 1 simpul dapat di S . Jika verteks seperti itu ada, maka G adalah grafik bintang dan pusatnya (sebagai singleton) adalah S minimal yang unik . Jika G tidak terhubung maka lihat setiap komponen yang terhubung. X=VGv>1V{v}SGSG
Joe Bebel
1
K1,nn2n-1
Oh, saya melihat interpetasi saya yang salah
Joe Bebel
Pertanyaan yang sangat menarik, satu quibble minor: Anda mungkin ingin meminta set kritis Anda menjadi kosong (jika tidak ada ). S
Klaus Draeger
1
@ JoBebel: Masalah keputusan "Apakah ada solusi menetapkan ukuran paling banyak ?" dalam NP. Anda dapat memeriksa apakah himpunan adalah solusi dengan algoritma berikut. Sementara ada titik yang memiliki tepat pada tetangga luar , menambahkan untuk S . Jika S pada akhirnya mengandung semua simpul maka set awal Anda adalah solusi, jika tidak Anda terjebak, dan komplemen dari set akhir adalah set kritis, jadi S awal bukan solusi. SKSvSwSwSSS
Thomas Kalinowski

Jawaban:

5

Masalahnya dikenal sebagai masalah propagasi . Aazami telah membuktikan dalam tesis PhD-nya bahwa versi berbobot adalah NP-lengkap bahkan ketika grafik planar dan bobot simpul berada di . Kompleksitas untuk versi tidak tertimbang tampaknya menjadi masalah terbuka.{0,1}

Thomas Kalinowski
sumber