Подход к нелинейным конгруэнтным методам генерация равномерных псевдослучайных чисел в интервале [0,1) - Инверсивный конгруэнтный генератор с простым модулем. Обобщение для произвольных составных модулей
с произвольно четкими простые числа
здесь будет присутствовать.
Позволять
. За целые числа
с НОД (a, m) = 1 обобщенная обратная конгруэнтная последовательность
элементов
определяется
![y _ {{0}} = {{ rm {seed}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c35cc2782d36edbdc8b0f3f036485e0463b4f72b)
![y _ {{n + 1}} Equiv ay _ {{n}} ^ {{ varphi (m) -1}} + b { pmod m} { text {,}} n geqslant 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f01909267d0016d48dd9237b18e4df3539bed01)
куда
обозначает количество натуральных чисел меньше, чем м которые относительно простой к м.
Пример
Возьмем m = 15 =
и
. Следовательно
и последовательность
не максимум.
Приведенный ниже результат показывает, что эти последовательности тесно связаны со следующей обратимой конгруэнтной последовательностью с простыми модулями.
За
позволять
и
быть целыми числами с
![a Equiv m _ {{i}} ^ {{2}} a _ {{i}} { pmod {p _ {{i}}}} ; { text {and}} ; b Equiv m _ {{ i}} b _ {{i}} { pmod {p _ {{i}}}} { text {. }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e5fbb04eec48a6f6e5ebab73eae95012c917143)
Позволять
быть последовательностью элементов
, данный
![y _ {{n + 1}} ^ {{(i)}} Equiv a _ {{i}} (y _ {{n}} ^ {{(i)}}) ^ {{p _ {{i}} - 2}} + b _ {{i}} { pmod {p _ {{i}}}} ; { text {,}} n geqslant 0 ; { text {where}} ; y _ {{0 }} Equiv m _ {{i}} (y _ {{0}} ^ {{(i)}}) { pmod {p _ {{i}}}}} ; предполагается { text {. }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d4d3b47583a6533454a84d134405d258a9b51a0)
Теорема 1.
Позволять
за
быть определенным, как указано выше.
![y _ {{n}} Equiv m _ {{1}} y _ {{n}} ^ {{(1)}} + m _ {{2}} y _ {{n}} ^ {{(2)}} + dots + m _ {{r}} y _ {{n}} ^ {{(r)}} { pmod m}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/0405b423da7784cfa5e0adcd98170f7bcf34c425)
Эта теорема показывает, что возможна реализация обобщенного инверсивного конгруэнтного генератора, в котором точные целочисленные вычисления должны выполняться только в
но не в ![{ mathbb {Z}} _ {{m}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/77b1ff2f17f9af03b36f20c1099c5010ee8ee0bd)
Доказательство:
Во-первых, заметьте, что
и поэтому
если и только если
, за
которое будет показано при индукции по
.
Напомним, что
предполагается для
. Теперь предположим, что
и
для некоторого целого числа
. Тогда несложные вычисления и Теорема Ферма урожай
,
что подразумевает желаемый результат.
Обобщенные инверсивные конгруэнтные псевдослучайные числа хорошо равномерно распределены в одном измерении. Надежный теоретический подход к оценке их свойств статистической независимости основан на несовпадении s-наборы псевдослучайных чисел.
Границы несоответствия генератора GIC
Мы используем обозначения
куда
∈
обобщенных инверсивных конгруэнтных псевдослучайных чисел для
.
Верхняя граница
- Позволять
![s geq 2](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a395f6df937866b3ea0cb9abc6b984925acb16a)
- Тогда несоответствие
удовлетворяет
<
×
×
×
для любого обобщенного инверсивного конгруэнтного оператора.
Нижняя граница:
- Существуют обобщенные инверсивные конгруэнтные генераторы с
≥
×
: ×
для всех измерений s :≥ 2.
На фиксированный номер р основных факторов м, Теорема 2 показывает, что
для любой обобщенной инверсивной конгруэнтной последовательности. В этом случае из теоремы 3 следует, что существуют обобщенные инверсивные конгруэнтные генераторы, имеющие невязку
что по крайней мере на порядок
для всех измерений
. Однако если м состоит только из маленьких простых чисел, то р может быть на порядок
и поэтому
для каждого
.[1] Следовательно, в общем случае получаем
для каждого
.
С
, из аналогичных рассуждений следует, что в общем случае оценка снизу в теореме 3 не менее чем по порядку величины
для каждого
. Именно в этом диапазоне величин обнаруживается несовпадение m независимых и равномерно распределенных случайных точек, которое почти всегда имеет порядок величины
по закону повторного логарифма невязок.[2] В этом смысле обобщенные инверсивные конгруэнтные псевдослучайные числа очень точно моделируют истинные случайные числа.
Смотрите также
Рекомендации
- ^ Г. Х. Харди и Э. М. Райт, Введение в теорию чисел, 5-е изд., Clarendon Press, Oxford, 1979.
- ^ Кифер Дж. О больших отклонениях эмпирической д.ф. FO векторных случайных переменных и закон повторного логарифма, PacificJ. Математика. 11 (1961), стр. 649-660.
Примечания
- Эйхенауэр-Херрманн, Юрген (1994), Об обобщенных инверсивных конгруэнтных псевдослучайных числах (первое издание), Американское математическое общество, JSTOR 2153575