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...
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...
Pertimbangkan masalah berikut: Diberikan grafik kueri G=(V,E)G=(V,E)G = (V, E) dan grafik referensi , kami ingin menemukan pemetaan injeksi yang meminimalkan jumlah ujung-ujungnya ( v 1 , v 2 ) ∈ E sedemikian sehingga ( f ( v 1 ) , f ( v 2 ) ) ∉ E ′ . Ini adalah generalisasi dari masalah...
The 1-dim algoritma Weisfeiler-Lehman (WL) umumnya dikenal sebagai label kanonik atau algoritma warna perbaikan. Ia bekerja sebagai berikut: Pewarnaan awal seragam, untuk semua simpul .C0C0C_0C0( v ) = 1C0(v)=1C_0(v) = 1v ∈ V( G ) ∪ V( H)v∈V(G)∪V(H)v \in V (G) \cup V (H) Dalam putaran st, warna C...
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
Masalah GI dan Knot keduanya merupakan masalah dalam menentukan kesetaraan struktural dari objek matematika. Apakah ada hasil yang membuat koneksi di antara mereka? Koneksi bagus masalah simpul ke fisika statistik telah dieksplorasi melalui simpul polinomial , apakah ada hasil yang serupa untuk ?G...
Saya merevisi beberapa model kriptografi. Untuk menunjukkan kekurangannya, saya telah menyusun protokol yang dibuat berdasarkan isomorfisme grafik. Adalah "lumrah" (namun kontroversial!) Untuk mengasumsikan keberadaan algoritma BPP yang mampu menghasilkan "contoh sulit dari masalah Grafik...
Diberikan grup permutasi pada [ n ] = { 1 , ⋯ , n } , dan dua vektor u , v ∈ Γ n di mana Γ adalah alfabet terbatas yang tidak cukup relevan di sini, pertanyaannya adalah apakah ada beberapa π ∈ G sedemikian rupa sehingga π ( u ) = v di mana π ( u ) berarti menerapkan permutasi π pada Anda dengan...
Saya punya (mudah-mudahan sederhana, mungkin bodoh) pertanyaan di kertas tengara Babai yang menunjukkan bahwa quasipolynomial.G IGsaya\mathsf{GI} Babai menunjukkan cara menghasilkan sertifikat yang dua grafik untuk isomorfik, dalam waktu kuasipolinomial
Saat membaca pertanyaan Contoh dimana keunikan dari solusi membuatnya lebih mudah untuk menemukan , baru (? Mudah) pertanyaan datang ke pikiran saya: sebenarnya kita tidak tahu apakah Grafik isomorfisma ( ) masalah adalah di P .GIGIGIPPP Tapi apa yang terjadi jika kita berasumsi bahwa kedua dan G...
Saya ingin menjadi sangat spesifik. Adakah yang tahu tentang penolakan atau bukti dari proposisi berikut: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in...
Apa masalah lain yang berbeda dari bahasa isomorfisme grafik dalam ? Bisakah Anda memberikan beberapa referensi?NP∩coAMNP∩coAMNP\cap coAM Update: Saya lupa menyebutkan bahwa saya tertarik dalam bahasa yang tidak dikenal berada di
Bayangkan kita memiliki dua set ukuran mmm dari titik X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Apa kerumitan (waktu) pengujian jika perbedaannya hanya berdasarkan rotasi? : ada matriks rotasi OOT=OTO=IOOT=OTO=IOO^T=O^TO=I sedemikian rupa sehingga X=OYX=OYX=OY ? Ada masalah yang mewakili nilai-nilai...
Dalam contoh tandingan terkenal untuk isomorfisme grafik melalui metode Weisfeiler-Lehman (WL), gadget berikut ini dibuat dalam makalah ini oleh Cai, Furer dan Immerman. Mereka membangun sebuah grafik diberikan olehXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k,
Ada beberapa upaya untuk menyerang grafik masalah isomorfisma menggunakan quantum random walk bos-bos hard-core (simetris tetapi tidak ada hunian ganda). Kekuatan simetris dari matriks kedekatan, yang tampaknya menjanjikan, terbukti tidak lengkap untuk grafik umum dalam makalah ini oleh Amir...
Saya tertarik untuk mempelajari masalah lengkap Graph Isomorphism (GI). Dalam Makalah "Masalah Polinomi Setara dengan Isomorfisme Grafik" oleh Kellogg S. Booth, (1979), terbukti bahwa banyak masalah dasar adalah GI lengkap dengan menggunakan teknik penggantian Edge, teknik komposisi dll. Saya...
Bagian dari kesulitan untuk mengetahui lebih lanjut tentang masalah ini adalah bahwa masalah pencocokan grafik berbeda dari sepupunya yang jauh lebih terkenal, masalah pencocokan, tetapi sulit dibedakan dari itu ketika menggunakan mesin pencari. Diberikan dua grafik G=(V,E)G=(V,E)G=(V,E) dan...
Saya ingin bertanya apakah ada hasil yang sudah dipublikasikan tentang itu: Kami mengambil semua kemungkinan jalur yang berbeda antara setiap pasangan node dari dua grafik reguler yang terhubung (dengan derajat katakanlah, dan jumlah node n ) dan tulis panjangnya. Tentu saja jumlah jalur yang...
Diberikan grafik G sederhana yang tidak terarah, adalah nontrivial untuk menentukan apakah G memiliki automorfisme nontrivial (bukan identitas). Tetapi apa hasil pada batas atas / bawah masalah keputusan
Apakah masalah isomorfisma semigroup invers terbatas hingga GI selesai ? Di sini semigroup invers terbatas diasumsikan diberikan oleh tabel