Определение

Решето Эратосфена - достаточно эффективный алгоритм для нахождения всех простых чисел в отрезке от до за .

Алгоритм достаточно тривиален: будем перебирать числа по возрастанию, начиная с , зачёркивая все числа, кратные текущему. Например, при обработке числа будут зачёркнуты числа . Если мы обнаружили незачёркнутое число, это значит, что оно простое.

Визуализация работы решета Эратосфена:

Решето Эратосфена

Работу решета можно значительно ускорить, если начинать зачёркивать числа, кратные , не с , а с . Ведь числа уже были зачёркнуты при обработке чисел

Реализация

1
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
#include <bits/stdc++.h>

using namespace std;

bool sieve[1000001];    //решето
vector<int> primes;     //вектор, в который будут добавляться простые числа

void compute_primes(int n) {
    for (int i = 2; i <= n; i++) {   //Изначально все числа не вычеркнуты.
        sieve[i] = true;
    }

    for (int i = 2; i <= n; i++) {
        if (sieve[i]) {     //если i не вычеркнуто
            primes.push_back(i);

            for (int j = i * i; j <= n; j += i) {    //вычеркиваем все кратные числа начиная с i^2
                sieve[j] = false;
            }
        }
    }
}

int main() {
    compute_primes(1000000);

    cout << "Prime numbers: ";
    for (int i: primes) {
        cout << i << ", ";
    }
}

Сложность алгоритма. Гармонический ряд

На примере решета Эратосфена можно продемонстрировать очень полезный математический факт, применяемый во многих доказательствах. А именно, имеет место следующее приближение:

Такую сумму называют “гармоническим рядом”, и она часто появляется в оценках сложности алгоритмов. Например, посмотрим на решето Эратосфена, в самой его наивной реализации: будем выполнять зачёркивающий цикл для каждого . То есть, для мы проверим элементов (и часть из них зачеркнём), для проверим , и так далее, вплоть до . Напомним, что сейчас мы рассматриваем гипотетическую, самую наивную версию алгоритма, так что представим, что мы выполняем зачёркивающий цикл даже для уже зачёркнутых элементов. Заметим, что общее число итераций зачёркивающего цикла можно оценить как

А значит сложность нашей гипотетической наивной версии алгоритма равна . Возвращаясь в реальность, оптимальная версия отличается от гипотетической несколькими свойствами:

  • Зачёркивающий цикл выполняется только для простых , а не для всех.
  • Зачёркивающий цикл начинает выполнение с , а не с .

Используя эти свойства, можно доказать ещё более жёсткое ограничение для сложности: , но сделать это довольно непросто. К тому же, для олимпиадных задач такая точность не всегда оправдана: например для :

Разница между двумя оценками достаточно небольшая, и редко помогает принять решение, достаточно ли быстрый ваш алгоритм. Впрочем, полезно всё же помнить о существовании более жёсткой оценки для решета Эратосфена, на всякий случай.