- Williams' p + 1 algorithm
-
In computational number theory, Williams' p + 1 algorithm is an integer factorization algorithm, one of the family of algebraic-group factorisation algorithms. It was invented by Hugh C. Williams in 1982.
It works well if the number N to be factored contains one or more prime factors p such that
- p + 1
is smooth, i.e. p + 1 contains only small factors. It uses Lucas sequences to perform exponentiation in a quadratic field.
It is analogous to Pollard's p − 1 algorithm.
Contents
Algorithm
Choose some integer A greater than 2 which characterizes the Lucas sequence:
- V0 = 2,V1 = A,Vj = AVj − 1 − Vj − 2
where all operations are performed modulo N.
Then any odd prime p divides gcd(N,VM − 2) whenever M is a multiple of p − (D / p), where D = A2 − 4 and (D / p) is the Jacobi symbol.
We require that (D / p) = − 1, that is, D should be a quadratic non-residue modulo p. But as we don't know p beforehand, more than one value of A may be required before finding a solution. If (D / p) = + 1, this algorithm degenerates into a slow version of Pollard's p − 1 algorithm.
So, for different values of M we calculate gcd(N,VM − 2), and when the result is not equal to 1 or to N, we have found a non-trivial factor of N.
The values of M used are successive factorials, and VM is the M-th value of the sequence characterized by VM − 1.
To find the M-th element V of the sequence characterized by B, we proceed in a manner similar to left-to-right exponentiation:
x=B y=(B^2-2) mod N for each bit of M to the right of the most significant bit if the bit is 1 x=(x*y-B) mod N y=(y^2-2) mod N else y=(x*y-B) mod N x=(x^2-2) mod N V=x
Example
With N=112729 and A=5, successive values of VM are:
- V1 of seq(5) = V1! of seq(5) = 5
- V2 of seq(5) = V2! of seq(5) = 23
- V3 of seq(23) = V3! of seq(5) = 12098
- V4 of seq(12098) = V4! of seq(5) = 87680
- V5 of seq(87680) = V5! of seq(5) = 53242
- V6 of seq(53242) = V6! of seq(5) = 27666
- V7 of seq(27666) = V7! of seq(5) = 110229.
At this point, gcd(110229-2,112729) = 139, so 139 is a non-trivial factor of 112729. Notice that p+1 = 140 = 22 × 5 × 7. The number 7! is the lowest factorial which is multiple of 140, so the proper factor 139 is found in this step.
Using another initial value, say A = 9, we get:
- V1 of seq(9) = V1! of seq(9) = 9
- V2 of seq(9) = V2! of seq(9) = 79
- V3 of seq(79) = V3! of seq(9) = 41886
- V4 of seq(41886) = V4! of seq(9) = 79378
- V5 of seq(79378) = V5! of seq(9) = 1934
- V6 of seq(1934) = V6! of seq(9) = 10582
- V7 of seq(10582) = V7! of seq(9) = 84241
- V8 of seq(84241) = V8! of seq(9) = 93973
- V9 of seq(93973) = V9! of seq(9) = 91645.
At this point gcd(91645-2,112729) = 811, so 811 is a non-trivial factor of 112729. Notice that p-1 = 810 = 2 × 5 × 34. The number 9! is the lowest factorial which is multiple of 810, so the proper factor 811 is found in this step. The factor 139 is not found this time because p-1 = 138 = 2 × 3 × 23 which is not a divisor of 9!
As can be seen in these examples we don't know in advance whether the prime that will be found has a smooth p+1 or p-1.
Generalization
Based on Pollard's p-1 and Williams' p+1 factoring algorithms, Eric Bach and Jeffrey Shallit developed techniques to factor n efficiently provided that is has a prime factor p such that any kth cyclotomic polynomial Φk(p) is smooth.[1] The first few cyclotomic polynomials are given by the sequence Φ1(p) = p-1, Φ2(p) = p+1, Φ3(p) = p2+p+1, and Φ4(p) = p2+1.
References
- ^ Bach, Eric; Shallit, Jeffrey (1989). "Factoring with Cyclotomic Polynomials". Mathematics of Computation (American Mathematical Society) 52 (185): 201–219. JSTOR 2008664.
- Williams, H. C. (1982), "A p+1 method of factoring", Mathematics of Computation 39 (159): 225–234, doi:10.2307/2007633, MR0658227
External links
- P Plus 1 Factorization Method, MersenneWiki.
Primality tests AKS · APR · Baillie–PSW · ECPP · Elliptic curve · Pocklington · Fermat · Lucas · Lucas–Lehmer · Lucas–Lehmer–Riesel · Proth's theorem · Pépin's · Solovay–Strassen · Miller–Rabin · Trial divisionSieving algorithms Integer factorization algorithms CFRAC · Dixon's · ECM · Euler's · Pollard's rho · p − 1 · p + 1 · QS · GNFS · SNFS · rational sieve · Fermat's · Shanks' square forms · Trial division · Shor'sMultiplication algorithms Ancient Egyptian multiplication · Karatsuba algorithm · Toom–Cook multiplication · Schönhage–Strassen algorithm · Fürer's algorithmDiscrete logarithm algorithms Baby-step giant-step · Pollard rho · Pollard kangaroo · Pohlig–Hellman · Index calculus · Function field sieveGCD algorithms Modular square root algorithms Cipolla · Pocklington's · Tonelli–ShanksOther algorithms Italics indicate that algorithm is for numbers of special forms; bold indicates deterministic algorithm for primality tests (current article is always in bold).Categories:- Integer factorization algorithms
Wikimedia Foundation. 2010.