線形合同法・乗算型合同法

定義 3.1（「擬似乱数生成器」§3）

整数 $m \ge 2$ （法）、 $a$ （乗数）、 $c$ （増分）に対し、 $S = O = \{0, 1, \ldots, m-1\}$ 、

T(x) = (ax + c) \bmod m, \qquad g(x) = x

で定まる生成器を線形合同法という。 $c \equiv 0 \pmod m$ のものを乗算型合同法という。ある種について状態の列の周期が $m$ に等しいとき、全周期をもつという。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。