Saya punya (mudah-mudahan sederhana, mungkin bodoh) pertanyaan di kertas tengara Babai yang menunjukkan bahwa quasipolynomial.
Babai menunjukkan cara menghasilkan sertifikat yang dua grafik untuk isomorfik, dalam waktu kuasipolinomial dalam.
Apakah Babai benar-benar menunjukkan cara menemukan elemen yang memungkinkan simpul ke , atau apakah sertifikat itu hanya pernyataan keberadaan?
Jika sebuah oracle memberi tahu saya bahwa dan isomorfis, apakah saya masih harus melihat semuapermutasi dari simpul?
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 ...