Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer

被引:3846
作者
Shor, PW [1 ]
机构
[1] AT&T Bell Labs, Res, Florham Pk, NJ 07932 USA
关键词
algorithmic number theory; prime factorization; discrete logarithms; Church's thesis; quantum computers; foundations of quantum mechanics; spin systems; Fourier transforms;
D O I
10.1137/S0036144598347011
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
A digital computer is generally believed to be an efficient universal computing device; that is, it is believed to be able to simulate any physical computing device with an increase in computation time by at most a polynomial factor. This may not be true when quantum mechanics is taken into consideration. This paper considers factoring integers and finding discrete logarithms, two problems that are generally thought to be hard on classical computers and that have been used as the basis of several proposed cryptosystems. Efficient randomized algorithms are given for these two problems on a hypothetical quantum computer. These algorithms take a number of steps polynomial in the input size, for example, the number of digits of the integer to be factored.
引用
收藏
页码:303 / 332
页数:30
相关论文
共 105 条
[71]   ENVISIONING A QUANTUM SUPERCOMPUTER [J].
LLOYD, S .
SCIENCE, 1994, 263 (5147) :695-695
[72]   ALMOST ANY QUANTUM LOGIC GATE IS UNIVERSAL [J].
LLOYD, S .
PHYSICAL REVIEW LETTERS, 1995, 75 (02) :346-349
[73]  
MARGOLUS N, 1986, ANN NY ACAD SCI, V480, P487
[74]   Quantum cryptography with imperfect apparatus [J].
Mayers, D ;
Yao, A .
39TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 1998, :503-509
[75]  
MAYERS D, 1998, QUANTPH9802025 LANL
[76]   RIEMANNS HYPOTHESIS AND TESTS FOR PRIMALITY [J].
MILLER, GL .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 13 (03) :300-317
[77]  
ODLYZKO AM, 1995, COMMUNICATION
[78]   Quantum computers and dissipation [J].
Palma, GM ;
Suominen, KA ;
Ekert, AK .
PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1996, 452 (1946) :567-584
[79]  
Pomerance C., 1987, DISCRETE ALGORITHMS, P119
[80]  
Post EL., 1936, J SYMBOLIC LOGIC, V1, P103, DOI [DOI 10.2307/2269031, 10.2307/2269031]