mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Math

Reply
 
Thread Tools
Old 2011-01-19, 02:52   #23
cheesehead
 
cheesehead's Avatar
 
"Richard B. Woods"
Aug 2002
Wisconsin USA

22×3×641 Posts
Default

Quote:
Originally Posted by science_man_88 View Post
is http://en.wikipedia.org/wiki/Factor_base a good source ? If so I partially understand but not to a level that I could help yet.
Let's not forget that MathWorld (formerly Eric Weisstein's World of Mathematics, now at http://mathworld.wolfram.com/ ) is a good source of concise definitions, though it doesn't go into history and such.

Last fiddled with by cheesehead on 2011-01-19 at 02:56
cheesehead is offline   Reply With Quote
Old 2011-01-21, 20:04   #24
MathBoy
 
MathBoy's Avatar
 
Jan 2011

3×5 Posts
Default

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
MathBoy is offline   Reply With Quote
Old 2011-01-21, 20:07   #25
CRGreathouse
 
CRGreathouse's Avatar
 
Aug 2006

3·1,993 Posts
Default

Quote:
Originally Posted by MathBoy View Post
From this definition how do you know what d should be so that you can find a nontrivial square congruence relation for n?
Choose whatever you like. If it works, you find a factor; if it fails, choose a larger d and start over.

There are tables and heuristics and data to help you choose a number large enough without being so large that it's slow.

Quote:
Originally Posted by MathBoy View Post
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.
Right. Depending on what method you use, it's either easy to build the factor base or entirely trivial.
CRGreathouse is offline   Reply With Quote
Old 2011-01-21, 20:13   #26
davar55
 
davar55's Avatar
 
May 2004
New York City

5·7·112 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
For general algorithms yes. But ECM is better at factoring when
factors are relatively small.
Is that so? Could you please quantify this claim?
davar55 is offline   Reply With Quote
Old 2011-01-21, 20:19   #27
MathBoy
 
MathBoy's Avatar
 
Jan 2011

1510 Posts
Default

Quote:
Choose whatever you like. If it works, you find a factor; if it fails, choose a larger d and start over.

There are tables and heuristics and data to help you choose a number large enough without being so large that it's slow.
So the QS , GNFS , and their variants
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
MathBoy is offline   Reply With Quote
Old 2011-01-21, 20:58   #28
CRGreathouse
 
CRGreathouse's Avatar
 
Aug 2006

3·1,993 Posts
Default

Quote:
Originally Posted by MathBoy View Post
So the QS , GNFS , and their variants
Won't give you any factors provided you don't choose d high enough / correctly?
Only insofar as trial division won't give you a factor if you don't go high enough.

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
CRGreathouse is offline   Reply With Quote
Old 2011-01-21, 21:24   #29
MathBoy
 
MathBoy's Avatar
 
Jan 2011

1510 Posts
Default

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
MathBoy is offline   Reply With Quote
Old 2011-01-21, 21:50   #30
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

11101001001002 Posts
Default

Quote:
Originally Posted by MathBoy View Post
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
No. The part about "trial divisor d" is wrong.

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:

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.
"under a randomly chosen pi(d)" is gibberish. The correct statement should
be "all primes less than a chosen bound B". [you also need the unit
-1 to hold the sign bit]
R.D. Silverman is offline   Reply With Quote
Old 2011-01-21, 21:58   #31
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

22·5·373 Posts
Default

Quote:
Originally Posted by MathBoy View Post
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).
This is more gibberish. You want all primes p < B, such that (p|n) = 1
[Legendre symbol]. This takes a few seconds at most for even fairly
large B [e.g. B = 10^7]
Quote:

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?
Get hold of Crandall & Pomerance: Prime Numbers, A computational
perspective.

It is TRIVIAL to compute the Legendre symbol.

Quote:
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.
"seems to me"???? You don't know enough to have an opinion.

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:
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?
I already discussed this. Go back and read what I wrote.

Last fiddled with by R.D. Silverman on 2011-01-21 at 22:00 Reason: made additions
R.D. Silverman is offline   Reply With Quote
Old 2011-01-21, 22:03   #32
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

22×5×373 Posts
Default

Quote:
Originally Posted by MathBoy View Post
So the QS , GNFS , and their variants
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
Stop making guesses and go read my Math. Comp. paper. It explains
everything you need to know.
R.D. Silverman is offline   Reply With Quote
Old 2011-01-22, 03:40   #33
CRGreathouse
 
CRGreathouse's Avatar
 
Aug 2006

3·1,993 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
Stop making guesses and go read my Math. Comp. paper. It explains
everything you need to know.
Actually, he shouldn't -- it's not yet within his reach. He'll need to learn more before tackling that paper, and the forums are a passable place for that.
CRGreathouse is offline   Reply With Quote
Reply



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

All times are UTC. The time now is 16:03.


Mon Aug 2 16:03:37 UTC 2021 up 10 days, 10:32, 0 users, load averages: 1.78, 2.02, 2.14

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.