User:ElisabetFatimatulVeronika/Running time for factoring integer
Heuristic running time
[edit]In number theory, there are many integer factoring algorithms that heuristically have expected running time
in o and L-notation. Some examples of those algorithms are elliptic curve and quadratic sieve method. Another such algorithm is the class group relations method proposed by Seysen-Lenstra that is proved under of the Generalized Riemann Hypothesis (GRH) assumption.
Rigorous running time
[edit]The Schnorr-Lenstra probabilistic algorithm that had been proved by Lenstra and Pomerance has rigorously expected running time by replacing GRH assumption with the use of multipliers. The algorithm uses class group of positive binary quadratic form of discriminant Δ denoted by GΔ. GΔ is the set of triple of integers (a, b, c) in which those integers are relative prime.
Algorithm
[edit]Consider an integer (n) that will be factorized, where n is an odd positive integer greater than a certain constant. In this factoring algorithm, the use of multiplier is explicated by choosing any positive integer d bounded by n so that Δ= -dn. It guaranties that there exist enough smooth forms in GΔ. By constructing a set of generators GΔ and prime forms fq of GΔ with , the sequence of relations between the set of generators and fq are produced. The relation that will be used is a relation between the product of powers that is equal to the element neutral of GΔ. These relations will be employed to construct an 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 raise the complete prime factorization of n. This Schnorr-Lenstra algorithm has these main steps:
Let n be the number to be factored
- Let Δ be a negative integer with Δ = -dn which d is a multiplier and Δ is the negative discriminant of some quadratic form.
- Take t first primes; p1 = 2, p2 = 3, ..., pt, for some t ∈ N.
- Let fq be a random prime form of GΔ with .
- Find a generating set x of GΔ
- Collect a sequence of relations between set x and {fq : q ∈ Q} satisfying:.
- Construct an ambiguous form (a, b, c) which is an element f ∈ GΔ of order dividing 2 to raise 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 raises a factorization of n then stop, otherwise find another ambiguous form until factorization of n is found. In order to prevent that useless ambiguous forms are generated, build up the 2-Sylow group S2(Δ) of G(Δ). [1]
To obtain an algorithm for factoring any positive integer, it is needed to add a few steps to this algorithm such as trial division, Jacobi sum test.
Expected running time
[edit]This factoring algorithm has chance to be failure or success such in choosing a random number generator. If the chosen number generator gives failure result then this algorithm is repeated by choosing another generator until getting success. Therefore the running time of this algorithm depends on whether this algorithm success or fail. However, in long run period this factoring algorithm takes expected running time at most .[2]
References
[edit]- ^ C.P. Schnorr, and H.W. Lenstra Jr. (July 1984). "A Monte Carlo Factoring Algorithm with Linear Storage" (PDF). Journal of the American Mathematical Society. 43: 289–311.
{{cite journal}}
: CS1 maint: date and year (link) - ^ H.W. Lenstra, and C. Pomerance (July 1992). "A Rigorous Time Bound for Factoring Integers" (PDF). Journal of the American Mathematical Society. 5 (3): 483–516. doi:10.1090/S0894-0347-1992-1137100-0.
{{cite journal}}
: CS1 maint: date and year (link)