Dari komentar di salah satu pertanyaan saya di MathOverflow saya mendapatkan perasaan bahwa pertanyaan mengenai GCD berada di vs P ini mirip dengan pertanyaan mengenai Integer faktorisasi berada di P vs N P .
Apakah ada sesuatu seperti "kuantum " algoritma untuk GCD karena ada kuantum polinomial waktu ( B Q P ) algoritma untuk Integer faktorisasi?
Pertanyaan terkait: kompleksitas pembagi umum terbesar (gcd)
cc.complexity-theory
quantum-computing
dc.parallel-comp
nt.number-theory
comp-number-theory
T ....
sumber
sumber
Jawaban:
Pertama-tama, ada definisi formal "kuantum-NC", lihat QNC di kebun binatang.
GCD memang merupakan kandidat yang baik untuk masalah yang dapat ditunjukkan berada di QNC, tetapi tidak diketahui berada di NC. Namun, menemukan algoritma QNC untuk GCD masih merupakan masalah terbuka.
Perasaan yang diyakini benar ini berasal dari fakta bahwa Quantum Fourier Transform dapat dilakukan di QNC.
Referensi: Bagian kesimpulan "R. Cleve dan J. Watrous, Sirkuit paralel cepat untuk transformasi Fourier kuantum", arXiv: quant-ph / 0006004
sumber