(mathematics) An iterative procedure which determines all the primes less than a given number.
| Sci-Tech Dictionary: sieve of Eratosthenes |
(mathematics) An iterative procedure which determines all the primes less than a given number.
| 5min Related Video: Sieve of Eratosthenes |
| Computer Desktop Encyclopedia: Sieve of Eratosthenes |
A benchmark program used to test the mathematical speed of a computer. The program calculates prime numbers based on Eratosthenes's algorithm.
Download Computer Desktop Encyclopedia to your iPhone/iTouch
| Wikipedia: Sieve of Eratosthenes |
In mathematics, the Sieve of Eratosthenes (Greek: κόσκινον Ἐρατοσθένους) is a simple, ancient algorithm for finding all prime numbers up to a specified integer.[1] It works efficiently for the smaller primes (below 10 million).[2] It was created by Eratosthenes, an ancient Greek mathematician. None of his mathematical works survive, and the sieve was described and attributed to Eratosthenes in the Introduction to Arithmetic by Nicomachus.[3]
Contents |
A prime number is a natural number which has exactly two distinct natural number divisors: 1 and itself.
To find all the prime numbers less than or equal to a given integer n by Eratosthenes' method:
To find all the prime numbers less than or equal to 30, proceed as follows:
First generate a list of integers from 2 to 30: 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 Strike (sift out) the multiples of 2 resulting in: 2 3 5 7 9 11 13 15 17 19 21 23 25 27 29 The first number in the list after 2 is 3; strike the multiples of 3 from the list to get: 2 3 5 7 11 13 17 19 23 25 29 The first number in the list after 3 is 5; strike the remaining multiples of 5 from the list: 2 3 5 7 11 13 17 19 23 29 The first number in the list after 5 is 7, but 7 squared is 49 which is greater than 30 so the process is finished. The final list consists of all the prime numbers less than or equal to 30.
The crossing-off of multiples of each found prime number can be started at the square of the number, as lower multiples have already been crossed out during the previous steps.
The complexity of the algorithm is O(n(logn)(loglogn)) bit operations with a memory requirement of O(n).[4] Time complexity in RAM machine model is O(nloglogn) operations. The segmented version of the sieve of Eratosthenes, with basic optimizations, uses O(n) operations and O(n1 / 2loglogn / logn) bits of memory.[5]
David Turner[6] suggested in 1975 that the sieve of Eratosthenes could be represented in a strikingly simple and elegant way in purely functional programming languages. Turner's sieve, rendered in Haskell, is:
primes = sieve [2..] sieve (p : xs) = p : sieve [x | x <- xs, x `mod` p > 0]
Recently, Melissa O'Neill [7] showed that the complexity of Turner's algorithm is significantly worse than the complexity of the classical imperative renditions of the sieve. O'Neill demonstrated simple renditions of the sieve of Eratosthenes in Haskell with complexities similar to those of the classical algorithms.
A short, albeit imprecise, description of the Sieve of Erastosthenes in verse: [8][9]
Sift the Twos and sift the Threes,
The Sieve of Eratosthenes.
When the multiples sublime,
The numbers that remain are Prime.
Euler in his Proof of the Euler product formula for the Riemann zeta function came up with a version of the sieve of Eratosthenes, better in the sense that each number was eliminated exactly once.
A) Start with all the natural numbers except '1' which is not a prime. 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35... ^
B) The leftmost number is prime. Multiply each number in the list by this prime and discard the products.
(4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 ... )
These are removed:
4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34
These are left:
2 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35...
^
C) The number after the previous prime is also a prime. Multiply each number in the list starting from this prime by this prime and discard the products.
(9 15 21 27 33 39 45 51 57 63 69 75 81 87 93 99 105...)
These are removed:
9 15 21 27 33
These are left:
2 3 5 7 11 13 17 19 23 25 29 31 35...
^
Repeat C) indefinitely. On each repetition a new prime is identified (marked ^) until all the primes in the starting list have been found.
Comparing this algorithm with Euler's proof, the primes to the left of the cursor correspond to factors in the left hand side of the equation at each stage of the sifting, whereas the sequence to the right and including the cursor correspond to the series on the right hand side of the equation at each stage (minus the initial one).
When we have exceeded the square root of the upper limit of our range, we have the desired sequence of prime numbers. In the example given above that will be achieved when we identify the prime '7', to give our list of all primes less than 36.
|
||||||||||||||||||||||||||
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)
| Best of the Web: Sieve of Eratosthenes |
Some good "Sieve of Eratosthenes" pages on the web:
Math mathworld.wolfram.com |
| Year 240 bce (in Science & Technology) | |
| brute | |
| Eratosthenes of Cyrene (Greek astronomer) |
| What date was Sieve Eratosthenes born? | |
| Why does The Sieve of Eratosthenes work? | |
| Why is the method of eratosthenes called sieve? |
Copyrights:
![]() | Sci-Tech Dictionary. McGraw-Hill Dictionary of Scientific and Technical Terms. Copyright © 2003, 1994, 1989, 1984, 1978, 1976, 1974 by McGraw-Hill Companies, Inc. All rights reserved. Read more | |
![]() | Computer Desktop Encyclopedia. THIS COPYRIGHTED DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher. © 1981-2009 Computer Language Company Inc. All rights reserved. Read more | |
![]() | Wikipedia. This article is licensed under the Creative Commons Attribution/Share-Alike License. It uses material from the Wikipedia article "Sieve of Eratosthenes". Read more |
Mentioned in