Shor's algorithm

Shor's algorithm is a <a href="/facts/Quantum_algorithm/ceJaJ6Eq">quantum algorithm</a> for finding the <a href="/facts/Prime_factor/L20FLkgn">prime factors</a> of an integer. It was developed in 1994 by the American mathematician <a href="/facts/Peter_Shor/YIztGkMY">Peter Shor</a>. It is one of the few known quantum algorithms with compelling potential applications and strong evidence of superpolynomial speedup compared to best known classical (non-quantum) algorithms. On the other hand, factoring numbers of practical significance requires far more <a href="/facts/Qubit/WveeEubw">qubits</a> than available in the near future. Another concern is that noise in quantum circuits may undermine results, requiring additional qubits for <a href="/facts/Quantum_error_correction/lrUNMuob">quantum error correction</a>.
Shor proposed multiple similar algorithms for solving the <a href="/facts/Integer_factorization/EjMCTz2t">factoring problem</a>, the <a href="/facts/Discrete_logarithm/k8TXh5bL">discrete logarithm problem</a>, and the period-finding problem. "Shor's algorithm" usually refers to the factoring algorithm, but may refer to any of the three algorithms. The discrete logarithm algorithm and the factoring algorithm are instances of the period-finding algorithm, and all three are instances of the <a href="/facts/Hidden_subgroup_problem/jQ1JefkF">hidden subgroup problem</a>.
On a quantum computer, to factor an integer 
 
 
 
 N
 
 
 {\displaystyle N}
 
, Shor's algorithm runs in <a href="/facts/Polynomial_time/77T62gmf">polynomial time</a>, meaning the time taken is polynomial in 
 
 
 
 log
 ⁡
 N
 
 
 {\displaystyle \log N}
 
. It takes <a href="/facts/Quantum_logic_gate/EFV5sPCU">quantum gates</a> of order 
 
 
 
 O
 
 
 (
 
 (
 log
 ⁡
 N
 
 )
 
 2
 
 
 (
 log
 ⁡
 log
 ⁡
 N
 )
 (
 log
 ⁡
 log
 ⁡
 log
 ⁡
 N
 )
 
 )
 
 
 
 {\displaystyle O\!\left((\log N)^{2}(\log \log N)(\log \log \log N)\right)}
 
 using fast multiplication, or even 
 
 
 
 O
 
 
 (
 
 (
 log
 ⁡
 N
 
 )
 
 2
 
 
 (
 log
 ⁡
 log
 ⁡
 N
 )
 
 )
 
 
 
 {\displaystyle O\!\left((\log N)^{2}(\log \log N)\right)}
 
 utilizing the asymptotically fastest multiplication algorithm currently known due to Harvey and Van Der Hoven, thus demonstrating that the <a href="/facts/Integer_factorization/EjMCTz2t">integer factorization</a> problem can be efficiently solved on a quantum computer and is consequently in the <a href="/facts/Complexity_class/IIKrcTbP">complexity class</a> <a href="/facts/BQP/whjD9eyf">BQP</a>. This is significantly faster than the most efficient known classical factoring algorithm, the <a href="/facts/General_number_field_sieve/elC06ARC">general number field sieve</a>, which works in <a href="/facts/Time_complexity/77T62gmf">sub-exponential time</a>: 
 
 
 
 O
 
 
 (
 
 e
 
 1.9
 (
 log
 ⁡
 N
 
 )
 
 1
 
 /
 
 3
 
 
 (
 log
 ⁡
 log
 ⁡
 N
 
 )
 
 2
 
 /
 
 3
 
 
 
 
 )
 
 
 
 {\displaystyle O\!\left(e^{1.9(\log N)^{1/3}(\log \log N)^{2/3}}\right)}
 
.

Shor's algorithm open-in-new

Shor's algorithm