Sieve of Sundaram

Sieve of Sundaram: algorithm steps for primes below 202 (unoptimized).

Start with a list of the integers from 1 to n. From this list, remove all numbers of the form i + j + 2ij where:

• ${\displaystyle i,j\in \mathbb {N} ,\ 1\leq i\leq j}$
• ${\displaystyle i+j+2ij\leq n}$

The remaining numbers are doubled and incremented by one, giving a list of the odd prime numbers (i.e., all primes except 2) below 2n + 1.

The sieve of Sundaram sieves out the composite numbers just as sieve of Eratosthenes does, but even numbers are not considered; the work of "crossing out" the multiples of 2 is done by the final double-and-increment step. Whenever Eratosthenes' method would cross out k different multiples of a prime ${\displaystyle 2i+1}$, Sundaram's method crosses out ${\displaystyle i+j(2i+1)}$ for ${\displaystyle 1\leq j\leq \lfloor k/2\rfloor }$.

If we start with integers from 1 to n, the final list contains only odd integers from 3 to ${\displaystyle 2n+1}$. From this final list, some odd integers have been excluded; we must show these are precisely the composite odd integers less than ${\displaystyle 2n+2}$.

Let q be an odd integer of the form ${\displaystyle 2k+1}$. Then, q is excluded if and only if k is of the form ${\displaystyle i+j+2ij}$, that is ${\displaystyle q=2(i+j+2ij)+1}$. Then we have:

${\displaystyle {\begin{aligned}q&=2(i+j+2ij)+1\\&=2i+2j+4ij+1\\&=(2i+1)(2j+1).\end{aligned}}}$

So, an odd integer is excluded from the final list if and only if it has a factorization of the form ${\displaystyle (2i+1)(2j+1)}$ — which is to say, if it has a non-trivial odd factor. Therefore the list must be composed of exactly the set of odd prime numbers less than or equal to ${\displaystyle 2n+2}$.

 def sieveOfSundaram(n):
    k = int(( n - 2 ) / 2 )
    a = [0] * ( k + 1 )
    for i in range( 1, k + 1):
        j = i
        while(( i + j + 2 * i * j ) <= k):
            a[ i + j + 2 * i * j ] = 1
            j+=1
    if n > 2:
        print(2,' ',end='')
    for i in range(1, k + 1):
        if a[i] == 0:
            print((2 * i +1),' ',end='')

• Sieve of Eratosthenes
• Sieve of Atkin
• Sieve theory

• Ogilvy, C. Stanley; John T. Anderson (1988). Excursions in Number Theory. Dover Publications, 1988 (reprint from Oxford University Press, 1966). pp. 98–100, 158. ISBN 0-486-25778-9.
• Honsberger, Ross (1970). Ingenuity in Mathematics. New Mathematical Library #23. Mathematical Association of America. pp. 75. ISBN 0-394-70923-3.
• A new "sieve" for primes, an excerpt from Kordemski, Boris A. (1974). Köpfchen, Köpfchen! Mathematik zur Unterhaltung. MSB Nr. 78. Urania Verlag. p. 200. (translation of Russian book Кордемский, Борис Анастасьевич (1958). Математическая смекалка. М.: ГИФМЛ.)
• Movshovitz-Hadar, N. (1988). "Stimulating Presentations of Theorems Followed by Responsive Proofs". For the Learning of Mathematics. 8 (2): 12–19.
• Ferrando, Elisabetta (2005). Abductive processes in conjecturing and proving (PDF) (PhD). Purdue University. pp. 70–72.
• Baxter, Andrew. "Sundaram's Sieve". Topics from the History of Cryptography. MU Department of Mathematics.

• A C99 implementation of the Sieve of Sundaram using bitarrays