An exact quantum polynomial-time algorithm for Simon's problem

作者: G. Brassard , P. Hoyer

DOI: 10.1109/ISTCS.1997.595153

关键词: Function problemQuantum algorithmSimon's problemPseudo-polynomial timeP versus NP problemPPMathematicsQuantum computerPolynomialAlgorithm

摘要: We investigate the power of quantum computers when they are required to return an answer that is guaranteed be correct after a time upper-bounded by polynomial in worst case. show natural generalization Simon's problem can solved this way, whereas previous algorithms expected sense only, without upper bounds on worst-case running time. This achieved generalizing both and Grover's combining them novel way. It follows there decision exact time, which would require exponential any classical bounded-error probabilistic computer if data supplied as black box.

参考文章(17)
Gilles Brassard, A quantum jump in computer science Computer Science Today. pp. 1- 14 ,(1995) , 10.1007/BFB0015233
Gilles Brassard, Peter Høyer, On The Power of Exact Quantum Polynomial Time arXiv: Quantum Physics. ,(1996)
Adriano Barenco, Quantum Physics and Computers Contemporary Physics. ,vol. 37, pp. 375- 389 ,(1996) , 10.1080/00107519608217543
Michel Boyer, Gilles Brassard, Peter Høyer, Alain Tapp, Tight bounds on quantum searching Protein Science. ,vol. 46, pp. 493- 505 ,(1996) , 10.1002/(SICI)1521-3978(199806)46:4/5<493::AID-PROP493>3.0.CO;2-P
Ethan Joseph Bernstein, Quantum Complexity Theory SIAM Journal on Computing. ,vol. 26, pp. 1411- 1473 ,(1997) , 10.1137/S0097539796300921
Rapid Solution of Problems by Quantum Computation Proceedings of The Royal Society A: Mathematical, Physical and Engineering Sciences. ,vol. 439, pp. 553- 558 ,(1992) , 10.1098/RSPA.1992.0167
André Berthiaume, Gilles Brassard, Oracle Quantum Computing Journal of Modern Optics. ,vol. 41, pp. 2521- 2535 ,(1994) , 10.1080/09500349414552351
Lov K. Grover, A fast quantum mechanical algorithm for database search symposium on the theory of computing. pp. 212- 219 ,(1996) , 10.1145/237814.237866
Adriano Barenco, Charles H. Bennett, Richard Cleve, David P. DiVincenzo, Norman Margolus, Peter Shor, Tycho Sleator, John A. Smolin, Harald Weinfurter, Elementary gates for quantum computation. Physical Review A. ,vol. 52, pp. 3457- 3467 ,(1995) , 10.1103/PHYSREVA.52.3457
C. H. Bennett, Logical Reversibility of Computation IBM Journal of Research and Development. ,vol. 17, pp. 525- 532 ,(1973) , 10.1147/RD.176.0525