Maksimum H-serbest setlerin hesaplanması


11

Bir grafikte, bağımsız bir küme indüklenmiş alt çizgi olarak bir kenar içermeyen bir tepe alt kümesidir. Bir grafikte en büyük bağımsız kümeleri bulma sorunu temel algoritmik bir sorudur ve zor bir sorudur. Bir grafiğin en büyük H-serbest kümesini (daha büyük) bulma konusunda daha genel bir soruyu ele alalım, burada H-serbest, indüklenmiş bir alt grafik olarak H sabit grafiğinin bir kopyasını içeren bir alt çizgi oluşturmaz.

Sabit grafik H için, girdi grafiği G verildiğinde, G'deki en büyük H-serbest setinin boyutunu belirlemek NP zor mu?

Girişleri yukarıdaki soruya doğru evet veya "hayır" cevaplarıyla doldurmak için H (veya H sınıfları) grafiklerinden oluşan bir "tablo" oluşturmak için mantıklı bir yol var mı? ("No" = P olduğunu ve "no" girişinin bile en büyük H-serbest setini oluşturmak için bir çoklu zaman algoritması olduğu anlamına gelelim.)

Başarısız olursa, cevabın evet olduğu önemsiz H sınıfları var mı? ... Hayır?

Genel / H-serbest kromatik sayılarla ilgili iki soruyu inceliyordum - burada ve burada --- H-bağımsızlık numarasının H-serbest analoğunun (görünüşte daha basit) "ikili" probleminin bana geldiği zaman açık da olabilir. Rasgele grafikler için ilgili bir sorunla ilgili klasik makalelerin farkındayım, bkz. hâlâ çok aktif bir araştırma çizgisinde olan Erdos, Suen ve Winkler (1995) veya Bollobas ve Thomason (2000). Belki de zaten bu daha temel soruya hitap etmediğim ve kaba bir internet aramasının ortaya çıkmadığı bazı çalışmalar var (bu nedenle referans-istek etiketi).


3
K ve H'nin her ikisi de sabitse, k boyutundaki köşelerin tüm alt kümelerini numaralandırabilir ve indüklenmiş alt çizgi olarak H içerip içermediklerini kontrol edebilirsiniz. Bu bir polinom zaman algoritması olacaktır.
Robin Kothari

silliness için üzgünüm: düzenleme tüm k örneklerini kaldırmak için!
RJK

Yanıtlar:


10

HHHH

[1] John M. Lewis, Mihalis Yannakakis: Kalıtsal Özellikler için Düğüm-Silme Sorunu NP-Complete'tir. J. Comput. Sist. Sci. 20 (2): 219-230 (1980)


Bulun! Referans için teşekkürler! Belki de bu tür bir yaklaşım, bölme sorunu için de uygulanabilir mi?
RJK

1
Burada akıl yürütmeyi takip etmiyorum. H'nin en az iki köşesi olduğu sürece, H'nin kenarları olmasa bile sorun NP'lidir.
András Salamon

HH

Bu cevap (düzeltme 2) olarak H içermeyen büyük kaynaklı alt grafiğini bulunması problemi belirtir alt grafiği . Lewis ve Yannakakis sonucu olarak H içermeyen büyük kaynaklı alt grafiğini bulunması problemi için de geçerlidir uyarılan alt grafiği , ama özelliği aşikar olmayan olmak için H durum farklıdır.
Tsuyoshi Ito

HH
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.