Waktu quasipolynomial Apakah Babai ini


13

Saya punya (mudah-mudahan sederhana, mungkin bodoh) pertanyaan di kertas tengara Babai yang menunjukkan bahwa quasipolynomial.Gsaya

Babai menunjukkan cara menghasilkan sertifikat yang dua grafik untuk isomorfik, dalam waktu kuasipolinomial dalam.Gi=(Vi,Ei)i{1,2}v=|Vi|

Apakah Babai benar-benar menunjukkan cara menemukan elemen yang memungkinkan simpul ke , atau apakah sertifikat itu hanya pernyataan keberadaan?πSvG1G2

Jika sebuah oracle memberi tahu saya bahwa dan isomorfis, apakah saya masih harus melihat semuapermutasi dari simpul?G1G2v!

Saya bertanya karena saya juga memikirkan kesetaraan simpul. Sejauh yang saya tahu, itu tidak diketahui, tetapi mengatakan mendeteksi unknot berada di . Sebenarnya menemukan urutan gerakan Reidemeister yang membuka ikatan mungkin masih membutuhkan waktu yang eksponensial ...P

Jawaban:


28

n+1nn+2n+1,...n+n


1
Terima kasih! Apakah gadget yang sama berfungsi untuk memperlihatkan serangkaian gerakan Reidemeister yang menghubungkan dua simpul satu sama lain, hanya mengingat bahwa keduanya setara satu sama lain, atau apakah ini tidak diketahui?
Mark S

3
Saya ragu, karena dalam kasus itu saya tidak melihat cara untuk "menghancurkan" solusi yang mungkin.
domotorp

17

Lebih spesifik untuk algoritma Babai: ya, algoritma tidak hanya menemukan isomorfisma, tetapi juga menemukan generator dari kelompok automorfisma (dan karenanya secara efektif menemukan semua isomorfisme) sebagai bagian dari algoritma, yaitu, tanpa pengurangan jawaban domotorp.

Dalam hal menentukan keberadaan isomorfisma (resp., Unknotting) vs benar-benar menemukan satu, kata kunci untuk mencari adalah "pencarian vs keputusan" atau "pencarian untuk pengurangan keputusan" ("mengurangi pencarian ke keputusan" dll.). Pengurangan seperti itu dikenal untuk isomorfisme grafik, serta untuk masalah NP-lengkap, tetapi merupakan pertanyaan terbuka untuk struktur aljabar yang lebih banyak seperti kelompok, dan, saya percaya, simpul, tepatnya karena kita tidak tahu cara menambahkan "gadget" "Seperti dalam jawaban domotorp.

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.