Can integer factorization be done in polynomial time? 
In number theory, integer factorization or prime factorization is the decomposition of a composite number into smaller nontrivial divisors, which when multiplied together equal the original integer.
When the numbers are very large, no efficient, nonquantum integer factorization algorithm is known; an effort by several researchers concluded in 2009, factoring a 232digit number (RSA768), utilizing hundreds of machines over a span of 2 years.^{[1]} The presumed difficulty of this problem is at the heart of widely used algorithms in cryptography such as RSA. Many areas of mathematics and computer science have been brought to bear on the problem, including elliptic curves, algebraic number theory, and quantum computing.
Not all numbers of a given length are equally hard to factor. The hardest instances of these problems (for currently known techniques) are semiprimes, the product of two prime numbers. When they are both large, for instance more than 2000 bits long, randomly chosen, and about the same size (but not too close, e.g. to avoid efficient factorization by Fermat's factorization method), even the fastest prime factorization algorithms on the fastest computers can take enough time to make the search impractical; that is, as the number of digits of the primes being factored increases, the number of operations required to perform the factorization on any computer increases drastically.
Many cryptographic protocols are based on the difficulty of factoring large composite integers or a related problem—for example, the RSA problem. An algorithm that efficiently factors an arbitrary integer would render RSAbased publickey cryptography insecure.
Contents
Prime decomposition[edit]
By the fundamental theorem of arithmetic, every positive integer has a unique prime factorization. (A special case for 1 is not needed using an appropriate notion of the empty product.) However, the fundamental theorem of arithmetic gives no insight into how to obtain an integer's prime factorization; it only guarantees its existence.
Given a general algorithm for integer factorization, one can factor any integer down to its constituent prime factors by repeated application of this algorithm. However, this is not the case with a specialpurpose factorization algorithm, since it may not apply to the smaller factors that occur during decomposition, or may execute very slowly on these values. For example, if N is the number (2^{521} − 1) × (2^{607} − 1), then trial division will quickly factor 10 × N as 2 × 5 × N, but will not quickly factor N into its factors.
Current state of the art[edit]
The most difficult integers to factor in practice using existing algorithms are those that are products of two large primes of similar size, and for this reason these are the integers used in cryptographic applications. The largest such semiprime yet factored was RSA768, a 768bit number with 232 decimal digits, on December 12, 2009.^{[1]} This factorization was a collaboration of several research institutions, spanning two years and taking the equivalent of almost 2000 years of computing on a singlecore 2.2 GHz AMD Opteron. Like all recent factorization records, this factorization was completed with a highly optimized implementation of the general number field sieve run on hundreds of machines.
Difficulty and complexity[edit]
If a large, bbit number is the product of two primes that are roughly the same size, then no algorithm has been published that can factor in polynomial time, i.e., that can factor it in time O(b^{k}) for some constant k. There are published algorithms that are faster than O((1+ε)^{b}) for all positive ε, i.e., subexponential.
The best published asymptotic running time is for the general number field sieve (GNFS) algorithm, which, for a bbit number n, is:
For an ordinary computer, GNFS is the best published algorithm for large n (more than about 100 digits). For a quantum computer, however, Peter Shor discovered an algorithm in 1994 that solves it in polynomial time. This will have significant implications for cryptography if a large quantum computer is ever built. Shor's algorithm takes only O(b^{3}) time and O(b) space on bbit number inputs. In 2001, the first sevenqubit quantum computer became the first to run Shor's algorithm. It factored the number 15.^{[2]}
When discussing what complexity classes the integer factorization problem falls into, it's necessary to distinguish two slightly different versions of the problem:
 The function problem version: given an integer N, find an integer d with 1 < d < N that divides N (or conclude that N is prime). This problem is trivially in FNP and it's not known whether it lies in FP or not. This is the version solved by most practical implementations.
 The decision problem version: given an integer N and an integer M with 1 ≤ M ≤ N, does N have a factor d with 1 < d < M? This version is useful because most wellstudied complexity classes are defined as classes of decision problems, not function problems. This is a natural decision version of the problem, analogous to those frequently used for optimization problems, because it can be combined with binary search to solve the function problem version in a logarithmic number of queries.
It is not known exactly which complexity classes contain the decision version of the integer factorization problem. It is known to be in both NP and coNP. This is because both YES and NO answers can be verified in polynomial time given the prime factors (we can verify their primality using the AKS primality test, and that their product is N by multiplication). The fundamental theorem of arithmetic guarantees that there is only one possible string that will be accepted (providing the factors are required to be listed in order), which shows that the problem is in both UP and coUP.^{[3]} It is known to be in BQP because of Shor's algorithm. It is suspected to be outside of all three of the complexity classes P, NPcomplete, and coNPcomplete. It is therefore a candidate for the NPintermediate complexity class. If it could be proved that it is in either NPComplete or coNPComplete, that would imply NP = coNP. That would be a very surprising result, and therefore integer factorization is widely suspected to be outside both of those classes. Many people have tried to find classical polynomialtime algorithms for it and failed, and therefore it is widely suspected to be outside P.
In contrast, the decision problem "is N a composite number?" (or equivalently: "is N a prime number?") appears to be much easier than the problem of actually finding the factors of N. Specifically, the former can be solved in polynomial time (in the number n of digits of N) with the AKS primality test. In addition, there are a number of probabilistic algorithms that can test primality very quickly in practice if one is willing to accept the vanishingly small possibility of error. The ease of primality testing is a crucial part of the RSA algorithm, as it is necessary to find large prime numbers to start with.
Factoring algorithms[edit]
Specialpurpose[edit]
A specialpurpose factoring algorithm's running time depends on the properties of the number to be factored or on one of its unknown factors: size, special form, etc. Exactly what the running time depends on varies between algorithms.
An important subclass of specialpurpose factoring algorithms is the Category 1 or First Category algorithms, whose running time depends on the size of smallest prime factor. Given an integer of unknown form, these methods are usually applied before generalpurpose methods to remove small factors.^{[4]} For example, trial division is a Category 1 algorithm.
 Trial division
 Wheel factorization
 Pollard's rho algorithm
 Algebraicgroup factorisation algorithms, among which are Pollard's p − 1 algorithm, Williams' p + 1 algorithm, and Lenstra elliptic curve factorization
 Fermat's factorization method
 Euler's factorization method
 Special number field sieve
Generalpurpose[edit]
A generalpurpose factoring algorithm, also known as a Category 2, Second Category, or Kraitchik family algorithm (after Maurice Kraitchik),^{[4]} has a running time depends solely on the size of the integer to be factored. This is the type of algorithm used to factor RSA numbers. Most generalpurpose factoring algorithms are based on the congruence of squares method.
 Dixon's algorithm
 Continued fraction factorization (CFRAC)
 Quadratic sieve
 Rational sieve
 General number field sieve
 Shanks' square forms factorization (SQUFOF)
Other notable algorithms[edit]
Heuristic running time[edit]
In number theory, there are many integer factoring algorithms that heuristically have expected running time
in o and Lnotation. Some examples of those algorithms are the elliptic curve method and the quadratic sieve. Another such algorithm is the class group relations method proposed by Schnorr,^{[5]} Seysen,^{[6]} and Lenstra^{[7]} that is proved under of the Generalized Riemann Hypothesis (GRH).
Rigorous running time[edit]
The SchnorrSeysenLenstra probabilistic algorithm has been rigorously proven by Lenstra and Pomerance^{[8]} to have expected running time by replacing the GRH assumption with the use of multipliers. The algorithm uses the class group of positive binary quadratic forms of discriminant Δ denoted by G_{Δ}. G_{Δ} is the set of triples of integers (a, b, c) in which those integers are relative prime.
SchnorrSeysenLenstra Algorithm[edit]
Given is an integer n that will be factored, where n is an odd positive integer greater than a certain constant. In this factoring algorithm the discriminant Δ is chosen as a multiple of n, Δ= dn, where d is some positive multiplier. The algorithm expects that for one d there exist enough smooth forms in G_{Δ}. Lenstra and Pomerance show that the choice of d can be restricted to a small set to guarantee the smoothness result.
Denote by P_{Δ} the set of all primes q with Kronecker symbol . By constructing a set of generators of G_{Δ} and prime forms f_{q} of G_{Δ} with q in P_{Δ} a sequence of relations between the set of generators and f_{q} are produced. The size of q can be bounded by for some constant .
The relation that will be used is a relation between the product of powers that is equal to the neutral element of G_{Δ}. These relations will be used to construct a socalled ambiguous form of G_{Δ}, which is an element of G_{Δ} of order dividing 2. By calculating the corresponding factorization of Δ and by taking a gcd, this ambiguous form provides the complete prime factorization of n. This algorithm has these main steps:
Let n be the number to be factored.
 Let Δ be a negative integer with Δ = dn, where d is a multiplier and Δ is the negative discriminant of some quadratic form.
 Take the t first primes , for some .
 Let be a random prime form of G_{Δ} with .
 Find a generating set X of G_{Δ}
 Collect a sequence of relations between set X and {f_{q} : q ∈ P_{Δ}} satisfying:
 Construct an ambiguous form (a, b, c) that is an element f ∈ G_{Δ} of order dividing 2 to obtain a coprime factorization of the largest odd divisor of Δ in which Δ = 4a.c or a(a  4c) or (b  2a).(b + 2a)
 If the ambiguous form provides a factorization of n then stop, otherwise find another ambiguous form until the factorization of n is found. In order to prevent useless ambiguous forms from generating, build up the 2Sylow group S_{2}(Δ) of G(Δ).
To obtain an algorithm for factoring any positive integer, it is necessary to add a few steps to this algorithm such as trial division, and the Jacobi sum test.
Expected running time[edit]
The algorithm as stated is a probabilistic algorithm as it makes random choices. Its expected running time is at most .^{[8]}
See also[edit]
 Canonical representation of a positive integer
 Factorization
 Multiplicative partition
 Partition (number theory)  A way of writing a number as a sum of positive integers.
Notes[edit]
 ^ ^{a} ^{b} Kleinjung, et al (20100218). Factorization of a 768bit RSA modulus. International Association for Cryptologic Research. Retrieved 20100809.
 ^ LIEVEN M. K. VANDERSYPEN, et al (20071227). NMR quantum computing: Realizing Shor's algorithm. Nature. Retrieved 20100809.
 ^ Lance Fortnow (20020913). "Computational Complexity Blog: Complexity Class of the Week: Factoring".
 ^ ^{a} ^{b} David Bressoud and Stan Wagon (2000). A Course in Computational Number Theory. Key College Publishing/Springer. pp. 168–69. ISBN 9781930190108.
 ^ Schnorr, Claus P. (1982). "Refined analysis and improvements on some factoring algorithms". Journal of Algorithms 3 (2): 101–127. doi:10.1016/01966774(82)900128.
 ^ Seysen, Martin (1987). "A probabilistic factorization algorithm with quadratic forms of negative discriminant". Mathematics of Computation 48 (178): 757–780. doi:10.1090/S0025571819870878705X.
 ^ Lenstra, Arjen K (1988). "Fast and rigorous factorization under the generalized Riemann hypothesis". Indagationes Mathematicae 50: 443–454.
 ^ ^{a} ^{b} H.W. Lenstra, and C. Pomerance; Pomerance, Carl (July 1992). "A Rigorous Time Bound for Factoring Integers" (PDF). Journal of the American Mathematical Society 5 (3): 483–516. doi:10.1090/S08940347199211371000.
References[edit]
 Richard Crandall and Carl Pomerance (2001). Prime Numbers: A Computational Perspective. Springer. ISBN 0387947779. Chapter 5: Exponential Factoring Algorithms, pp. 191–226. Chapter 6: Subexponential Factoring Algorithms, pp. 227–284. Section 7.4: Elliptic curve method, pp. 301–313.
 Donald Knuth. The Art of Computer Programming, Volume 2: Seminumerical Algorithms, Third Edition. AddisonWesley, 1997. ISBN 0201896842. Section 4.5.4: Factoring into Primes, pp. 379–417.
External links[edit]
 msieve  SIQS and NFS  has helped complete some of the largest public factorizations known
 Video on YouTube explaining uniqueness of prime factorization using a lock analogy.
 A collection of links to factoring programs
 Richard P. Brent, "Recent Progress and Prospects for Integer Factorisation Algorithms", Computing and Combinatorics", 2000, pp. 3–22. download
 Manindra Agrawal, Neeraj Kayal, Nitin Saxena, "PRIMES is in P." Annals of Mathematics 160(2): 781793 (2004). August 2005 version PDF
 [1] is a publicdomain integer factorization program for Windows. It claims to handle 80digit numbers. See also the web site for this program [2]
 Eric W. Weisstein, “RSA640 Factored” MathWorld Headline News, November 8, 2005


A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.