06.03.2017 Views

Mathematics for Computer Science

e9ck2Ar

e9ck2Ar

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

“mcs” — 2017/3/3 — 11:21 — page 302 — #310<br />

302<br />

Chapter 9<br />

Number Theory<br />

q in a number of steps bounded by a polynomial in the length of the binary<br />

representation of n (not n itself). The length of the binary representation at<br />

most 1 C log 2 n.<br />

The best algorithm known is the “number field sieve,” which runs in time<br />

proportional to:<br />

e 1:9.ln n/1=3 .ln ln n/ 2=3 :<br />

This number grows more rapidly than any polynomial in log n and is infeasible<br />

when n has 300 digits or more.<br />

Efficient factoring is a mystery of particular importance in computer science,<br />

as we’ll explain later in this chapter.<br />

Goldbach’s Conjecture We’ve already mentioned Goldbach’s Conjecture 1.1.6 several<br />

times: every even integer greater than two is equal to the sum of two<br />

primes. For example, 4 D 2 C 2, 6 D 3 C 3, 8 D 3 C 5, etc.<br />

In 1939, Schnirelman proved that every even number can be written as the<br />

sum of not more than 300,000 primes, which was a start. Today, we know<br />

that every even number is the sum of at most 6 primes.<br />

Primes show up erratically in the sequence of integers. In fact, their distribution<br />

seems almost random:<br />

2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; : : : :<br />

One of the great insights about primes is that their density among the integers has<br />

a precise limit. Namely, let .n/ denote the number of primes up to n:<br />

Definition 9.3.2.<br />

.n/ WWD jfp 2 Œ2::n j p is primegj:<br />

For example, .1/ D 0; .2/ D 1 and .10/ D 4, because 2, 3, 5, and 7 are the<br />

primes less than or equal to 10. Step by step, grows erratically according to the<br />

erratic spacing between successive primes, but its overall growth rate is known to<br />

smooth out to be the same as the growth of the function n= ln n:<br />

Theorem 9.3.3 (Prime Number Theorem).<br />

lim<br />

n!1<br />

.n/<br />

n= ln n D 1:<br />

Thus, primes gradually taper off. As a rule of thumb, about 1 integer out of every<br />

ln n in the vicinity of n is a prime.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!