![]() |
|
|
#23 | |
|
"Richard B. Woods"
Aug 2002
Wisconsin USA
22×3×641 Posts |
Quote:
Last fiddled with by cheesehead on 2011-01-19 at 02:56 |
|
|
|
|
|
|
#24 |
|
Jan 2011
3×5 Posts |
well, I have been looking at the Wikipedia , and Mathworld definitions but still don't fully think I understand it.
definition of a factor bases: The primes with Legendre symbol (n/p)=1 (less than pi(d) for trial divisor d) which need be considered when using the quadratic sieve factorization method Question From this definition how do you know what d should be so that you can find a nontrivial square congruence relation for n? (i.e x^2 = y^2 mod n) From this definition it seems that a factor bases is just a set of prime numbers under a randomly chosen pi(d) such that n is a quadratic residue mod all those primes in that set. sorry if I am not getting the obvious. Last fiddled with by MathBoy on 2011-01-21 at 20:06 |
|
|
|
|
|
#25 | |
|
Aug 2006
3·1,993 Posts |
Quote:
There are tables and heuristics and data to help you choose a number large enough without being so large that it's slow. Right. Depending on what method you use, it's either easy to build the factor base or entirely trivial. |
|
|
|
|
|
|
#26 |
|
May 2004
New York City
5·7·112 Posts |
|
|
|
|
|
|
#27 | |
|
Jan 2011
1510 Posts |
Quote:
Won't give you any factors provided you don't choose d high enough / correctly? If this is true then these methods really don't guarantee you a factor necessarily only if their is a guaranteed way to find d such that a nontrivial relation holds in your factor bases and you can reasonable calculate the factor bases set. Correct me if I am wrong Last fiddled with by MathBoy on 2011-01-21 at 20:42 |
|
|
|
|
|
|
#28 | |
|
Aug 2006
3·1,993 Posts |
Quote:
With trial division, you know that there is a factor to find if you search long enough. With, e.g., QS you know that there are enough relations if you search long enough. It would be easy to come up with a value that would be guaranteed high enough to work in all cases, but it's much better to choose a good value rather than a worst-case value. (In practice, you never change the size of the factor base; if the size was a little off you just sieve slightly longer than you'd otherwise sieve.) Last fiddled with by CRGreathouse on 2011-01-21 at 21:02 |
|
|
|
|
|
|
#29 |
|
Jan 2011
1510 Posts |
OK
But obtaining a factor bases would be equivalent to finding all primes that have the relation x^2 = n mod p in the set of numbers pi(d). I would think this is still a long process to do and takes brute force. Unless their is an easy way to compute if n is a quadratic residue mod a prime fast? And to compute it fast for all primes under pi(d). Either way won't this be equivalent to trial divisors for numbers up to pi(d) for runtime. Seems it to me. Also is this definition of a factor bases for the QS the same for the GNFS , SNFS , RNFS ,...etc? Or is their a different definition for each method? Thank you for all your help in understanding this. Last fiddled with by MathBoy on 2011-01-21 at 21:28 |
|
|
|
|
|
#30 | ||
|
Nov 2003
11101001001002 Posts |
Quote:
We are discussing only QS here. The factor base is a set of primes that are quadratic residues of the number being factored. The set consists of all primes less than a specified bound B. This bound is an input parameter. We use a quadratic polynomial Ax^2 + 2Bx + C whose discriminant is a multiple k, of n. k is chosen to maximize the Knuth-Schroeppel function. READ my 1987 paper: The Multiple Polynomial Quadratic Sieve. Math. Comp. Quote:
be "all primes less than a chosen bound B". [you also need the unit -1 to hold the sign bit] |
||
|
|
|
|
|
#31 | ||||
|
Nov 2003
22·5·373 Posts |
Quote:
[Legendre symbol]. This takes a few seconds at most for even fairly large B [e.g. B = 10^7] Quote:
perspective. It is TRIVIAL to compute the Legendre symbol. Quote:
You need to learn some basic number theory. Without it, understanding these algorithms will be hopeless. Start by looking up "Quadratic Reciprocity" And stop using the word "under". If you mean "less than", than say it! Quote:
Last fiddled with by R.D. Silverman on 2011-01-21 at 22:00 Reason: made additions |
||||
|
|
|
|
|
#32 | |
|
Nov 2003
22×5×373 Posts |
Quote:
everything you need to know. |
|
|
|
|
|
|
#33 |
|
Aug 2006
3·1,993 Posts |
|
|
|
|
![]() |
Similar Threads
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Semi-prime factorization conjecture | Alberico Lepore | Alberico Lepore | 7 | 2018-02-16 08:27 |
| Prime factorization for RSA210 | Kalestiel | Factoring | 6 | 2012-11-04 17:58 |
| Mersenne(prime exponents) factorization | science_man_88 | Miscellaneous Math | 3 | 2010-10-13 14:32 |
| Distributed Factoring and prime testing algorithms | bunbun | Software | 6 | 2006-03-27 17:14 |
| "Trivial" factorization algorithms | Fusion_power | Math | 13 | 2004-12-28 20:46 |