Masalah subgraph terhubung berat-maksimum dalam grafik planar

8

Masalah subgraph terhubung maksimum-berat adalah sebagai berikut:

Input: grafik dan berat (mungkin negatif) untuk setiap titik .w i i VG=(V,E)wsayasayaV

Keluaran: subset maksimum-berat dari simpul sedemikian sehingga terhubung.G [ S ]SG[S]

Masalah ini NP-hard. David S. Johnson menyebutkan pada hal. 149 dari kolom ini bahwa masalahnya tetap sulit dalam grafik planar dari tingkat tiga maksimum dengan semua bobot baik atau .- 1+1-1

Saya tidak dapat menemukan kertas yang dikutip - A. Vergis, manuskrip (1983)

Ada ide tentang di mana menemukan kertas itu? Atau pengurangan apa itu?

Austin Buchanan
sumber

Jawaban:

3

Dalam "The NP-Completeness Column: An Ongoing Guide" nomor 14, Johnson menulis "... Vergis [49]. Transformasi dari STEINER TREE IN GRAPHS [ND12] ..." . Saya tidak memiliki akses ke makalah Vergis, namun kemungkinan pengurangannya adalah sebagai berikut.

Steiner Tree (ST) dalam masalah grafik

Instance : grafik tak berarah , subset dari simpul R V , disebut terminal node ; bilangan bulat non-negatif kG=(V,E)RVk

Pertanyaan : apakah ada subtree yang mencakup semua simpul R (pohon spanning untuk R ) dan yang paling banyak berisi tepi k ?GRRk

Masalahnya tetap NPC bahkan untuk grafik planar (M. Garey dan D. Johnson. Masalah Steiner tree bujursangkar adalah NP-lengkap).

Diberikan turunan dari planar ST, untuk sekarang anggaplah bahwa Anda dapat menetapkan bobot sewenang-wenang untuk node. Jika dan | E | = q , Anda dapat menetapkan bobot q + 1 ke node R dan Anda dapat menambahkan simpul tengah ke setiap tepi E dan menetapkan bobot - 1 ke dalamnya. Berat badan menetapkan 0 untuk node yang tersisa di V R . Grafik asli G memiliki spanning tree untuk R dengan paling banyak k|R|=hal|E|=qq+1RE-10VRGRkujung-ujungnya jika dan hanya jika dalam grafik yang ditransformasikan, Anda dapat menemukan subgraf bobot target lebih besar atau sama dengan .W=hal(q+1)-k

Secara informal untuk mencapai jumlah Anda harus menyertakan semua simpul R dalam subgraf, dan Anda harus menyertakan paling banyak simpul tengah k (sesuai dengan tepi G ) yang memiliki bobot negatif -1 agar tetap terhubung .hal(q+1)RkG

Anda dapat mengurangi derajat maks dari keseluruhan grafik menjadi tiga dengan cara ini: jika hanya mengubah setiap simpul u i ke rantai lingkaran simpul D (dan sesuaikan nilai p sesuai). Hubungkan tepi masuk ke node yang berbeda dari rantai (yang akan memiliki derajat 3).D=maks{deg(kamusaya)kamusayaV}kamusayaDhal

Dan jika Anda hanya ingin menggunakan bobot maka Anda harus: (A) menetapkan + 1 untuk semua node dari rantai bundar yang sesuai dengan node di V R , (B) mengubah setiap node tengah menjadi rantai linier node berat - 1 dan panjang l E = | V R | + 1 , dan (C) lebih memperluas rantai melingkar (dengan berat 1) sesuai dengan node R untuk setidaknya panjang l R =+1,-1
+1VR
-1lE=|VR|+1
R ; dan set Target berat W = p l R - k l E . Secara informal, rantai yang diperluas dan target baru membuatbobot + 1 dari simpul yang terkait dengan V R (titik A) tidak relevan.lR=lE(|E|+1)W=hallR-klE
+1VR

Marzio De Biasi
sumber
1
Anda sangat cepat mendesain gadget NP-hardness!
Suresh Venkat
1
@ SureshVenkat: tapi saya masih tidak yakin itu benar: -S. Namun saya juga mengkhususkan diri dalam pengurangan "Reinventing The Wheel" (RTW) :-). Selanjutnya dengan kamu Anda dapat menggambar grafik dalam beberapa menit ... menggunakan tikzit akan memakan waktu berjam-jam :).
Marzio De Biasi
Ketika ada tugas yang memuaskan, bagaimana Anda memastikan itu terhubung?
Austin Buchanan
@AustinBuchanan: Saya mengubah seluruh bukti ... melihat apakah ia dapat bekerja (yang sebelumnya ditambal dengan tepi adalah benar tetapi tidak menjamin graf planar :-)(ysaya,ysaya+1)
Marzio De Biasi