出力関数による攪拌

遷移 $T$ は単純なまま、出力関数 $g$ で状態のビットを混ぜる設計を、出力の攪拌という。PCG（permuted congruential generator）は、法 $2^{64}$ または $2^{128}$ の全周期の線形合同法を遷移とし、状態の上位ビットで決まる量だけ下位側をずらす・回転させる関数（たとえば「上位と下位の XOR を取り、最上位の数ビットが指す量だけ回転する」）を出力関数とする生成器の族である。カウンタ型の生成器（Philox、Threefry）は、遷移を $T(x) = x + 1$ とし、出力関数にブロック暗号に似た全単射を使う。