疑似乱数生成
概要
乱数 (random number) はランダムに選択された数のこと。特定の出現パターンを持たず、選択される値が予測できないという性質を持っており、ゲームや科学技術シミュレーション、暗号セキュリティの分野で重要な役割を持っている。
コンピュータの分野で使用する乱数は以下の二種類に分けられる。
真の乱数
真の乱数 (true random number) は非決定論的で予測や再現が完全に不可能な性質を持つ。真性乱数生成器 (TRNG; hardware true random number generator) と呼ばれる専用のデバイスを使ってランダムであると予想される物理的現象を測定し、場合によって測定プロセスで発生する可能性のあるバイアスを補正して得られる。
一般に真の乱数は抵抗やダイオードのノイズ、熱雑音などから取得する。例えば Unix 系 OS の /dev/random
のようにいくつかの OS では真の乱数を取得する方法を提供しているが、これらは十分なエントロピーが得られていない状況でßは処理をブロックするため大量の乱数生成には向いていない。
真の乱数は研究目的でいくつかの Web から入手することができる。例えば原子崩壊に基づいた真の乱数を HotBit から、大気ノイズに基づいた真の乱数を random.org から得ることができる。
疑似乱数
疑似乱数 (pseudo-random number) は疑似乱数生成器 (PRNG; pseudo-random number generator) と呼ばれる数理に基づいた計算アルゴリズムを使って生成されるランダム性の高い数値シーケンス。真の乱数ではないため疑似乱数と呼ばれる。この記事では疑似乱数生成アルゴリズムについて扱う。
疑似乱数生成アルゴリズムは大量の乱数を高速に発生させることができることから、コンピュータ上で行う統計分析やシミュレーション、テスト、ディスク領域をランダムビットで埋めるようなタスクのような、ある程度のランダム性だけを必要としているケースでは、決定論的で再現可能な性質を持つ疑似乱数が適しているケースが多い。
有限の計算資源と記憶領域に依存する疑似乱数列の生成はある一定の期間で同じパターンが繰り返し出現する周期性を持っている。このため周期性の長さは疑似乱数生成アルゴリズムの品質指標の一つといえる。疑似乱数の品質を評価する指標には Diehard tests や TestU01 が存在するが、これらはヒューリスティックなテスト項目も含まれており、全てのテストに合格したから完全という保証はなく、またパスしなかったテストがあるから不十分ということはない。他に、乱数が一様かを簡易的に確かめるにはヒストグラムを作成しχ²検定で有効水準内かを検証する方法がある。
暗号論的疑似乱数
疑似乱数生成はさらに暗号や署名などのセキュリティ用途で利用することを意図した暗号論的疑似乱数生成器 (cryptographically secure PRNGs; CSPRNGs) かどうかに分類される。暗号論的疑似乱数はランダム性に加えて次の要件を満たしている必要がある。
アルゴリズムの出力シーケンスの最初の \(k\) ビットが与えられたとき、次に出現するビットを 50% を大幅に超える確率で予測できる多項式時間アルゴリズムが存在しない。
暗号理論の文脈で多項式時間アルゴリズムとは、(ビット幅のような) 設定パラメータ \(x\) に対して高々その定数乗 \(O(x^a)\) 程度の計算で解けるアルゴリズムを意味する。
シフトレジスタジェネレータ
過度に疎な多項式を使う線形合同法と異なり、シフトレジスタジェネレータ (shift-register generator) は線形帰還シフトレジスタの考え方に基づいて計算効率を向上させた疑似乱数ジェネレータである。
Mersenne Twister
Mersenne Twister [MT] は \(2^{19937}-1\) という非常に長い周期と 623 次元で均等分布をもつことで知られる疑似乱数生成アルゴリズム。現時点の Python, Ruby, R, MATLAB といったいくつかのプラットフォームでの標準 PRNG として利用されている。
現代的な CPU に実装されている SSE や AVX といった SIMD 拡張命令を使用することで速度を向上した SFMT、さらに GPU を使用して並列計算を行う MTGP、より小さなメモリ空間で動作する TinyMT などの変種が存在する。
xorshift
ビット演算のみを使用して \(2^{32}-1\) から \(2^{192}-1\) 周期の乱数を生成するアルゴリズム。線形合同法の結果に統計的補正を加える PCG としても使用されている。
線形合同法
線形合同法 (linear congruential generator; LCG) は歴史の長さと実装の単純さから最もよく知られている疑似乱数生成アルゴリズム。ただし現在ではランダム性の品質も計算効率も悪いと見なされており、シミュレーションなど乱数を大量に使用する用途ではより良い選択肢を考慮する必要がある。
線形合同法での乱数列の生成アルゴリズムは前の値 \(X_n\) に乗算、加算、余剰演算を行って次の乱数 \(X_{n+1}\) を得る。\[ X_{n+1} = (\alpha \times X_n + \beta) \bmod M \] ここで \(\alpha\), \(\beta\), \(M\) はそれぞれ定数であり、\(0 \lt \alpha \lt M\), \(0 \le \beta\) である必要がある。
線形合同法はいくつかのプログラミング言語において標準の疑似乱数生成アルゴリズムとして使用されてきた。例えば Java 標準の Random
クラスは以下のような実装を行っている。
protected synchronized int next(int bits) {
seed = (seed * 0x5DEECE66DL + 0xBL) & ((1L << 48) - 1);
return (int) (seed >>> (48 - bits));
}
ただし Java 8 から標準で SplitMax に基づく SplittableRandom
を利用することができるため、過去の互換性以外の目的で線形合同法に基づいた Random
を使用する必要はない。
その他の疑似乱数生成アルゴリズム
パフォーマンス
Algorithm | Footprint [bits] | Period | nsec/op | 🔐 | TestU01 | |
---|---|---|---|---|---|---|
ChaCha8 | --- | --- | ✔ | |||
ChaCha12 | --- | --- | ✔ | |||
ChaCha20 | 1,024 | \(2^{128}\) | --- | --- | ✔ | |
HC-128 | --- | --- | ✔ | |||
ISAAC 32 | --- | --- | ✔ | |||
ISAAC 64 | --- | --- | ✔ | |||
OS provided PRNG | --- | --- | ? | |||
MT19937-64 | 20,032 | \(2^{19937}-1\) | --- | --- | ||
SFMT | 20,032 | \(2^{19937}-1\) | --- | --- | ||
TinyMT32 | 224 | \(2^{128}-1\) | --- | --- | ||
TinyMT64 | 256 | \(2^{128}-1\) | --- | --- | ||
PCG32 | --- | --- | ||||
PCG32 | --- | --- | ||||
PCG32 | --- | --- | ||||
SplitMix64 | 64 | \(2^{64}\) | --- | --- | ✔ | |
xorshift64 | \(2^{64}-1\) | --- | --- | ✔ | ||
xoshiro128+ | 128 | \(2^{128}-1\) | --- | --- | ✔ | |
xoshiro128++ | 128 | \(2^{128}-1\) | --- | --- | ✔ | |
xoshiro128** | 128 | \(2^{128}-1\) | --- | --- | ✔ | |
xoshiro256+ | 256 | \(2^{256}-1\) | --- | --- | ✔ | |
xoshiro256++ | 256 | \(2^{256}-1\) | --- | --- | ✔ | |
xoshiro256** | 256 | \(2^{256}-1\) | --- | --- | ✔ | |
xoshiro512+ | 512 | \(2^{512}-1\) | --- | --- | ✔ | |
xoshiro512++ | 512 | \(2^{512}-1\) | --- | --- | ✔ | |
xoshiro512** | 512 | \(2^{512}-1\) | --- | --- | ✔ | |
xoroshiro64* | 64 | \(2^{64}-1\) | --- | --- | ✔ | |
xoroshiro64** | 64 | \(2^{64}-1\) | --- | --- | ✔ | |
xoroshiro128+ | 128 | \(2^{128}-1\) | --- | --- | ✔ | |
xoroshiro128++ | 128 | \(2^{128}-1\) | --- | --- | ✔ | |
xoroshiro128** | 128 | \(2^{128}-1\) | --- | --- | ✔ |
参照
- List of random number generators
- PCG, A Family of Better Random Number Generators
- 松本 眞. "あなたの使っている乱数、大丈夫?" 第50回市村学術賞記念 先端技術講演会 (2014)
- [MT] Matsumoto, Makoto, and Takuji Nishimura. "Mersenne twister: a 623-dimensionally equidistributed uniform pseudorandom number generator" ACM Trans. Model. Comput. Simul. Vol. 8, No. 1 (1998).