Masalah grafik GI-hard tidak dikenal sebagai

15

Grafik isomorfisma ( ) adalah calon yang baik untuk N P masalah -intermediate. N P masalah -intermediate ada kecuali P = N P . Saya mencari masalah alam yang sulit untuk G Aku di bawah pengurangan Karp (A masalah grafik X sehingga G Saya < m p X ).GINPNPP=NPGIXGI<pmX

Apakah ada masalah -hard graph alami yang bukan G I- equivalent atau dikenal sebagai N P -complete?GIGINP

Mohammad Al-Turkistany
sumber
Setara dengan GI dalam pengurangan Karp.
Mohammad Al-Turkistany
1
kandidat: masalah antara P dan NPC
vzn
2
Tampaknya mungkin untuk membangun hierarki yang tak terbatas dari masalah-masalah seperti itu, dengan memadukan "cukup banyak" Clique ke dalam GI, dalam varian diagonalisasi yang tertunda di Ladner. Lihat juga konstruksi serupa yang disarankan oleh Bodirsky / Chen / Grohe / Thurley / Weyer.
András Salamon
Omong-omong, Anda mungkin mengubah judul menjadi "Masalah grafik hard-GI yang tidak dikenal sebagai NP-complete." Pikiran pertama saya ketika saya melihat judul saat ini adalah "Ring Isomorphism!" tetapi jawaban yang Anda temukan adalah (saya pikir) secara signifikan lebih menarik.
Joshua Grochow
@ JoshuaGrochow Terima kasih atas tanggapan Anda. Apa yang Anda sarankan? Perhatikan bahwa saya tertarik dengan masalah grafik.
Mohammad Al-Turkistany

Jawaban:

8

Setelah pencarian yang ekstensif, saya menemukan masalah Deck Vertex Sah (LVD) yang terkait dengan dugaan Graph Reconstruction . Sebuah dek grafik adalah multi-set grafik F = { G 1 , G 2 , . . . , G n } sedemikian rupa sehingga G i adalah isomorfik ke G - v i ( G - v adalah grafik yang diperoleh dari G dengan menghapus vG(V,E)F={G1,G2,...,Gn}GiGviGvGvdan tepi insidennya). ( )|V|=n

Masalah VERTEX-SUBDECK k-SAH, diberikan multi-set grafik , Putuskan apakah ada grafik G sehingga F merupakan subset dari yang vertex-deck ( k-LVD = { [ G 1 , . . . , G k ] | ( G ) [ [ G 1 , . . . , GF={G1,G2,...,Gk}GF ) di mana k 3{[G1,...,Gk]|(G)[[G1,...,Gk]vertexdeck(G)]}k3

Masalah k-LVD adalah -hard dan tidak dikenal sebagai G I- equivalent. Sudah menjadi masalah terbuka apakah k-LVD adalah N P -complete (untuk k 3 ). Lihat bagian masalah terbuka hasil Kompleksitas dalam rekonstruksi grafik .GIGINPk3

Juga, makalah ini menyarankan adanya masalah kompleksitas menengah antara dan k-LVD . Masalahnya adalah LVD = n-LVD mana semua n kartu calon diberikan (Input untuk LVD adalah F = { G 1 , G 2 , . . . , G n } ) .GInF={G1,G2,...,Gn})

Mohammad Al-Turkistany
sumber
0

G1G2npiG1G2


sumber