Dua grafik G, H adalah isomorfis jika ada relabeling dari simpul G yang menghasilkan H, dan sebaliknya. Masalah grafik isomorfisme (GI) adalah untuk memutuskan apakah dua yang diberikan adalah isomorfik. Selain kepentingan praktisnya, hal itu diidentifikasi oleh Karp pada tahun 1972 sebagai memiliki kompleksitas yang tidak diketahui, adalah salah satu dari beberapa kandidat alami yang tersisa untuk masalah perantara-NP, dan mengarah pada penciptaan kelas kompleksitas AM.
Misalkan dan adalah dua grafik tidak berarah pada set simpul . isomorfik jika dan hanya jika ada permutasi sedemikian sehingga , atau lebih resmi, jika ada permutasi sedemikian sehingga adalah ujung dalam jika dan hanya jika adalah keunggulan dalam . Masalah Grafik Isomorfisme adalah masalah...
Masalah Graph Isomorphism (GI) bisa dibilang kandidat yang paling dikenal untuk masalah NP-intermediate . Algoritma yang paling dikenal adalah algoritma sub-eksponensial dengan run-time . Diketahui bahwa GI bukan-complete kecualihierarki polinomialnyaruntuh.2O ( n logn√)2O(nlogn)2^{O(\sqrt{n \log...
Diberikan masalah baru di yang kompleksitas sebenarnya ada di antara dan NP-complete, ada dua metode yang saya tahu yang mungkin digunakan untuk membuktikan bahwa menyelesaikan ini sulit:PNPNP\mathsf{NP}PP\mathsf{P} Tunjukkan bahwa masalahnya adalah GI-complete (GI = Graph Isomorphism) Tunjukkan...
Nondeterminism dibatasi mengaitkan fungsi dengan kelas C bahasa diterima oleh mesin Turing deterministik sumber daya dibatasi, untuk membentuk kelas baru g - C . Kelas ini terdiri dari bahasa-bahasa yang diterima oleh beberapa mesin Turing nondeterministic M mematuhi batas sumber daya yang sama...
Sangat mudah untuk melihat bahwa grafik isomorfisma (GI) dalam NP. Ini adalah masalah terbuka utama apakah GI ada dalam coNP. Apakah ada kandidat potensial dari properti grafik yang dapat digunakan sebagai sertifikat coNP dari GI. dugaan yang menyiratkan ? Apa saja implikasi dari ?G I ∈ c o N PG I∈...
Saya kira saya membaca terlalu banyak makalah KoRR yang ambisius . Masalahnya adalah bahwa kertas-kertas itu tidak ditinjau oleh rekan, tetapi sering terdengar menarik dan lulus pemeriksaan masuk akal dasar. Atau mungkin tidak, dan saya hanya perlu meningkatkan pemeriksaan masuk akal saya. Berikut...
Saya mencoba memahami hubungan antara isomorfisme grafik dan masalah subkelompok tersembunyi. Apakah ada referensi yang bagus untuk
Sudah lebih dari setahun sejak pencabutan dan koreksi Januari 2017. Apakah ada berita? Jika tidak apakah ini normal untuk validasi selama ini? Saya berharap itu akan mendapat banyak perhatian. Adakah yang diketahui berbicara untuk mendukung / meragukan hasil kuasi
Termotivasi oleh komentar Fortnow pada posting saya, Bukti bahwa masalah Graph Isomorphism bukan -completeNPNPNP , dan oleh fakta bahwa adalah kandidat utama untuk -intermediate problem (bukan -complete atau ), saya tertarik pada bukti yang diketahui bahwa tidak dalam
Terinspirasi oleh pertanyaan adalah faktor yang dikenal sebagai P-hard , saya bertanya-tanya seperti apa pengetahuan saat ini tentang kekerasan grafik isomorfisme. Saya yakin bahwa saat ini tidak diketahui apakah GI ada di P, tetapi: apa kelas terbesar yang saat ini diketahui bahwa GI lebih...
Sambil berpikir tentang kerumitan pengujian isomorfisme dari grafik asimetris (lihat pertanyaan terkait saya tentang teori), pertanyaan pelengkap muncul di benak saya. Misalkan kita memiliki waktu polinomial mesin Turing MMM yang pada input 1n1n1^n menghasilkan grafik GM,nGM,nG_{M,n} dengan nnn...
Saat ini saya sedang melakukan survei literatur tentang masalah Graph isomorphism (GI). Saya ingin mengetahui beberapa pertanyaan terbuka terkait hal-hal berikut Apa parameter grafik yang traktabilitas parameter tetap GI merupakan masalah terbuka. Apa parameter grafik, dengan memperbaikinya...
Saya membaca tentang kelas graf yang Graph isomorfisma ( ) dalam P . Salah satu kasus tersebut adalah grafik valensi terikat (maksimum lebih dari derajat setiap simpul) seperti yang dijelaskan di sini . Tapi saya merasa terlalu abstrak. Saya akan berterima kasih jika ada yang bisa menyarankan saya...
Saya sedang melakukan beberapa tinjauan literatur tentang masalah Graph isomorphism. Sebagian besar makalah yang saya baca ditulis oleh EM Luks dan Laszlo Babai. Makalah ini menggunakan pengetahuan tingkat tinggi teori grup dan teori kompleksitas. Karena saya baru di bidang ini, banyak hal yang...
Dengan diberikannya kelompok simetri dan dua subkelompok , dan , apakah tahan?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Sejauh yang saya tahu, masalahnya dikenal sebagai masalah persimpangan coset. Saya bertanya-tanya apa kerumitannya? Secara khusus, apakah...
The titik -Tetap masalah automorphism bebas meminta grafik automorphism yang bergerak setidaknya node. Masalahnya adalah -complete jika untuk > 0.kkkN P k ( n ) = n c ck(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Namun, jika maka masalahnya adalah waktu polinomial Turing yang dapat direduksi...
Saya tertarik dengan masalah ini: Diberi grafik tidak terarah , Apakah ada partisi ke dalam grafik dan sedemikian sehingga dan isomorfis?G G 1 ( E 1 , V 1 ) G 2 ( E 2 , V 2 ) G 1 G 2G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Di sini dipartisi...
Apakah kasus grafik sangat teratur yang paling sulit untuk pengujian GI? di mana "paling sulit" digunakan dalam beberapa arti "akal sehat", atau "rata-rata", untuk berbicara. Wolfram MathWorld menyebutkan beberapa "grafik yang sulit secara patologis". Apakah mereka? Kumpulan sampel saya yang...
Dalam makalah Suatu Algoritma Efisien untuk Grafik Isomorfisme oleh Corneil dan Gotlieb, 1970 sebuah dugaan dinyatakan di mana algoritma yang dinyatakan diandalkan untuk menyelesaikan GI dalam waktu polinomial. Yaitu: bahwa grafik yang representatif menunjukkan partisi automorfisme dari grafik...
Hal ini tidak diketahui apakah grafik isomorfisma (GI) untuk grafik sangat teratur (SRGs) dalam P . Apakah ada petunjuk bahwa itu mungkin atau mungkin tidak GI -Lengkap? Adakah konsekuensi kuat dalam kasus-kasus seperti itu? (Mirip dengan keyakinan bahwa GI mungkin tidak