GI-hard grafik problemi


15

Graph İzomorfizmi ( ) problem için iyi bir adaydır . problemler olmadığı sürece vardır . I için zor olan doğal bir sorun arıyorum Karp indirgenmesi (bir grafik sorunu altında şekilde ).GINPNPP=NPGIXGI<pmX

Doğal var mı ne olduğunu -Zor grafik sorunu -eşdeğer ne de olduğu bilinen -Komple?G I N PGIGINP


Karp azaltımı altında GI eşdeğeri.
Mohammad Al-Turkistany


2
Ladner'ın gecikmiş köşegenleştirmesinin bir varyantında GI'ye "yeterince" klibi harmanlayarak bu tür problemlerin sonsuz bir hiyerarşisini inşa etmek mümkün görünmektedir. Ayrıca bkz. Bodirsky / Chen / Grohe / Thurley / Weyer tarafından önerilen benzer yapı.
András Salamon

Bu arada, başlığı "NP-tam olduğu bilinmeyen GI-sert grafik sorunu" olarak değiştirebilirsiniz. Şu anki başlığı gördüğümde ilk düşüncem "Halka İzomorfizmi!" ama bulduğun cevap (sanırım) çok daha ilginç.
Joshua Grochow

@JoshuaGrochow Geri bildiriminiz için teşekkür ederiz. Sen ne önerirsin? Grafik problemleriyle ilgilendiğime dikkat edin.
Mohammad Al-Turkistany

Yanıtlar:


8

Kapsamlı bir araştırmadan sonra ünlü Grafik Yeniden Yapılandırma varsayımı ile ilgili Meşru Köşe Güverte problemini (LVD) buldum . Grafik bir güverte grafikler bir çoklu dizi F = { G 1 , G, 2 , . . . , G n } , G i'nin G - v i'ye izomorfik olacağı şekilde ( G - v , v'nin çıkarılmasıyla G'den elde edilen bir grafiktirG(V,E)F={G1,G2,...,Gn}GiGviGvGvve olay kenarları). ( )|V|=n

K-MEŞRULUĞUNA Vertex-SUBDECK problemi, grafiklerin çoklu resim verilen , bir grafik yer olup olmadığına karar verme G şekilde F onun tepe-güverte (bir alt kümesidir k-LVD = { [ G 1 , . . . , G, K ] | ( G ) [ [ G 1 , . . . , G,F={G1,G2,...,Gk}GF ) burada k 3{[G1,...,Gk]|(G)[[G1,...,Gk]vertexdeck(G)]}k3

k-LVD sorundur -Zor ve olmaya bilinmemektedir G I -eşdeğer. Bu ister açık bir sorundur k-LVD olan N P -Komple için ( k 3 ). Grafik yeniden yapılandırmasında Karmaşıklık sonuçlarının açık sorunlar bölümüne bakın .GIGINPk3

Ayrıca, kağıt arasındaki ara karmaşık bir sorun varlığını gösterir ve K LVD . Sorundur LVD = N-LVD her n aday kartları verilmiştir (için giriş LVD olan F = { G 1 , G, 2 , . . . , G, n } ) .GInF={G1,G2,...,Gn})


0

Daha basit bir sorun WEIGHTED_HYPERGRAPH_ISOMORPHISM olabilir. İki hypergraphs verilmiştir ve G 2 üzerinde , n bir köşe permütasyon varsa ağırlıklı hiper-kenarlı köşe karar s ı dönüm G 1 içine G 2 .G1G2npiG1G2

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.