エラトステネスの篩
出典: フリー百科事典『ウィキペディア（Wikipedia）』
数学において、エラトステネスの篩（エラトステネスのふるい）は、指定された整数以下の全ての素数を発見するための単純なアルゴリズムである。古代ギリシアの科学者、エラトステネスが考案したとされるため、この名がある。
目次 |
[編集] アルゴリズム
[編集] ステップ 1
整数を最初の素数である 2 から昇順で探索リストに羅列する。
- 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
[編集] ステップ 2
リストの先頭の数を素数リストに記録する。
- 素数リスト：2
- 探索リスト：2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
[編集] ステップ 3
前のステップで素数リストに加えられた数の全ての倍数を、探索リストから削除する。
- 素数リスト：2
- 探索リスト：3 5 7 9 11 13 15 17 19
[編集] ステップ 4
探索リストの最大値が素数リストの最大値の平方よりも小さい場合、素数リストおよび探索リストに残っている数が素数となる。探索リストの最大値が素数リストの最大値の平方よりも大きい場合、ステップ 2 に戻る。
- 19 は 2 の平方よりも大きいので、ステップ 2 に戻る。
- ステップ 2
- 素数リスト：2 3
- 探索リスト：3 5 7 9 11 13 15 17 19
- ステップ 3
- 素数リスト：2 3
- 探索リスト：5 7 11 13 17 19
- ステップ 4
- 19 は 3 の平方よりも大きいので、ステップ 2 に戻る。
- ステップ 2
- 素数リスト：2 3 5
- 探索リスト：5 7 11 13 17 19
- ステップ 3
- 素数リスト：2 3 5
- 探索リスト：7 11 13 17 19
- ステップ 4
- 19 は 5 の平方よりも小さいので、リストに残っている数が素数である。
結果：2 から 20 までの数に含まれる素数は、
- 2 3 5 7 11 13 17 19
となる。
[編集] 理論的考察
エラトステネスの篩は x1 / 2 以下の素数が既知のとき、（x1 / 2 以上）x 以下の素数を決定するには、x 以下の整数で x1 / 2 以下の素数の倍数を全て取り除けば（＝篩えば）よいことを意味する。このことから、包除原理を用いることによって x 以下の素数の個数に関する式を得ることができる。
具体的な式を書くために、いまx 以下の素数の個数をπ(x)と書き、z 以下の全ての素数の積を P = P(z) とすると、この篩の操作が与える定量的な公式は
![\pi(n)-\pi(\sqrt{n})+1=\sum_{d\mid P(\sqrt{n})}\mu(d)\left[\frac{x}{d}\right]](http://upload.wikimedia.org/math/d/2/4/d24c4d13261a39985e7045286e4c1751.png)
となる。(左辺の+1は篩われずに残る数{1}の分である。)
より一般に、整数の集合Aから、z以下の素数の倍数全てを篩う時、残る元の個数S(A,P)は、
と表すことができる。其の中Ad は A の元で d で割り切れるもの全体の集合を表す。この定式化はルジャンドルの篩ともよばれる。
再び先の素数の個数の評価について述べれば、
の時、不等式
![\pi(n) - \pi(z) + 1 \leq \sum_{d\mid P(z)} \mu(d)\left[\frac{n}{d}\right]](http://upload.wikimedia.org/math/8/3/b/83b2ab0380e0f8a1f649521494c3086c.png)
が成立つから、不等式 ![|[n/d]-n/d|\leq1](http://upload.wikimedia.org/math/c/7/4/c748710800b8afe4f19cbab0a9de0946.png)
を用いて
という評価が得られる。この公式から（z=log n とおき、素数の逆数の和が発散することを用いて）
を証明することができる。
しかし、其評価の過程で上の 2π(z) のような大きな誤差項が現れてしまうのは、包除原理にのみに依拠した式の共通の欠点である。このような困難を回避し、より一般的な状況で篩われた集合の元の個数を近似・評価するのが現代の篩法である。この方法は双子素数予想など、多くの数論上の問題の研究に広く応用されている。
