Линейный конгруэнтный метод

Линейный конгруэнтный метод — один из широко известных методов генерации псевдослучайных чисел. Применяется в простых случаях и не обладает криптографической стойкостью. Входит в стандартные библиотеки различных компиляторов. Преимуществом генераторов на основе этого метода является их быстрота за счет малого количества операций на бит.

Описание

Линейный конгруэнтный метод был предложен Д.Г. Лемером в 1949 году. Суть метода заключается в вычислении последовательности случайных чисел в предположении, что 

где – модуль , – множитель , – приращение , – начальное значение .

Эта последовательность называется линейной конгруэнтной последовательностью. Например, для и получим последовательность 

Свойства

Линейная конгруэнтная последовательность, определенная числами , , и периодична с периодом, не превышающим . При этом длина периода равна тогда и только тогда, когда:

1) Числа и взаимно простые;

2) кратно для каждого простого , являющегося делителем ;

3) кратно , если кратно (достаточность условий доказана Халлом и Добеллом).

Метод генерации линейной конгруэнтной последовательности при называют мультипликативным конгруэнтным методом, а при – смешанным конгруэнтным методом. При генерируемые числа будут иметь меньший период, чем при , но при определенных условиях можно получить период длинной , если – простое число.

Чтобы гарантировать максимальность цикла повторения последовательности при , необходимо в качестве значения параметра выбирать простое число. Самым известным генератором подобного рода является так называемый минимальный стандартный генератор случайных чисел, предложенный Стивеном Парком (Stephen Park) и Кейтом Миллером (Keith Miller) в 1988 году. Для него , а .

Наиболее часто практикуемым методом генерации последовательностей псевдослучайных чисел является смешанный конгруэнтный метод.

Часто используемые параметры

При выборе числа необходимо учитывать следующие условия:

1) число должно быть довольно большим, так как период не может иметь больше элементов;

2) значение числа должно быть таким, чтобы вычислялось быстро.

На практике при реализации метода исходя из указанных условий чаще всего выбирают , где — число битов в машинном слове. При этом стоит учитывать, что младшие двоичные разряды сгенерированных таким образом случайных чисел демонстрируют поведение, далёкое от случайного, поэтому рекомендуется использовать только старшие разряды. Подобная ситуация не возникает, когда , где – длина машинного слова. В таком случае младшие разряды ведут себя так же случайно, как и старшие. Выбор множителя и приращения в основном обусловлен необходимостью выполнения условия достижения периода максимальной длины.

В таблице ниже приведены наиболее часто используемые параметры линейных конгруэнтных генераторов, в частности, в стандартных библиотеках различных компиляторов (функцияrand()).

Регистр сдвига с линейной обратной связью (РСЛОС, англ. Linear feedback shift register, LFSR) — регистр сдвига битовых слов, у которого входной (вдвигаемый) бит являетсялинейной функцией состояния остальных битов регистра до сдвига. Может быть организован как программными, так и аппаратными средствами и применяется для генерациипсевдослучайных последовательностей битов, что находит применение, в частности, в криптографии.