Qiitaで自作の素因数分解プログラムを公開したら添削されて30倍速くなった件(5)

# 前回までのあらすじ

自作の素因数分解プログラムを Qiita で公開した。プログラムに添削が入り，30倍以上速くなった。ちなみに教えて頂いた方法は「試し割り法」と呼ばれている。教えられた方法をそのまま使うのもアレなので，もっと速い方法を編み出せないか考えてみた。

現代のプロセッサでも割り算は比較的重いとされるので，与えられた自然数 $n$ に対してエラトステネスの篩（ふるい）と呼ばれる手法を用いて $\sqrt{n}$ 以下の素数を列挙し，それらの素数だけで試し割りをすれば除算回数は最小化され，格段の高速化が期待できるはずだ！しかし，エラトステネスの篩（ふるい）は大量にメモリを使用するせいか，意図したほど速くならなかった。

一方，試し割り法は $\sqrt{n}$ 以下の自然数すべてで割るのではなく，奇数だけ，あるいは２・３の倍数を除いた場合，２・３・５の倍数を除いた場合など除算回数を減らす手法（Wheel Factorization）が知られている。Wheel Factorization は比較的に簡単に実装でき，実際に効果を確認できた。

同様にエラトステネスの篩（ふるい）でも，$\sqrt{n}$ 以下の自然数すべてを配列に確保するのではなく，奇数だけ，あるいは２・３の倍数を除く，さらに２・３・５の倍数を除けば使用メモリを低減でき，高速化が期待できる。しかし，Wheel Factorization と異なり，極めてコーディングが複雑になるため，２・３の倍数を除く場合のところでストップしていた。要するに２・３・５の倍数を除く場合のコードが複雑になり過ぎて手に負えなかった。

詳しくは下記の記事を参照されたい。
[Qiitaで自作の素因数分解プログラムを公開したら添削されて30倍速くなった件 - Qiita](https://qiita.com/TETSURO1999/items/ffc1cae68c16a5c26fde)
[Qiitaで自作の素因数分解プログラムを公開したら添削されて30倍速くなった件(2) - Qiita](https://qiita.com/TETSURO1999/items/28ca00f958628423d64f?1)
[Qiitaで自作の素因数分解プログラムを公開したら添削されて30倍速くなった件(3) - Qiita](https://qiita.com/TETSURO1999/items/38ddcc0f4f3411924fe9)
[Qiitaで自作の素因数分解プログラムを公開したら添削されて30倍速くなった件(4) - Qiita](https://qiita.com/TETSURO1999/items/a8321c80405a70755c41)

# ２・３の倍数を除く方法（改）

２・３・５の倍数を除く方法をどうやって実装したらよいのか考えている途中で思いついたアイディアをまず２・３の倍数を除く方法で試してみる。

## 非等間隔な数列
奇数と異なり，数値が等間隔に並んでいないので取り扱いが格段に難しくなる。

<table>
<tr><th colspan=12 style="text-align:center;">$\textsf{表１　２・３の倍数を除いた場合}$</th></tr>
<tr></tr>
<tr><th style="text-align:right;">$1$</th><td style="text-align:right;">$2$</td>
    <td style="text-align:right;">$3$</td><td style="text-align:right;">$4$</td>
    <th style="text-align:right;">$5$</th><td style="text-align:right;">$6$</td>
    <th style="text-align:right;">$7$</th><td style="text-align:right;">$8$</td>
    <td style="text-align:right;">$9$</td><td style="text-align:right;">$10$</td>
    <th style="text-align:right;">$11$</th><td style="text-align:right;">$12$</td></tr>
<tr></tr>
<tr><th style="text-align:right;">$13$</th><td style="text-align:right;">$14$</td>
    <td style="text-align:right;">$15$</td><td style="text-align:right;">$16$</td>
    <th style="text-align:right;">$17$</th><td style="text-align:right;">$18$</td>
    <th style="text-align:right;">$19$</th><td style="text-align:right;">$20$</td>
    <td style="text-align:right;">$21$</td><td style="text-align:right;">$22$</td>
    <th style="text-align:right;">$23$</th><td style="text-align:right;">$24$</td></tr>
<tr></tr>
<tr><th style="text-align:right;">$25$</th><td style="text-align:right;">$26$</td>
    <td style="text-align:right;">$27$</td><td style="text-align:right;">$28$</td>
    <th style="text-align:right;">$29$</th><td style="text-align:right;">$30$</td>
    <th style="text-align:right;">$31$</th><td style="text-align:right;">$32$</td>
    <td style="text-align:right;">$33$</td><td style="text-align:right;">$34$</td>
    <th style="text-align:right;">$35$</th><td style="text-align:right;">$36$</td></tr>
<tr></tr>
<tr><th style="text-align:right;">$37$</th><td style="text-align:right;">$38$</td>
    <td style="text-align:right;">$39$</td><td style="text-align:right;">$40$</td>
    <th style="text-align:right;">$41$</th><td style="text-align:right;">$42$</td>
    <th style="text-align:right;">$43$</th><td style="text-align:right;">$44$</td>
    <td style="text-align:right;">$45$</td><td style="text-align:right;">$46$</td>
    <th style="text-align:right;">$47$</th><td style="text-align:right;">$48$</td></tr>
</tbody>
</table>

表１を整理すると以下のようになる。この等間隔に並んでいない数列に対して，素数または合成数のマーキングを行っていかなくてはならない。

<table>
<tr><th colspan=12 style="text-align:center;">$\textsf{表２　２・３の倍数を除いた場合}$</th></tr>
<tr></tr>
<tr><th style="text-align:right;">$1$</th><th style="text-align:right;">$5$</th>
    <th style="text-align:right;">$7$</th><th style="text-align:right;">$11$</th>
    <th style="text-align:right;">$13$</th><th style="text-align:right;">$17$</th>
    <th style="text-align:right;">$19$</th><th style="text-align:right;">$23$</th>
    <th style="text-align:right;">$25$</th><th style="text-align:right;">$29$</th>
    <th style="text-align:right;">$31$</th><th style="text-align:right;">$35$</th></tr>
<tr></tr>
<tr><th style="text-align:right;">$37$</th><th style="text-align:right;">$41$</th>
    <th style="text-align:right;">$43$</th><th style="text-align:right;">$47$</th>
    <th style="text-align:right;">$49$</th><th style="text-align:right;">$53$</th>
    <th style="text-align:right;">$55$</th><th style="text-align:right;">$59$</th>
    <th style="text-align:right;">$61$</th><th style="text-align:right;">$65$</th>
    <th style="text-align:right;">$67$</th><th style="text-align:right;">$71$</th></tr>
<tr></tr>
<tr><th style="text-align:right;">$73$</th><th style="text-align:right;">$77$</th>
    <th style="text-align:right;">$79$</th><th style="text-align:right;">$83$</th>
    <th style="text-align:right;">$85$</th><th style="text-align:right;">$89$</th>
    <th style="text-align:right;">$91$</th><th style="text-align:right;">$95$</th>
    <th style="text-align:right;">$97$</th><th style="text-align:right;">$101$</th>
    <th style="text-align:right;">$103$</th><th style="text-align:right;">$107$</th></tr>
<tr></tr>
<tr><th style="text-align:right;">$109$</th><th style="text-align:right;">$113$</th>
    <th style="text-align:right;">$115$</th><th style="text-align:right;">$119$</th>
    <th style="text-align:right;">$121$</th><th style="text-align:right;">$125$</th>
    <th style="text-align:right;">$127$</th><th style="text-align:right;">$131$</th>
    <th style="text-align:right;">$133$</th><th style="text-align:right;">$137$</th>
    <th style="text-align:right;">$139$</th><th style="text-align:right;">$143$</th></tr>
</tbody>
</table>

エラトステネスの篩（ふるい）では，たとえば最初に素数 $5$ を見つけたとして，$5^2$ 以上の $5$ の倍数，すなわちこのケースでは $5\cdot 5, 5\cdot 7, 5\cdot 11, \cdots$（すなわち $5$ と $5$ 以上の要素の積）を合成数としてマーキングしていくが，$5$ の倍数の位置は非等間隔に並んでおり，非常に取り扱いにくい。同様に $7, 11, 13$ の倍数の位置を以下に示す。

<table>
<caption>表３　$5, 7, 11, 13$ の倍数の位置（1-origin）</caption>
<thead>
<tr><th colspan=2 style="text-align:center;">$5$ の倍数</th>
    <th></th>
    <th colspan=2 style="text-align:center;">$7$ の倍数</th>
    <th></th>
    <th colspan=2 style="text-align:center;">$11$ の倍数</th>
    <th></th>
    <th colspan=2 style="text-align:center;">$13$ の倍数</th></tr>
<tr><th style="text-align:center;">合成数</th><th style="text-align:center;">位置</th>
    <th></th>
    <th style="text-align:center;">合成数</th><th style="text-align:center;">位置</th>
    <th></th>
    <th style="text-align:center;">合成数</th><th style="text-align:center;">位置</th>
    <th></th>
    <th style="text-align:center;">合成数</th><th style="text-align:center;">位置</th></tr>
</thead>
<tbody>
<tr><td style="text-align:center;">$5 \cdot 5$</td><td style="text-align:center;">$9$</td>
    <td></td>
    <td style="text-align:center;">$7 \cdot 7$</td><td style="text-align:center;">$17$</td>
    <td></td>
    <td style="text-align:center;">$11 \cdot 11$</td><td style="text-align:center;">$41$</td>
    <td></td>
    <td style="text-align:center;">$13 \cdot 13$</td><td style="text-align:center;">$57$</td></tr>
<tr><td style="text-align:center;">$5 \cdot 7$</td><td style="text-align:center;">$12$</td>
    <td></td>
    <td style="text-align:center;">$7 \cdot 11$</td><td style="text-align:center;">$26$</td>
    <td></td>
    <td style="text-align:center;">$11 \cdot 13$</td><td style="text-align:center;">$48$</td>
    <td></td>
        <td style="text-align:center;">$13 \cdot 17$</td><td style="text-align:center;">$74$</td></tr>
<tr><td style="text-align:center;">$5 \cdot 11$</td><td style="text-align:center;">$19$</td>
    <td></td>
    <td style="text-align:center;">$7 \cdot 13$</td><td style="text-align:center;">$31$</td>
    <td></td>
    <td style="text-align:center;">$11 \cdot 17$</td><td style="text-align:center;">$63$</td>
    <td></td>
    <td style="text-align:center;">$13 \cdot 19$</td><td style="text-align:center;">$83$</td></tr>
<tr><td style="text-align:center;">$5 \cdot 13$</td><td style="text-align:center;">$22$</td>
    <td></td>
    <td style="text-align:center;">$7 \cdot 17$</td><td style="text-align:center;">$40$</td>
    <td></td>
    <td style="text-align:center;">$11 \cdot 19$</td><td style="text-align:center;">$70$</td>
    <td></td>
    <td style="text-align:center;">$13 \cdot 23$</td><td style="text-align:center;">$100$</td></tr>
<tr><td style="text-align:center;">$5 \cdot 17$</td><td style="text-align:center;">$29$</td>
    <td></td>
    <td style="text-align:center;">$7 \cdot 19$</td><td style="text-align:center;">$45$</td>
    <td></td>
    <td style="text-align:center;">$11 \cdot 23$</td><td style="text-align:center;">$85$</td>
    <td></td>
    <td style="text-align:center;">$13 \cdot 25$</td><td style="text-align:center;">$109$</td></tr>
<tr><td style="text-align:center;">$5 \cdot 19$</td><td style="text-align:center;">$32$</td>
    <td></td>
    <td style="text-align:center;">$7 \cdot 23$</td><td style="text-align:center;">$54$</td>
    <td></td>
    <td style="text-align:center;">$11 \cdot 25$</td><td style="text-align:center;">$92$</td>
    <td></td>
    <td style="text-align:center;">$13 \cdot 29$</td><td style="text-align:center;">$126$</td></tr>
<tr><td style="text-align:center;">$5 \cdot 23$</td><td style="text-align:center;">$39$</td>
    <td></td>
    <td style="text-align:center;">$7 \cdot 25$</td><td style="text-align:center;">$59$</td>
    <td></td>
    <td style="text-align:center;">$11 \cdot 29$</td><td style="text-align:center;">$107$</td>
    <td></td>
    <td style="text-align:center;">$13 \cdot 31$</td><td style="text-align:center;">$135$</td></tr>
<tr><td style="text-align:center;">$5 \cdot 25$</td><td style="text-align:center;">$42$</td>
    <td></td>
    <td style="text-align:center;">$7 \cdot 29$</td><td style="text-align:center;">$68$</td>
    <td></td>
    <td style="text-align:center;">$11 \cdot 31$</td><td style="text-align:center;">$114$</td>
    <td></td>
    <td style="text-align:center;">$13 \cdot 35$</td><td style="text-align:center;">$152$</td></tr>
</tbody>
</table>

ここで位置を一つおきに見ると $5$ の倍数は $10$ 間隔，$7$ の倍数は $14$ 間隔，$11$ の倍数は $22$ 間隔，$13$ の倍数は $26$ 間隔となってることが分かる。すなわち $p$ の倍数は $2p$ 間隔になりそうである。

## 定式化
２，３の倍数を除く自然数の数列を $m(i) = 6j + w(k)$ とおく。
$i = 2j + k$，$j \ge 0$，$k = \lbrace 0, 1 \rbrace$，$w(k) = \lbrace -1, +1 \rbrace$ とする。

素数 $m(i)$ に対して，$m(i)^2 = m(I_0)$ となる初期位置 $I_0$ を求める。

```math
\begin{align}
m(i)^2 &= (6j + w(k))^2 \\
&= 36j^2 + 12j\cdot w(k) + w(k)^2 \\
&= 6 \left( 6j^2 + 2j\cdot w(k) \right) + 1 \\
&= 6 J_0 + w(K_0) \\
J_0 &= 6j^2 + 2j\cdot w(k) \\
K_0 &= 1 \\
I_0 &= 2J_0 + K_0 = 12j^2 + 4j\cdot w(k) + 1
\end{align}
```

一つ置いた位置 $I_2$ を求める。

```math
\begin{align}
m(i)\cdot m(i+2) &= (6j + w(k))(6(j + 1) + w(k)) \\
&= 36j\cdot(j+1) + 6j\cdot w(k) + 6(j+1) \cdot w(k) + w(k)^2 \\
&= 6 \left( 6j^2 + 6j + 2j\cdot w(k) + w(k) \right) + 1 \\
&= 6 J_2 + w(K_2) \\
J_2 &= 6j^2 + 6j + 2j\cdot w(k) + w(k) \\
K_2 &= 1 \\
I_2 &= 2J_2 + K_2 = 12j^2 + 12j + 4j\cdot w(k) + 2w(k) + 1

\end{align}
```

$I_2 - I_0 = 12j + 2w(k) = 2(6j + w(k)) = 2m(i)$ となる。

調べてみると非負の整数 $x \ge 0$ に対して

$I_{x + 2} - I_x =2m(i)$

が成立する。すなわち，初期配置から $I_0 \rightarrow I_1 \rightarrow I_2 \cdots $ と一つずつ移動しながらマーキングするのではなく，

```math
\begin{alignat}{3}
I_0 &\rightarrow I_2 &\rightarrow I_4 \cdots \\
I_1 &\rightarrow I_3 &\rightarrow I_5 \cdots
\end{alignat}
```

と一つおきにマーキングしていけば良い。

参考までに位置 $I_1$ を求める。

$k = 0$ のとき
```math
\begin{align}
m(i)\cdot m(i+1) &= (6j + w(0))(6j + w(1)) \\
&= 36j^2 + 6j \cdot \lbrace w(0) + w(1) \rbrace + w(0)\cdot w(1) \\
&= 6 \cdot 6j^2 - 1 \\
&= 6 J_1 + w(K_1) \\
J_1 &= 6j^2  \\
K_1 &= 0 \\
I_1 &= 2J_1 + K_1 = 12j^2
\end{align}
```

$k = 1$ のとき
```math
\begin{align}
m(i)\cdot m(i+1) &= (6j + w(1))\lbrace6(j + 1) + w(0)\rbrace \\
&= 36j\cdot(j+1) + 6j \cdot w(0) + 6(j+1)\cdot w(1) + w(0)\cdot w(1) \\
&= 6 \cdot (6j^2 + 6j + 1 ) - 1 \\
&= 6 J_1 + w(K_1) \\
J_1 &= 6j^2 + 6j + 1 \\
K_1 &= 0 \\
I_1 &= 2J_1 + K_1 = 12j^2 + 12j + 2
\end{align}
```

となる。これらを統合すると
```math
I_1 = 12j^2 + 2\cdot(6j + 1)\cdot k
```
となる。

# 改善版のコード
改善版のコードを以下に示す。既存のコードと比較してみると，内側の `for()` ループの中身が極めて簡素化されていることが分かる。使用するメモリ容量は変わらないが，１バイト書き込みあたりの処理は激減しているはずだ。

```javascript
function create_list(n) {
	var n1 = Math.floor(Math.sqrt(n));
	var n2 = (n1 % 2 == 0) ? n1 - 1 : n1;
	var	n3 = (n2 % 3 == 0) ? n2 - 2 : n2;
	var	table = new Uint8Array(2 + Math.floor(n3 / 3));
	var	size = table.length;
	var	list = [];
	list.push(2);
	list.push(3);
	for(var i = 2; i < size; i++) {
		if(table[i] != 0) continue;
		var	j = i >>> 1;
		var	k = i & 1;
		var	m = 6 * j + 2 * k - 1;
		list.push(m);
		for(var i0 = 12 * j * j + 4 * j * (2 * k - 1) + 1,
				i1 = 12 * j * j + 2 * (6 * j + 1) * k;
			i1 < size; i0 += 2 * m, i1 += 2 * m) {
			table[i0] = 1;
			table[i1] = 1;
		}
		if(i0 < size) table[i0] = 1;
	}
	return list;
}
```

# 従来版のコード
参考までに従来版のコードを示す。

```javascript
function create_list(n) {
    var n1 = Math.floor(Math.sqrt(n));
    var n2 = (n1 % 2 == 0) ? n1 - 1 : n1;
	var	n3 = (n2 % 3 == 0) ? n2 - 2 : n2;
	var	table = new Uint8Array(2 + Math.floor(n3 / 3));
	var	size = table.length;
	var	list = [];
	list.push(2);
	list.push(3);
	for(var i = 2; i < size; i++) {
		if( table[i] != 0 ) continue;
		var	j = i >>> 1;
		var k = i & 1;
		var	m = 6 * j + 2 * k - 1;
		list.push(m);
		for(var jj = 6 * j * j + 2 * j * (2 * k - 1), kk = 1;
			(ii = 2 * jj + kk) < size; kk ^= 1) {
			table[ii] = 1;
			jj += (kk == k) ? 4 * j + (2 * k - 1) : 2 * j;
		}
	}
	return list;
}
```

# 測定結果

JavaScript において安全に使用できる整数最大値 `Number.MAX_SAFE_INTEGER` すなわち $9,007,199,254,740,991$ 以下の最大素数 $9,007,199,254,740,881$ を入力し，素数判定に要した時間を計測した。なお JavaScript エンジンは Chakra エンジンを使用した。TypedArray を使用してるので，Internet Explorer の JavaScript エンジンでは動作しない。

また，今回さまざまなプロセッサ（インテル第 8 ～ 13 世代）で測定できる機会を得たので比較した結果を以下に示す。

```plantuml
@startuml
<style>
root {
  margin 0
  padding 0
}
header {
  fontsize 16
  fontcolor black
}
footer {
  fontsize 16
  fontcolor black
}
</style>
left header <font color=gray>■</font>第8世代，<font color=blue>■</font>第10世代，<font color=red>■</font>第11世代，<font color=orange>■</font>第13世代
footer 図１　従来版と改善版の比較
title

<img https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/3490655/9d1703e8-96a2-f8f1-bf4b-5edeba930c4f.png>
end title
@enduml
```

# 結論
結論，インテル第13世代はハンパなく速い・・・いや，これはアルゴリズムの比較だった。

残念ながら，ループ処理の軽減によるアルゴリズム改善は必ずしも高速化に寄与していない。ただし，第11世代では僅かに速くなっている。インテルコアプロセッサも第11世代以降はL2キャッシュ容量を急激に増大させており，その影響かとも思われたが，第13世代の結果を見ると説明がつかない。

<table>
<caption>表１　プロセッサ仕様の比較</caption>
<thead>
<tr><th style="text-align:center;">世代</th>
    <th style="text-align:center;">8th</th>
    <th style="text-align:center;">10th</th>
    <th style="text-align:center;">11th</th>
    <th style="text-align:center;">13th</th></tr>
</thead>
<tbody>
<tr><td style="text-align:center;">プロセッサ名</td>
    <td style="text-align:center;">i7-8550U</td>
    <td style="text-align:center;">i5-10400</td>
    <td style="text-align:center;">i5-1135G7</td>
    <td style="text-align:center;">i7-13700</td></tr>
<tr><td style="text-align:center;">コード名</td>
    <td style="text-align:center;">Kaby Lake R</td>
    <td style="text-align:center;">Comet Lake</td>
    <td style="text-align:center;">Tiger Lake</td>
    <td style="text-align:center;">Raptor Lake</td></tr>
<tr><td style="text-align:center;">コア/スレッド</td>
    <td style="text-align:center;">4/8</td>
    <td style="text-align:center;">6/12</td>
    <td style="text-align:center;">4/8</td>
    <td style="text-align:center;">(P)8/16</td></tr>
<tr><td style="text-align:center;">ベースクロック</td>
    <td style="text-align:center;">1.8GHz</td>
    <td style="text-align:center;">3.0GHz</td>
    <td style="text-align:center;">2.4GHz</td>
    <td style="text-align:center;">(P)2.1GHz</td></tr>
<tr><td style="text-align:center;">ブースト時クロック</td>
    <td style="text-align:center;">4.0GHz</td>
    <td style="text-align:center;">4.4GHz</td>
    <td style="text-align:center;">4.2GHz</td>
    <td style="text-align:center;">(P)5.2GHz</td></tr>
<tr><td style="text-align:center;">L1 命令キャッシュ容量</td>
    <td style="text-align:center;">32kB/core</td>
    <td style="text-align:center;">32kB/core</td>
    <td style="text-align:center;">32kB/core</td>
    <td style="text-align:center;">(P)32KB/core</td></tr>
<tr><td style="text-align:center;">L1 データキャッシュ容量</td>
    <td style="text-align:center;">32kB/core</td>
    <td style="text-align:center;">32kB/core</td>
    <td style="text-align:center;">48kB/core</td>
    <td style="text-align:center;">(P)48kB/core</td></tr>
<tr><td style="text-align:center;">L2 キャッシュ容量</td>
    <td style="text-align:center;">256kB/core</td>
    <td style="text-align:center;">256kB/core</td>
    <td style="text-align:center;">1.25MB/core</td>
    <td style="text-align:center;">(P)2MB/core</td></tr>
<tr><td style="text-align:center;">L3 キャッシュ容量</td>
    <td style="text-align:center;">8MB</td>
    <td style="text-align:center;">12MB</td>
    <td style="text-align:center;">8MB</td>
    <td style="text-align:center;">30MB</td></tr>
</tbody>
</table>
※第 13 世代は Performance(P) コアの仕様のみを表示しています。

# 次回
次回に続きます。次回はついに「２・３・５の倍数を除く」に挑戦します。

- [Qiitaで自作の素因数分解プログラムを公開したら添削されて30倍速くなった件(6) - Qiita](https://qiita.com/TETSURO1999/items/a51747cfac9f89b51a11)
- [Qiitaで自作の素因数分解プログラムを公開したら添削されて30倍速くなった件(7) - Qiita](https://qiita.com/TETSURO1999/items/392fd3a8f999a018edfd)
- [Qiitaで自作の素因数分解プログラムを公開したら添削されて30倍速くなった件(8) - Qiita](https://qiita.com/TETSURO1999/items/599d4b7ccb2b4e407a34)
- [Qiitaで自作の素因数分解プログラムを公開したら添削されて30倍速くなった件(9) 最終回 - Qiita](https://qiita.com/TETSURO1999/items/5d69e183af27487de7bc)