Pređi na sadržaj

Sundaramovo sito

S Vikipedije, slobodne enciklopedije

U matematici, Sundaramovo sito je jednostavan deterministički algoritam za pronalaženje svih prostih brojeve do određenog celog broja. Otkrio ga je indijski matematičar S. P. Sundaram 1934.godine.[1][2]

Algoritam

[uredi | uredi izvor]
Sundaramobo sito: koraci algoritma za proste brojeve ispod 202 (optimalno).

Počinje sa listom celih brojeva od 1 do n. Iz ove liste, uklanja sve brojeve u obliku i + j + 2ij gde:

Preostali brojevi se udvostručuju, povećavaju se, dajući listu neparnim brojevima (tj prostim, svi prosti brojevi osim 2) ispod 2n + 2.

Sito Sundaram sita od složenih brojeva radi kao Eratostenovo sito, ali čak se brojevi ne smatraju; rad "precrtava" i više 2 vrši poslednji korak dvostrukog-kraja-priraštaja. Kad god bi se Eratostenova metoda mogla precrtati bez k različitih prostih brojeva 2i+1, Sundaramova metoda precrtava i + j(2i+1) for .

Ispravnosti

[uredi | uredi izvor]

Ako počnemo sa celim brojevima od 1 do n, konačna lista sadrži samo neparne cele brojeve od 3 do 2n + 1. Iz ovog konačnog spiska, neki neparni celi brojevi su isključeni: moramo pokazati upravo to su složeni neparni celi brojevi manji od 2n + 2.

Pustiti q da bude neparan ceo broj od 2k + 1. Tada, q je isključen ako i samo ako k je od i + j + 2ij, tada je q = 2(i + j + 2ij) + 1. Onda imamo:

q = 2(i + j + 2ij) + 1
= 2i + 2j + 4ij + 1
= (2i + 1)(2j + 1).

Dakle, neparan ceo broj je isključen iz konačne liste ako i samo ako ima razlaganja oblika (2i + 1)(2j + 1) — što će reći, ako ima netrivijalni neparni faktor. Stoga lista mora činiti upravo skup neparnih prostih brojeva manjih ili jednakih od 2n + 2.

Vidi još

[uredi | uredi izvor]

Reference

[uredi | uredi izvor]
  1. ^ V. Ramaswami Aiyar (1934). „Sundaram's Sieve for Prime Numbers”. The Mathematics Student. 2 (2): 73. ISSN 0025-5742. 
  2. ^ G. (1941). „Curiosa 81. A New Sieve for Prime Numbers”. Scripta Mathematica. 8 (3): 164. 

Literatura

[uredi | uredi izvor]

Spoljašnje veze

[uredi | uredi izvor]