Pertanyaan yang diberi tag «graph-isomorphism»

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.

1
Kompleksitas pengujian jika dua set titik
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 nyata di sini - untuk kesederhanaan anggap bahwa ada (pendek) rumus aljabar untuk setiap …
1
Untuk setiap dua grafik non-isomorfik
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 STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq Clog(n)^k \wedge G \vDash …
1
automorfisme dalam gadget Cai-Furer-Immerman
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, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆ { 1 ,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}V_k …
1
Hasil negatif pada pendekatan partikel identik dengan masalah Graph Isomorphism (GI)
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 Rahnamai Barghi dan Ilya Ponomarenko. Pendekatan serupa lainnya juga dibantah dalam …
1
Pada Grafik Isomorfisme Masalah Lengkap
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 ingin belajar beberapa teknik yang digunakan dalam makalah baru-baru ini. Dapatkah …
3
Riwayat dan status masalah pencocokan grafik
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 sedemikian rupa sehingga, tugasnya adalah untuk menemukan bijection sedemikian rupa sehingga bijection …
1
Redundansi dan Struktur masalah komputasi
Dipercaya secara luas bahwa beberapa masalah komputasi seperti grafik isomorfisme tidak dapat NP-lengkap karena tidak memiliki struktur atau redundansi yang cukup untuk menjadi komputasi yang sulit (NP-hard). Saya tertarik pada gagasan formal yang berbeda untuk struktur masalah komputasi dan langkah-langkah redundansi. Apa hasil utama yang diketahui tentang gagasan formal untuk …
3
Grafik dan Isomorfisme Biasa
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 berbeda ini eksponensial. Pertanyaan saya adalah, …
1
Adakah yang mengetahui contoh tandingan dari algoritma Isomorfisme Grafik Dharwadker-Tevet?
Di http://www.dharwadker.org/tevet/isomorphism/ , ada presentasi algoritma untuk menentukan apakah dua grafik isomorfis. Mengingat sejumlah hal yang akan kita katakan, klaim "menarik" oleh A Dharwadker, saya tidak cenderung mempercayainya. Dalam penyelidikan saya, saya menemukan bahwa algoritme pasti akan menghasilkan jawaban yang benar dan memberi tahu Anda bahwa dua grafik tidak isomorfik …
1
Bukti bahwa masalah Grafik isomorfisma tidak
Masalah grafik isomorfisme adalah salah satu masalah berdiri terpanjang yang menolak klasifikasi ke dalam masalah atau N P- complete. Kami memiliki bukti bahwa hal itu tidak bisa N P -Lengkap. Pertama, Graph Isomorphism tidak bisa menjadi N P -complete kecuali hierarki polinomial [1] runtuh ke level kedua. Juga, penghitungan [2] …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.