Ağaç genişliğinin hesaplanması zor (kolay) olan ilginç grafik sınıfları var mı?


13

Treewith, bir grafiğin ağaç olmaktan ne kadar yakın olduğunu gösteren önemli bir grafik parametresidir (sıkı bir topolojik anlamda olmasa da).

Trewidth hesaplamanın NP-sert olduğu iyi bilinmektedir.

Ağaç genişliğinin hesaplanmasının zor olduğu doğal grafik sınıfları var mı?

Benzer şekilde:

Ağaç genişliğinin hesaplanmasının kolay olduğu ilginç grafik sınıfları var mı? Evet ise, yararlanabilecek yapısal bir özellik / test var mı? Yani, Grafiği hesaplayan özelliğine sahiptir .X G PGX GP


Ağaç genişliğinin sınırlanmış veya sınırsız olduğu grafik sınıfları için graphclasses.org; treewidth parametresini arayın ve treewidth'in sınırlı (veya sınırsız) olduğu grafik lasses listesini alacaksınız: graphclasses.org/classes/par_10.html
Cyriac Antony

Ayrıca, treewidth ayrışmasının zor (veya kolay) olduğu sınıfları görmek için kendi java uygulamasını kullanabilirsiniz
Cyriac Antony

Yanıtlar:


16

Treewidth gerçekten eş bipartit grafikler hesaplamak için NP-zor olan treewidth orijinal NP sertlik dayanıklı Arnborg et al. bunu gösterir. Buna ek olarak, Bodlaender ve Thilikos maksimum derece grafik trewthth hesaplamak NP zor olduğunu gösterdi . Son olarak, treewidth en azından herhangi bir grafik için , alt bölümlere ayırma , bir kenarı (yani, bir dereceye kadar bir kenar yerine iki kenar uç noktası bitişik tepe) Grafiğin treeewidth değiştirmez. Bu nedenle, keyfi olarak büyük çevrenin bipartit 2-dejenere grafiklerinin treidth'ini hesaplamak NP zordur.2 2922

Sorun, kordal grafiklerde, permütasyon grafiklerinde ve daha genel olarak polinom sayısı potansiyel maksimum klipleri olan tüm grafik sınıflarında polinom zamanıyla çözülebilir, Bouchitte ve Todinca'nın bu makalesine bakın . Aynı kağıt buluşun bu Not bu yapı , bir grafik potansiyel maksimum cliques hesaplanabilir zamanlı . Ayrıca Bodlaender algoritması olup olmadığını belirler en treewidth sahip sürede . Bu nedenle, treidth, treidth grafikleri için polinom zamanıyla çözülebilir .G, G O ( | Π ( G ) | 2n O ( 1 ) ) G k 2 O ( k 3 ) n, O ( ( log n ) 1 / 3 )Π(G)GGO(|Π(G)|2nO(1))Gk2O(k3)nO((logn)1/3)

Düzlemsel grafiklerin trewidth'inin hesaplanmasının polinom zamanla çözülebilir veya NP tamamlanmış olması olağanüstü bir açık sorundur. İlgili grafik parametresi dal genişliğinin (her zaman treewthth'ten 1.5 faktör uzakta) olan düzlemsel grafiklerde polinom zamanının hesaplanabileceğini belirtmek gerekir .


Teşekkür ederim. Yani zor olduğu bilinen tek sınıf ortak-iki taraflı grafikler mi? Potansiyel maksimal kliklerin özelliği benim için şaşırtıcı görünmüyor. Bu tesis P-süresi test edilebilir mi?
17'de PsySp

1
2 köşe alın ve her yolda 3 köşe bulunan (n-2) / 3 yolla bağlayın. Kabaca pmcs vardır. 3n/3
daniello

8
Bodlaender ve Thilikos [DAM 79 (1997) 45-61], trewidth işleminin maksimum derece 9 grafikler için NP-zor olduğunu gösterdi.
Yota Otachi

2
Birlikte bipartit grafikler için sertliğe ek olarak, treewidth hesaplamanın, bence Ton Kloks tarafından doktora tezinde bipartit grafikler için de zor olduğu belirtilmelidir.
vb le

2
Yaklaşık karmaşıklığı ve parametreleştirilmiş alt sınırları hakkında (neredeyse) hiçbir şeyin bilinmediğinden bahsedebilirsiniz. Prensipte, her ikisi de pek olası olmasa da, PTAS veya alt-üstel zaman algoritması olabilir. Tek yaklaşık sertlik, küçük set genişlemesine (SSE) dayanan sertliktir. DOI: 10.1613 / jair.4030.
Yixin Cao
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.