Saya mencoba memahami hubungan antara isomorfisme grafik dan masalah subkelompok tersembunyi. Apakah ada referensi yang bagus untuk ini?
Saya mencoba memahami hubungan antara isomorfisme grafik dan masalah subkelompok tersembunyi. Apakah ada referensi yang bagus untuk ini?
Jawaban:
Referensi dapat ditemukan dalam jawaban martinschwarz, tetapi di sini adalah ringkasan dari beberapa pengurangan.
Grup simetris bekerja pada grafik n simpul dengan mengijinkan simpul tersebut. Menentukan apakah dua grafik isomorfik adalah polinomial-time ekuivalen dengan penghitungan genset ukuran polinomial untuk . A u t ( G )
Reduksi ke HSP melalui grup simetris (di mana adalah jumlah variabel dalam grafik). Fungsi adalah di mana adalah permutasi di , dan adalah versi permuted . Kemudian konstan pada cosets dan berbeda pada cosets berbeda (perhatikan bahwa gambar terdiri dari semua grafik isomorfik ke ). Karena subkelompok tersembunyi persis , jika kita bisa menyelesaikan HSP ini maka kita akan memiliki set pembangkit untuk n f f ( p ) = p ( G ) p S n p ( G ) G f A u t ( G ) f G A u t ( G ) A u t ( G ), yang kita butuhkan untuk menyelesaikan GI (lihat di atas).
Pengurangan ke HSP melalui . Jika kita ingin tahu apakah dua grafik dan pada simpul adalah isomorfik, perhatikan grafik yang merupakan gabungan tak terpisahkan dari dan pada simpul . Biarkan bekerja pada simpul dengan menukar dengan untuk . Baik atau . Seperti sebelumnya, misalkan mana G H n K G H 2 n Z / 2 Z i n + i i = 1 , . . . , n A u t ( K ) = A u t ( G ) × A u t ( H ) A u t ( K ) = ( A f ( Z / 2 Zx S n ≀ Z / 2 Z K f A u t ( K ) A u t ( K ) G H Ksekarang merupakan elemen dari yang bekerja pada seperti dijelaskan. Subkelompok tersembunyi yang terkait dengan persis , seperti pada pengurangan sebelumnya. Jika kami mengatasi HSP ini, kami mendapatkan set pembangkit untuk . Maka mudah untuk memeriksa apakah himpunan pembangkit berisi elemen yang menukar salinan dengan salinan di dalam (memiliki komponen nontrivial ).
Anda mungkin ingin membaca posting blog terbaru Dave Bacon di Graph Isomorphism dengan tautan ke literatur.
"Algoritma kuantum untuk masalah aljabar" oleh Andrew Childs dan Wim van Dam arXiv: 0812.0380 adalah makalah survei yang sangat bagus yang berisi intro yang bagus tentang HSP non-Abelian dan hubungannya dengan Graph Isomorphism.