Генератор случайных чисел во многом подобен сексу: когда он хорош — это прекрасно, когда он плох, все равно приятно (Джордж Марсалья, 1984)
Популярность стохастических алгоритмов все растет. Многие из них базируются на генерации большого количества различных случайных величин. Далеко не всегда равномерно распределенных. Здесь я попытался собрать информацию о быстрых и точных генераторах случайных величин с известными распределениями. Задачи могут быть разными, разными могут быть и критерии. Кому-то важно время генерации, кому-то — точность, кому-то — криптоустойчивость, кому-то — скорость сходимости. Лично я исходил из предположения, что мы имеем некий базовый генератор, возвращающий псевдослучайное целое число, равномерно распределенное от 0 до некого RAND_MAX
unsigned long long BasicRandGenerator() {
unsigned long long randomVariable;
// some magic here
...
return randomVariable;
}
и что этот генератор достаточно быстрый. Я имею ввиду, что дешевле сгенерировать с десяток случайных чисел, нежели чем посчитать логарифм или возвести в степень одно из них. Это могут быть стандартные генераторы: std::rand(), rand в MATLAB, Java.util.Random и т.д. Но имейте ввиду, что подобные генераторы редко подходят для серьезной работы. Зачастую они проваливают разные статистические тесты. А также, помните, что вы полностью зависите от них и лучше использовать свой собственный генератор, чтобы иметь представление о его работе.
В статье я буду рассказывать об алгоритмах, суть которых должна быть понятна каждому, кто хоть иногда сталкивался с теорией вероятностей. Совсем необязательно быть знакомым с теорией меры, как правило, достаточно примерно понимать, что из себя представляют функция распределения и функция плотности распределения:
![](https://habrastorage.org/files/591/8a7/1dc/5918a71dcb1e4a6bb432c273bc65541d.png)
Каждый алгоритм я буду сопровождать кодом, небольшим количеством математики и гистограммой из десятка миллионов сгенерированных случайных величин.
Равномерное распределение
![](https://habrastorage.org/files/abf/358/849/abf35884902446349f8fd3516788f894.png)
![](https://habrastorage.org/files/ccb/249/991/ccb24999157e4f0d9b268e4b6bb7374d.png)
Равномерное распределение может использоваться при генерации почти что любой случайной величины, благо имеется очень простой и универсальный метод инверсии (inverse transform sampling): генерируем случайную величину U, равномерно распределенную от 0 до 1, и возвращаем обратную функцию распределения (квантиль) с параметром U. Действительно:
![](https://habrastorage.org/files/db6/c26/038/db6c260383fb4971b4b2455942989543.png)
Проблема в том, что подсчет обратной функции распределения может быть долгим, если вообще аналитически возможен.
С генератором равномерного распределения, я надеюсь, мне не нужно долго останавливаться (при большом количестве генерируемых случайных величин лучше посчитать (b — a) / RAND_MAX только один раз):
double Uniform(double a, double b) {
return a + BasicRandGenerator() * (b - a) / RAND_MAX;
}
Разумеется, непрерывность — это лишь абстракция. В реальном мире и в данном случае конкретно под этим подразумевается достаточно малый шаг дискретизации. Стоит заметить важную вещь. Если вы генерируете случайное число, равномерно распределенное от 0 до 1, то 32 бит недостаточно, чтобы покрыть все значения, которые может принимать на этом диапазоне double (хотя, для float этого более чем достаточно). Для лучшего качества нужно либо генерировать 64-битные целые, либо комбинировать два 32-битных.
Нормальное распределение
![](https://habrastorage.org/files/37d/dbf/53c/37ddbf53cb9647c7a05f56d103b48be8.png)
![](https://habrastorage.org/files/4c1/b82/f29/4c1b82f299d94f699445074edf682498.png)
Метод инверсии потребует вычисления обратной функции ошибок. Если не использовать специальные аппроксимирующие функции, сложно и невероятно долго. Для нормальной величины существует метод Бокса-Мюллера. Он довольно прост и широко распространен. Его явный недостаток — это вычисление трансцендентных функций. На Хабре уже упоминался полярный метод, помогающий избежать подсчета синуса и косинуса. Но мы все еще должны считать логарифм и корень из него. Куда быстрее работает красиво названный метод Ziggurat, придуманный Джорджем Марсалья, автором того же полярного метода.
Полярный метод — это пример выборки с отклонением (acceptance-rejection sampling). Буквально, вы генерируете величину и принимаете ее, если она подходит, иначе — отклоняете и генерируете еще раз. Основной пример: нужно сгенерировать случайную величину с плотностью f(x), однако это слишком сложно сделать простым методом инверсии. Зато, вы можете сгенерировать случайную величину с плотностью g(x), не очень сильно отличающейся от f(x). В таком случае вы берете наименьшую константу M, такую что M > 1 и почти всюду f(x) < Mg(x), и выполняете следующий алгоритм:
- Генерируем случайную величину X из распределения g(x) и случайную величину U, равномерно распределенную от 0 до 1.
- Если U < f(X) / Mg(X) — возвращаем X, иначе — повторяем заново.
Вероятность принять случайную величину:
![](https://habrastorage.org/files/f36/9f9/1a2/f369f91a23a74cfba2c052d76f8bffb8.png)
Чем меньше вы выберете M — тем больше эта вероятность — тем быстрее будет работать генератор.
Доказательство работы алгоритма:
Воспользовавшись тем, что вероятность происхождения двух событий А и B равна
![](https://habrastorage.org/r/w1560/files/39e/e7e/cd5/39ee7ecd501f48a4b894cb3beaf1106e.png)
вычислим вероятность принятия случайной величины X с функцией плотности распределения g(x) и функцией распределения G(x), но уже при условии, что она меньше некого заданного параметра x:
![](https://habrastorage.org/r/w1560/files/39a/214/0f7/39a2140f72944aa8b10b1937a2c62006.png)
И тогда по теореме Байеса:
![](https://habrastorage.org/r/w1560/files/1e6/961/29b/1e696129b9be44369efe70db3fab4b7d.png)
![](https://habrastorage.org/files/39e/e7e/cd5/39ee7ecd501f48a4b894cb3beaf1106e.png)
вычислим вероятность принятия случайной величины X с функцией плотности распределения g(x) и функцией распределения G(x), но уже при условии, что она меньше некого заданного параметра x:
![](https://habrastorage.org/files/39a/214/0f7/39a2140f72944aa8b10b1937a2c62006.png)
И тогда по теореме Байеса:
![](https://habrastorage.org/files/1e6/961/29b/1e696129b9be44369efe70db3fab4b7d.png)
![](https://habrastorage.org/files/f34/cdd/4ce/f34cdd4cebc74954995a19eeba770dc8.png)
Для примера сгенерируем модуль стандартной нормальной величины. В силу симметрии нормального распределения полученную величину можно умножить на случайную величину, принимающую значения +1 и -1 с равными вероятностями, и таким образом получить стандартную нормально распределенную величину X. Любая нормальная величина получается из стандартной умножением на sigma и сдвигом на mu. Функция плотности распределения |X|:
![](https://habrastorage.org/files/7fc/abf/6f6/7fcabf6f6332427d9bb768e5d523072b.png)
Попытаемся её приблизить функцией плотности стандартного экспоненциального распределения. Я немного забегаю вперед, так как об экспоненциальном распределении еще не говорил. Оно генерируется просто пресловутым методом инверсии — берем равномерно распределенную на [0, 1] величину U и возвращаем -ln(U).
![](https://habrastorage.org/files/335/83c/269/33583c269a314210b86f1574f34c8f5b.png)
Минимальное значение М, удовлетворяющее условию f(x) < Mg(x), достигается при x = 1:
![](https://habrastorage.org/files/f29/c1a/1f9/f29c1a1f9b9c442e91cd8503038c5dee.png)
Тогда:
![](https://habrastorage.org/files/16d/9a6/76c/16d9a676c3d44c2c90b476de53e499a7.png)
И алгоритм для генерации нормальной случайной величины будет следующим:
- Генерируем U — равномерно распределенную на [0, 1] случайную величину.
- Генерируем экспоненциально распределенную случайную величину E (об алгоритме, более быстром, чем подсчет -ln(U), расскажу далее).
- Если U < exp(-(E — 1)2) — то |X| = E, иначе возвращаемся на первый шаг.
- Генерируем новую U. Если U < 0.5, то возвращаем -|X|, или же |X| в другом случае.
Несложно заметить, что:
![](https://habrastorage.org/files/e94/058/7e4/e940587e48164083b303ab73b4fbc8e5.png)
А это значит, что вместо U можно сгенерировать еще одну экспоненциально распределенную величину и не считать показательную функцию. Новый алгоритм будет выглядеть следующим образом:
- Генерируем стандартные экспоненциально распределенные случайный величины E1 и E2.
- Если E2 > (E1 — 1)2 / 2, то принимаем |X| = E1, иначе возвращаемся назад.
- Генерируем U. Если U < 0.5, то возвращаем -|X|, или же |X| в другом случае.
Еще один момент: при условии принятия величины E1 разница E2 — (E1 — 1)2 / 2 будет также распределена экспоненциально и независимо от E1. Поэтому её можно запомнить и использовать в следующий раз вместо E1.
Доказательство
Экспоненциальное распределение обладает свойством отсутствия памяти:
![](https://habrastorage.org/r/w1560/files/b4d/ff1/22e/b4dff122edd140a2b3d8b9ccb38bd417.png)
А это означает, что функция распределения разницы:
![](https://habrastorage.org/r/w1560/files/858/15c/558/85815c558051415fb31cf4797125e9ea.png)
![](https://habrastorage.org/files/b4d/ff1/22e/b4dff122edd140a2b3d8b9ccb38bd417.png)
А это означает, что функция распределения разницы:
![](https://habrastorage.org/files/858/15c/558/85815c558051415fb31cf4797125e9ea.png)
Общая проблема выборки с отклонением заключается в подборе такой случайной величины с плотностью распределения g(x), чтобы отклонений было как можно меньше. Для решения этой проблемы существует множество расширений. Сам же метод является основой для почти все последующих алгоритмов, включая Ziggurat. Суть последнего все та же: пытаемся покрыть функцию плотности нормального распределения похожей и более простой функцией и возвращаем величины, попавшие под кривую. Функция своеобразная и напоминает многоступенчатое сооружение, откуда, собственно, и такое название у алгоритма.
![](https://habrastorage.org/files/ab0/a18/218/ab0a18218b3f49dabf712e2b1f7892fc.png)
Зиккурат сооружается следующим образом. У подножья функции f(x) выбираются точки x1 и y0 = f(x1). Площадь под прямоугольником от (0,0) до (x1, y0) + площадь под хвостом функции f(x > x1) = А. Так мы построили базовый слой. Поверх него ставится еще один прямоугольник, такой, что его ширина x1, а высота y1 = A/y0 и таким образом его площадь будет равна A. Этот прямоугольник уже включает в себя точки, которые лежат выше функции f(x), например (x1, y1). Функцию f(x) второй прямоугольник пересекает в точке (x2, y1) — это будет координата нижней правой точки третьего прямоугольника, который накладывается таким же образом как и второй, чтобы его площадь была равна А. Так продолжается до тех пор, пока мы не построим Зиккурат до вершины функции. Площадь каждой ступени будет равна А. Дальнейший алгоритм (без обработки попадания в базовый слой):
- Случайно и равномерно выбирается прямоугольник i и генерируется равномерно распределенная величина X от 0 до xi
- Если X < xi+1, то мы точно попали под кривую — возвращаем X.
- Генерируем новую равномерно распределенную величину Y от yi до yi+1. Если точка с координатами (X, Y) лежит под кривой, то есть Y < f(X) — возвращаем X. Иначе возвращаемся на первый шаг.
Что делать если попали в базовый слой? Из него также можно сделать прямоугольник с площадью А, введя мнимую точку x0 = A/y0. Тогда площадь прямоугольника от (0,0) до (x0, y0) будет также равняться А. Разница в базовом слое в том, что если мы не попали под кривую в новом мнимом прямоугольнике, то мы еще не должны отклонять x — мы лишь попали в хвост. Для хвоста Джордж Марсалья предлагает воспользоваться тем же методом, что мы рассматривали до этого — выборкой с отклонением. Только с некоторыми изменениями:
- Генерируем стандартные экспоненциально распределенные случайный величины E1 с плотностью x1 и E2 с единичной плотностью.
- Если E2 > E12 / 2, то принимаем |X| = E1 + x1, иначе возвращаемся назад.
- Генерируем U. Если U < 0.5, то возвращаем -|X|, или же |X| в другом случае.
Доказательство для хвоста
Мы знаем, что случайная величина |X| > x1. Постараемся построить для нее алгоритм выборки с отклонением, используя E1+x1, где E1 — экспоненциально распределенная случайная величина с плотностью x1. Функция плотности распределения E1+x1:
![](https://habrastorage.org/r/w1560/files/d64/13b/e4d/d6413be4da954ef0bf0efe02137a9784.png)
Чтобы знать значение М, нам нужно найти максимум отношения функций:
![](https://habrastorage.org/r/w1560/files/721/13e/7ad/72113e7ad55141d6b9906c1045918355.png)
Точка x, соответствующая максимуму дроби, будет доставлять максимум степени экспоненты. Приравняв производную степени к нулю, находим, соответствующий x:
![](https://habrastorage.org/r/w1560/files/fba/75c/174/fba75c17467f4d46ab59d1e649f01200.png)
Получаем границу для равномерной случайной величины:
![](https://habrastorage.org/r/w1560/files/b77/c5d/7f9/b77c5d7f9cdc44c1b260461e1d8520cc.png)
И тогда условие принятия случайной величины будет:
![](https://habrastorage.org/r/w1560/files/776/516/401/776516401f0749a8b96a3d090b9bba21.png)
![](https://habrastorage.org/files/d64/13b/e4d/d6413be4da954ef0bf0efe02137a9784.png)
Чтобы знать значение М, нам нужно найти максимум отношения функций:
![](https://habrastorage.org/files/721/13e/7ad/72113e7ad55141d6b9906c1045918355.png)
Точка x, соответствующая максимуму дроби, будет доставлять максимум степени экспоненты. Приравняв производную степени к нулю, находим, соответствующий x:
![](https://habrastorage.org/files/fba/75c/174/fba75c17467f4d46ab59d1e649f01200.png)
Получаем границу для равномерной случайной величины:
![](https://habrastorage.org/files/b77/c5d/7f9/b77c5d7f9cdc44c1b260461e1d8520cc.png)
И тогда условие принятия случайной величины будет:
![](https://habrastorage.org/files/776/516/401/776516401f0749a8b96a3d090b9bba21.png)
Тогда полностью алгоритм будет выглядеть так:
- Случайно и равномерно выбирается прямоугольник i и генерируется равномерно распределенная величина X от 0 до xi.
- Если X < xi + 1, то мы точно попали под кривую — возвращаем X.
- Если попали в базовый слой, то есть i = 0, то запускаем алгоритм для хвоста и возвращаем его результат.
- Генерируем новую равномерно распределенную величину Y от yI до yi + 1. Если точка с координатами (X, Y) лежит под кривой, то есть Y < f(X) — возвращаем X. Иначе возвращаемся на первый шаг.
Вопрос в том, как найти константы А и x1 в зависимости от числа прямоугольников? Можно их найти обыкновенным численным методом. Берем начальное предположение x1, строим базовый слой, вычисляем А и строим зиккурат пока не построили нужное количество прямоугольников. Если мы оказались выше функции — значит мы взяли слишком маленькое значение x1 и слишком большое значение А — пытаемся построить с новыми значениями заново.
Сам алгоритм можно ускорить различными хитростями работы с 32-битными целыми, убирая ненужные перемножения. Для большей информации можно обратиться к статье George Marsaglia and Wai Wan Tsang «The Ziggurat Method for Generating Random Variables». Здесь я представляю не до конца оптимизированный, но зато понятный код (с учетом, что мы умеем генерировать экспоненциальное распределение).
static double stairWidth[257], stairHeight[256];
const double x1 = 3.6541528853610088;
const double A = 4.92867323399e-3; /// area under rectangle
void setupNormalTables() {
// coordinates of the implicit rectangle in base layer
stairHeight[0] = exp(-.5 * x1 * x1);
stairWidth[0] = A / stairHeight[0];
// implicit value for the top layer
stairWidth[256] = 0;
for (unsigned i = 1; i <= 255; ++i)
{
// such x_i that f(x_i) = y_{i-1}
stairWidth[i] = sqrt(-2 * log(stairHeight[i - 1]));
stairHeight[i] = stairHeight[i - 1] + A / stairWidth[i];
}
}
double NormalZiggurat() {
int iter = 0;
do {
unsigned long long B = BasicRandGenerator();
int stairId = B & 255;
double x = Uniform(0, stairWidth[stairId]); // get horizontal coordinate
if (x < stairWidth[stairId + 1])
return ((signed)B > 0) ? x : -x;
if (stairId == 0) // handle the base layer
{
static double z = -1;
double y;
if (z > 0) // we don't have to generate another exponential variable as we already have one
{
x = Exponential(x1);
z -= 0.5 * x * x;
}
if (z <= 0) // if previous generation wasn't successful
{
do {
x = Exponential(x1);
y = Exponential(1);
z = y - 0.5 * x * x; // we storage this value as after acceptance it becomes exponentially distributed
} while (z <= 0);
}
x += x1;
return ((signed)B > 0) ? x : -x;
}
// handle the wedges of other stairs
if (Uniform(stairHeight[stairId - 1], stairHeight[stairId]) < exp(-.5 * x * x))
return ((signed)B > 0) ? x : -x;
} while (++iter <= 1e9); /// one billion should be enough
return NAN; /// fail due to some error
}
double Normal(double mu, double sigma) {
return mu + NormalZiggurat() * sigma;
}
Экспоненциальное распределение
![](https://habrastorage.org/files/5b8/8e6/80d/5b88e680db99481eab2ddd004b75ee6b.png)
![](https://habrastorage.org/files/0d7/10e/5ea/0d710e5ea51740d886659b770ec6e17d.png)
Уже говорилось, что для экспоненциального распределения можно взять логарифм от равномерно распределенной величины и что можно сделать генерацию быстрее. Так как любая экспоненциальная величина получается из стандартной делением на плотность, генерацию можно сделать пресловутым Ziggurat. В случае попадания в хвост можно запустить алгоритм по новой и прибавить к полученной величине x1:
Доказательство
Нужно доказать, что при Е > x1 функция распределения E — x1 будет также распределена экспоненциально. Это возможно благодаря ранее упомянутому отсутствию памяти у экспоненциального распределения:
![](https://habrastorage.org/r/w1560/files/654/82c/950/65482c95049748c3aa8cef7e1932a35b.png)
![](https://habrastorage.org/files/654/82c/950/65482c95049748c3aa8cef7e1932a35b.png)
Еще пара фактов: если использовать таблицу с 255 прямоугольниками, то вероятность принятия с первого раза для экспоненциального распределения — 0.989, для нормального — 0.993. В MATLAB с 5 версии для нормального распределения используется Ziggurat (раньше использовался полярный метод). В R для нормальных величин, насколько мне известно, аппроксимируют полиномами обратную функцию ошибок и используют метод инверсии.
static double stairWidth[257], stairHeight[256];
const double x1 = 7.69711747013104972;
const double A = 3.9496598225815571993e-3; /// area under rectangle
void setupExpTables() {
// coordinates of the implicit rectangle in base layer
stairHeight[0] = exp(-x1);
stairWidth[0] = A / stairHeight[0];
// implicit value for the top layer
stairWidth[256] = 0;
for (unsigned i = 1; i <= 255; ++i)
{
// such x_i that f(x_i) = y_{i-1}
stairWidth[i] = -log(stairHeight[i - 1]);
stairHeight[i] = stairHeight[i - 1] + A / stairWidth[i];
}
}
double ExpZiggurat() {
int iter = 0;
do {
int stairId = BasicRandGenerator() & 255;
double x = Uniform(0, stairWidth[stairId]); // get horizontal coordinate
if (x < stairWidth[stairId + 1]) /// if we are under the upper stair - accept
return x;
if (stairId == 0) // if we catch the tail
return x1 + ExpZiggurat();
if (Uniform(stairHeight[stairId - 1], stairHeight[stairId]) < exp(-x)) // if we are under the curve - accept
return x;
// rejection - go back
} while (++iter <= 1e9); // one billion should be enough to be sure there is a bug
return NAN; // fail due to some error
}
double Exponential(double rate) {
return ExpZiggurat() / rate;
}
Гамма-распределение
![](https://habrastorage.org/files/42a/771/a70/42a771a70a5e483ab100b659e7a9b769.png)
![](https://habrastorage.org/files/740/290/742/74029074278e4b5daa7c048c9f8da5b0.png)
Алгоритмы для генерации здесь уже сложнее, поэтому я не буду здесь описывать их доказательства, привожу лишь примеры. Для генерации стандартной величины (theta = 1), используются четыре алгоритма, каждый в зависимости от k.
- Если k или 2k — целое и k < 5 — GA алгоритм.
- Если k < 1 — GS алгоритм.
- Если 1 < k < 3 — GF алгоритм.
- Если k > 3 — GO алгоритм.
Нестандартная случайная величина с гамма-распределением, получается из стандартной умножением на theta.
Алгоритм GA
Если сложить две случайные величины с гамма-распределением с параметрами k1 и k2, то получится случайная величина с гамма-распределением и с параметром k1+k2. Еще одно свойство — если theta = k = 1, то легко проверить, что распределение будет экспоненциальным. Поэтому, если k целое — то можно просто просуммировать k случайных величин со стандартным экспоненциальным распределением.
double GA1(int k) {
double x = 0;
for (int i = 0; i < k; ++i)
x += Exponential(1);
return x;
}
Если k не целое, но 2k — целое, то можно вместо одной из экспоненциальных случайных величин в сумме использовать половину квадрата нормальной величины. Почему так возможно, станет ясно позднее.
double GA2(double k) {
double x = Normal(0, 1);
x *= 0.5 * x;
for (int i = 1; i < k; ++i)
x += Exponential(1);
return x;
}
Алгоритм GS
- Генерируем стандартную экспоненциально распределенную величину Е и величину U, равномерно распределенную от 0 до 1 + k / e. Если U <= 1, то переходим к шагу 2. Иначе, к шагу 3.
- Задаем x = U1/k. Если x <= E, то возвращаем x, иначе возвращаемся назад на шаг 1.
- Задаем x = -ln((1 — U) / k + 1 / e). Если (1 — k) * ln(x) <= E, то возвращаем x, иначе возвращаемся на шаг 1.
double GS(double k) {
// Assume that k < 1
double x = 0;
int iter = 0;
do {
// M_E is base of natural logarithm
double U = Uniform(0, 1 + k / M_E)
double W = Exponential(1)
if (U <= 1)
{
x = pow(U, 1.0 / k);
if (x <= W)
return x;
}
else
{
x = -log((1 - U) / k + 1.0 / M_E);
if ((1 - k) * log(x) <= W)
return x;
}
} while (++iter < 1e9); // excessive maximum number of rejections
return NAN; // shouldn't end up here
}
Алгоритм GF
Насколько мне известно, автор этого алгоритма, профессор Университета Северной Каролины Дж. С. Фишман, не стал опубликовывать свое достижение. Сам алгоритм работает для k > 1, однако среднее время его выполнения возрастает пропорционально sqrt(k), поэтому он эффективен только для k < 3. Алгоритм:
- Генерируем две независимых случайных величины E1 и E2 со стандартным экспоненциальным распределением.
- Если E2 < (k — 1) * (E1 — ln(E1) — 1), то возвращаемся назад на шаг 1.
- Возвращаем x = k * E1
Доказательство
Теорема. Пускай U — равномерно распределенная случайная величина на [0, 1] и W — экспоненциально распределенная случайная величина с плотностью 1 / lambda. Пусть:
![](https://habrastorage.org/r/w1560/files/aee/8d9/ea4/aee8d9ea45eb4a6592311a588389b6e0.png)
Если g(W) >= U, то W имеет гамма-распределение с параметром lambda:
![](https://habrastorage.org/r/w1560/files/ed2/50d/a07/ed250da0791e475ead7decae3982557f.png)
Доказательство. Функция плотности распределения W:
![](https://habrastorage.org/r/w1560/files/086/2d8/122/0862d812288d4511b243691cc8faee25.png)
Таким образом,
![](https://habrastorage.org/r/w1560/files/5fe/f1e/7db/5fef1e7dbdc24e5e974bd0e9606d8c4f.png)
Так как U имеет равномерное распределение, то
![](https://habrastorage.org/r/w1560/files/fa7/35e/b51/fa735eb517fa491480d9fd20c8f163d8.png)
если 0 < g(x) < 1. Тогда безусловная вероятность:
![](https://habrastorage.org/r/w1560/files/fde/d64/5c0/fded645c0c7d44e8b29e204dd06e2c10.png)
В результате, условная плотность вероятности:
![](https://habrastorage.org/r/w1560/files/421/59b/d05/42159bd05dd849ecaa16c1e042af463b.png)
q.e.d.
Эффективность генератора обусловлена вероятностью того, что U <= g(W), которая равняется C(lambda). При больших значениях параметра \lambda, используя аппроксимацию Стирлинга, можно примерно рассчитать вероятность:
![](https://habrastorage.org/r/w1560/files/f9c/e2b/975/f9ce2b9753484058b1dffce2f2f7a577.png)
Алгоритм становится неэффективным при растущем lambda.
![](https://habrastorage.org/files/aee/8d9/ea4/aee8d9ea45eb4a6592311a588389b6e0.png)
Если g(W) >= U, то W имеет гамма-распределение с параметром lambda:
![](https://habrastorage.org/files/ed2/50d/a07/ed250da0791e475ead7decae3982557f.png)
Доказательство. Функция плотности распределения W:
![](https://habrastorage.org/files/086/2d8/122/0862d812288d4511b243691cc8faee25.png)
Таким образом,
![](https://habrastorage.org/files/5fe/f1e/7db/5fef1e7dbdc24e5e974bd0e9606d8c4f.png)
Так как U имеет равномерное распределение, то
![](https://habrastorage.org/files/fa7/35e/b51/fa735eb517fa491480d9fd20c8f163d8.png)
если 0 < g(x) < 1. Тогда безусловная вероятность:
![](https://habrastorage.org/files/fde/d64/5c0/fded645c0c7d44e8b29e204dd06e2c10.png)
В результате, условная плотность вероятности:
![](https://habrastorage.org/files/421/59b/d05/42159bd05dd849ecaa16c1e042af463b.png)
q.e.d.
Эффективность генератора обусловлена вероятностью того, что U <= g(W), которая равняется C(lambda). При больших значениях параметра \lambda, используя аппроксимацию Стирлинга, можно примерно рассчитать вероятность:
![](https://habrastorage.org/files/f9c/e2b/975/f9ce2b9753484058b1dffce2f2f7a577.png)
Алгоритм становится неэффективным при растущем lambda.
double GF(double k) {
// Assume that 1 < k < 3
double E1, E2;
do {
E1 = Exponential(1);
E2 = Exponential(1);
} while (E2 < (k - 1) * (E1 - log(E1) - 1));
return k * E1;
}
Алгоритм GO
Алгоритм Дитера и Аренса основан на асимптотической нормальности распределения при увеличении параметра, и поэтому более быстр для больших k. Он работает для k > 2.533, однако не столь эффективен как алгоритм Фишера для k < 3. Для начала нужно задать некоторые константы (зависящие только от k).
void setupConstants(double k) {
m = k - 1;
s_2 = sqrt(8.0 * k / 3) + k;
s = sqrt(s_2);
d = M_SQRT2 * M_SQRT3 * s_2;
b = d + m;
w = s_2 / (m - 1);
v = (s_2 + s_2) / (m * sqrt(k));
c = b + log(s * d / b) - m - m - 3.7203285;
}
double GO(double k) {
// Assume that k > 3
double x = 0;
int iter = 0;
do {
double U = Uniform(0, 1);
if (U <= 0.0095722652) {
double E1 = Exponential(1);
double E2 = Exponential(1);
x = b * (1 + E1 / d);
if (m * (x / b - log(x / m)) + c <= E2)
return x;
}
else {
double N;
do {
N = Normal(0, 1);
x = s * N + m; // ~ Normal(m, s)
} while (x < 0 || x > b);
U = Uniform(0, 1);
double S = 0.5 * N * N;
if (N > 0) {
if (U < 1 - w * S)
return x;
}
else if (U < 1 + S * (v * N - w))
return x;
if (log(U) < m * log(x / m) + m - x + S)
return x;
}
} while (++iter < 1e9);
return NAN; // shouldn't end up here;
}
Как и в случае предыдущих распределений — любая величина с гамма-распределением генерируется из стандартной умножением на параметр theta. Умея генерировать равномерное, нормальное, экспоненциальное и гамма-распределения, вы, скорее всего, с легкостью сможете получить большинство других распределений, благо они легко выражаются через вышеупомянутые.
Распределение Коши
![](https://habrastorage.org/files/534/f41/144/534f41144b454f34a522b273a3e62c0a.png)
![](https://habrastorage.org/files/dd6/1b4/563/dd61b45634cc4009b4c6a9036c018ff9.png)
Один из способов быстро получить случайную величину с распределением Коши — это взять две нормальные случайные величины и поделить друг на друга. Можно ли быстрее? Можно воспользоваться обычным методом инверсии, но он потребует вычисления тангенса. Это еще медленнее.
![](https://habrastorage.org/files/2f9/72b/c3f/2f972bc3fdb8403f883d4a55949bb436.png)
Или нет?
![](https://habrastorage.org/files/398/991/989/3989919897a84d4db2b6b86ffb06dc96.png)
Помните полярный метод Джорджа Марсальи? Он позволял в преобразовании Бокса-Мюллера быстро получать синус или косинус равномерно распределенной случайной величины. Ровно таким же образом можно получить и тангенс. Генерируем две равномерно распределенные случайные координаты x и y на квадрате [-1, 1]x[-1, 1]. Если мы попали в круг с центром в (0, 0) и единичным радиусом — возвращаем x/y, иначе — генерируем x и y еще раз. Вероятность не попасть в круг, скажем, с раза третьего уже меньше чем 0.01.
double Cauchy(double x0, double gamma) {
double x, y;
do {
x = Uniform(-1,1);
y = Uniform(-1,1);
} while (x * x + y * y > 1.0 || y == 0.0);
return x0 + gamma * x / y;
}
Распределение Лапласа
![](https://habrastorage.org/files/492/d26/1ee/492d261eeac04942ac6ee989dc9e13e1.png)
![](https://habrastorage.org/files/198/f49/29c/198f4929c74a438c88edeeab124d78c4.png)
Распределение Лапласа — это то же экспоненциальное, только со случайным знаком.
double Laplace(double mu, double b) {
double E = Exponential(1.0 / b);
return mu + (((signed)BasicRandGenerator() > 0) ? E : -E);
}
Распределение Леви
![](https://habrastorage.org/files/7ce/b35/45f/7ceb3545f08f4706817be626042a39a2.png)
![](https://habrastorage.org/files/ee1/545/090/ee15450903184b60bcaac1cccff3faa7.png)
Несмотря на то, как ужасно выглядит функция плотности распределения, сама случайная величина генерируется крайне просто и быстро:
double Levy(double mu, double c) {
double N = Normal(0, 1);
return mu + c / (N * N);
}
Распределение хи-квадрат
![](https://habrastorage.org/files/5df/251/ae2/5df251ae25474d25ac2f7e40a4e6ac71.png)
![](https://habrastorage.org/files/a05/f2c/036/a05f2c0363d949ad986d9cc06cfe4325.png)
Как известно, случайная величина с распределением хи-квадрат с параметром k — это сумма квадратов k стандартных нормальных случайных величин. Менее известно, что при четном k это же и удвоенная сумма k/2 экспоненциальных случайных величин (или же распределение Эрланга). Из этого соотношения и происходит вышеупомянутый алгоритм GA2:
Доказательство
Этот факт легко доказать, используя характеристическую функцию — обратное преобразование Фурье функции плотности распределения:
![](https://habrastorage.org/r/w1560/files/6da/ea3/788/6daea37880834b2d81604bbb43fc7f3c.png)
У этой функции есть полезное свойство для суммы двух независимых случайных величин:
![](https://habrastorage.org/r/w1560/files/c5e/a45/366/c5ea4536606a416680880544e9e52be1.png)
Пусть E — случайная величина с экспоненциальным распределением:
![](https://habrastorage.org/r/w1560/files/73a/933/c47/73a933c471aa4e27adcfe0646e0a01f1.png)
Тогда её характеристическая функция:
![](https://habrastorage.org/r/w1560/files/a65/867/180/a65867180a854b1caeedb87c36d6668f.png)
Нам нужно узнать распределение случайной величины равной удвоенной сумме стандартных экспоненциальных величин:
![](https://habrastorage.org/r/w1560/files/df1/2e0/6dd/df12e06ddf7a4404b6f91d67d36587d4.png)
Если оно совпадает с распределением хи-квадрат, то его характеристическая функция:
![](https://habrastorage.org/r/w1560/files/bd3/35a/345/bd335a345916482b900d6f992c7b8280.png)
Докажем это. Ранее было упомянуто также, что для экспоненциального распределения:
![](https://habrastorage.org/r/w1560/files/f11/d1a/ed3/f11d1aed3a174b1088898f7292c85261.png)
Используя это свойство, получаем:
![](https://habrastorage.org/r/w1560/files/bbc/1b9/3dd/bbc1b93dd4814c3bba2c486b393b031d.png)
q.e.d.
![](https://habrastorage.org/files/6da/ea3/788/6daea37880834b2d81604bbb43fc7f3c.png)
У этой функции есть полезное свойство для суммы двух независимых случайных величин:
![](https://habrastorage.org/files/c5e/a45/366/c5ea4536606a416680880544e9e52be1.png)
Пусть E — случайная величина с экспоненциальным распределением:
![](https://habrastorage.org/files/73a/933/c47/73a933c471aa4e27adcfe0646e0a01f1.png)
Тогда её характеристическая функция:
![](https://habrastorage.org/files/a65/867/180/a65867180a854b1caeedb87c36d6668f.png)
Нам нужно узнать распределение случайной величины равной удвоенной сумме стандартных экспоненциальных величин:
![](https://habrastorage.org/files/df1/2e0/6dd/df12e06ddf7a4404b6f91d67d36587d4.png)
Если оно совпадает с распределением хи-квадрат, то его характеристическая функция:
![](https://habrastorage.org/files/bd3/35a/345/bd335a345916482b900d6f992c7b8280.png)
Докажем это. Ранее было упомянуто также, что для экспоненциального распределения:
![](https://habrastorage.org/files/f11/d1a/ed3/f11d1aed3a174b1088898f7292c85261.png)
Используя это свойство, получаем:
![](https://habrastorage.org/files/bbc/1b9/3dd/bbc1b93dd4814c3bba2c486b393b031d.png)
q.e.d.
double ChiSquared(int k) {
// ~ Gamma(k / 2, 2)
if (k >= 10) // too big parameter
return GO(0.5 * k);
double x = ((k & 1) ? GA2(0.5 * k) : GA1(k >> 1));
return x + x;
}
Из этого свойства следует примечательный факт: если выбирать точку на плоскости со случайными и нормальными координатами (x, y), то расстояние от (0,0) до этой точки будет распределено экспоненциально.
Логнормальное распределение
![](https://habrastorage.org/files/e8c/31f/d40/e8c31fd4022d490dbe0e7b5f8f687298.png)
![](https://habrastorage.org/files/e86/36e/6ec/e8636e6ec7c341f3b0f6f05ac3eb3ee9.png)
Люди, работающие с математическими моделями на финансовых рынках, о логнормальном распределении знают не понаслышке. Для логнормального, лог-Коши, лог-логистического распределений есть один простецкий способ — взять экспоненту. К сожалению, способа быстрее я не знаю, однако, возможно, существует способ генерировать подобные величины с помощью распределения Леви и/или распределения хи-квадрат. Посмотрите, как они похожи. А пока так:
double LogNormal(double mu, double sigma) {
return exp(Normal(mu, sigma));
}
Логистическое распределение
![](https://habrastorage.org/files/588/c68/3ef/588c683ef54743968b26d22238a6366d.png)
![](https://habrastorage.org/files/7a4/208/fe4/7a4208fe40ff43af959dc3339dd77af6.png)
Логистическое распределение очень похоже на нормальное, но имеет более тяжелый хвост, генерируется довольно легко через стандартное равномерное распределение:
double Logistic(double mu, double s) {
return mu + s * log(1.0 / Uniform(0, 1) - 1);
}
Напоследок вкратце о не всегда быстрых, но очень простых алгоритмах для других популярных распределений:
double Erlang(int k, double l) {
return GA1(k) / l;
}
double Weibull(double l, double k) {
return l * pow(Exponential(1), 1.0 / k);
}
double Rayleigh(double sigma) {
return sigma * sqrt(Exponential(0.5));
}
double Pareto(double xm, double alpha) {
return xm / pow(Uniform(0, 1), 1.0 / alpha);
}
double StudentT(int v) {
if (v == 1)
return Cauchy(0, 1);
return Normal(0, 1) / sqrt(ChiSquared(v) / v);
}
double FisherSnedecor(int d1, int d2) {
double numerator = d2 * ChiSquared(d1);
double denominator = d1 * ChiSquared(d2);
return numerator / denominator;
}
double Beta(double a, double b) {
double x = Gamma(a);
return x / (x + Gamma(b));
}
Реализация этих и других генераторов на C++17