Участник:Lonalone/Генерация гауссовского вектора методом линейных преобразований: различия между версиями

Материал из Алговики
Перейти к навигации Перейти к поиску
мНет описания правки
Строка 9: Строка 9:
=== Математическое описание алгоритма ===
=== Математическое описание алгоритма ===


Даны корреляционная матрица <math>Q</math>, вектор математических ожиданий компонент вектора <math>X</math>:
Даны ковариационная матрица <math>\Sigma</math> и вектор математических ожиданий <math>M</math>:
:<math>
:<math>
Q = \|q_{ij}\| = \| M[(X_{i} - m_{x_{i}})(X_{j} - m_{x_{j}})]\|, \\
\Sigma = \|q_{ij}\| = \| \mathbb{E}[(X_{i} - m_{x_{i}})(X_{j} - m_{x_{j}})]\|, \\
M = (m_{x_{1}}, m_{x_{2}}, ..., m_{x_{n}})^T.
M = (m_{x_{1}}, m_{x_{2}}, ..., m_{x_{n}})^T.
</math>
</math>


Требуется найти такую матрицу <math>B</math>, которая позволяла бы получить вектор <math>X</math> с требуемыми характеристиками в результате линейного преобразования <math>X = BY + M</math>, где <math>Y</math> — n-мерный случайный вектор с независимыми нормально распределенными компонентами со стандартными параметрами. Эти компоненты можно получить с помощью приближения по ЦПТ (''метод композиции''<ref name = "VVV">Балдин К.В., Уткин В.Б. Информационные системы в экономике. — М.:Дашков и Кo, 2008. — 395 с.</ref>) случайными величинами, распределенными по равномерному закону на <math>[0,1]</math>.
Требуется найти такую матрицу <math>B</math>, которая позволяла бы получить вектор <math>X</math> с требуемыми характеристиками в результате линейного преобразования <math>X = BY + M</math>, где <math>Y</math> — n-мерный случайный вектор с независимыми нормально распределенными компонентами со стандартными параметрами. Эти компоненты можно получить с помощью приближения по ЦПТ (''метод композиции''<ref name = "VVV">Балдин К.В., Уткин В.Б. Информационные системы в экономике. — М.:Дашков и Кo, 2008. — 395 с.</ref>) случайными величинами, распределенными по равномерному закону на [0,1].


Будем искать матрицу <math>B</math> в виде нижней треугольной матрицы. Перейдем от матричной записи к системе алгебраических уравнений:
Будем искать матрицу <math>A</math> в виде нижней треугольной матрицы. Перейдем от матричной записи к системе алгебраических уравнений:


:<math>
:<math>
Строка 24: Строка 24:
  X_{2} \\ \vdots \\ X_{n} \end{pmatrix} =
  X_{2} \\ \vdots \\ X_{n} \end{pmatrix} =


\begin{pmatrix} b_{11} & 0 & \cdots & 0
\begin{pmatrix} a_{11} & 0 & \cdots & 0
\\b_{21} & b_{22} & \cdots & 0
\\a_{21} & a_{22} & \cdots & 0
\\ \vdots & \vdots & \ddots & \vdots
\\ \vdots & \vdots & \ddots & \vdots
\\ b_{n1} & b_{n2} & \cdots & b_{nn}
\\ a_{n1} & a_{n2} & \cdots & a_{nn}
\end{pmatrix} \times
\end{pmatrix} \times


Строка 39: Строка 39:
:<math>
:<math>


\begin{cases}X_{1} - m_{x_{1}} = b_{11}Y_{1}
\begin{cases}X_{1} - m_{x_{1}} = a_{11}Y_{1}
\\X_{2} - m_{x_{2}} = b_{21}Y_{1} + b_{22}Y_{2}
\\X_{2} - m_{x_{2}} = a_{21}Y_{1} + a_{22}Y_{2}
\\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots
\\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots
\\X_{n} - m_{x_{n}} = b_{n1}Y_{1} + b_{n2}Y_{2} + \cdots + b_{nn}Y_{n}
\\X_{n} - m_{x_{n}} = a_{n1}Y_{1} + a_{n2}Y_{2} + \cdots + a_{nn}Y_{n}
\end{cases}
\end{cases}


Строка 49: Строка 49:


Поскольку компоненты вектора <math>Y</math> независимы и имеют стандартные параметры, справедливо выражение:
Поскольку компоненты вектора <math>Y</math> независимы и имеют стандартные параметры, справедливо выражение:
:<math>
:<math>
M[Y_{i}Y_{j}] =
 
\mathbb{E}[Y_{i}Y_{j}] =
\left\{\begin{matrix}  
\left\{\begin{matrix}  
1, &i = j, \\
1, &i = j, \\
0, &i \not= j,
0, &i \not= j.
\end{matrix}\right .
\end{matrix}\right.
 
</math>
</math>


Строка 62: Строка 65:


\begin{cases}
\begin{cases}
M[(X_{1} - m_{x_{1}})(X_{1} - m_{x_{1}})] = M[b_{11}Y_{1}b_{11}Y_{1}],
\mathbb{E}[(X_{1} - m_{x_{1}})(X_{1} - m_{x_{1}})] = \mathbb{E}[a_{11}Y_{1}a_{11}Y_{1}],
\\M[(X_{1} - m_{x_{1}})(X_{2} - m_{x_{2}})] = M[(b_{21}Y_{1} + b_{22}Y_{2})b_{11}Y_{1}],
\\ \mathbb{E}[(X_{1} - m_{x_{1}})(X_{2} - m_{x_{2}})] = \mathbb{E}[(a_{21}Y_{1} + a_{22}Y_{2})a_{11}Y_{1}],
\\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots
\\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots
\end{cases}
\end{cases}
Строка 72: Строка 75:


:<math>
:<math>
b_{11}=\sqrt{q_{11}}; b_{21}=\frac{q_{12}}{\sqrt{q_{11}}}; b_{22} = \sqrt{q_{22} - \frac{q_{12}}{q_{11}}}, \cdots
a_{11}=\sqrt{q_{11}}; a_{21}=\frac{q_{12}}{\sqrt{q_{11}}}; a_{22} = \sqrt{q_{22} - \frac{q_{12}}{q_{11}}}, \cdots


</math>
</math>
Строка 79: Строка 82:


:<math>
:<math>
b_{ij} = \frac {q_{ij} - \sum_{k=1}^{j-1} b_{ik} b_{jk}} {\sqrt{q_{ij} - \sum_{k=1}^{j-1} b_{jk}^2}}, \quad 1 \leqslant j \leqslant i \leqslant n.
a_{ij} = \frac {q_{ij} - \sum_{k=1}^{j-1} a_{ik} a_{jk}} {\sqrt{q_{ij} - \sum_{k=1}^{j-1} a_{jk}^2}}, \quad 1 \leqslant j \leqslant i \leqslant n.


</math>
</math>

Версия от 16:04, 25 октября 2018

Автор описания: Меньших И. М.

Свойства и структура алгоритма

Общее описание алгоритма

В статье приведен алгоритм генерации n-мерного гауссовского случайного вектора с помощью метода линейных преобразований[1]. Этот метод является одним из наиболее распространенных так называемых корреляционных методов, применяемых в случаях, когда при моделировании непрерывного n-мерного случайного вектора достаточно обеспечить лишь требуемые значения элементов корреляционной матрицы и вектора математических ожиданий компонент(для случая нормального распределения выполнение названного требования означает выполнение достаточного условия полного статистического соответствия теоретического и моделируемого распределений[2]).

Идея алгоритма заключается в линейном преобразовании n-мерного случайного вектора [math]\displaystyle{ Y }[/math], компоненты которого независимы и одинаково распределены по нормальному закону со стандартными параметрами, в случайный вектор [math]\displaystyle{ X }[/math] с требуемыми корреляционной матрицей и вектором математических ожиданий.

Математическое описание алгоритма

Даны ковариационная матрица [math]\displaystyle{ \Sigma }[/math] и вектор математических ожиданий [math]\displaystyle{ M }[/math]:

[math]\displaystyle{ \Sigma = \|q_{ij}\| = \| \mathbb{E}[(X_{i} - m_{x_{i}})(X_{j} - m_{x_{j}})]\|, \\ M = (m_{x_{1}}, m_{x_{2}}, ..., m_{x_{n}})^T. }[/math]

Требуется найти такую матрицу [math]\displaystyle{ B }[/math], которая позволяла бы получить вектор [math]\displaystyle{ X }[/math] с требуемыми характеристиками в результате линейного преобразования [math]\displaystyle{ X = BY + M }[/math], где [math]\displaystyle{ Y }[/math] — n-мерный случайный вектор с независимыми нормально распределенными компонентами со стандартными параметрами. Эти компоненты можно получить с помощью приближения по ЦПТ (метод композиции[3]) случайными величинами, распределенными по равномерному закону на [0,1].

Будем искать матрицу [math]\displaystyle{ A }[/math] в виде нижней треугольной матрицы. Перейдем от матричной записи к системе алгебраических уравнений:

[math]\displaystyle{ \begin{pmatrix} X_{1} \\ X_{2} \\ \vdots \\ X_{n} \end{pmatrix} = \begin{pmatrix} a_{11} & 0 & \cdots & 0 \\a_{21} & a_{22} & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ a_{n1} & a_{n2} & \cdots & a_{nn} \end{pmatrix} \times \begin{pmatrix} Y_{1} \\ Y_{2} \\ \vdots \\ Y_{n} \end{pmatrix} + \begin{pmatrix} m_{x_{1}} \\ m_{x_{2}} \\ \vdots \\ m_{x_{n}} \end{pmatrix} \Rightarrow }[/math]


[math]\displaystyle{ \begin{cases}X_{1} - m_{x_{1}} = a_{11}Y_{1} \\X_{2} - m_{x_{2}} = a_{21}Y_{1} + a_{22}Y_{2} \\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\X_{n} - m_{x_{n}} = a_{n1}Y_{1} + a_{n2}Y_{2} + \cdots + a_{nn}Y_{n} \end{cases} }[/math]


Поскольку компоненты вектора [math]\displaystyle{ Y }[/math] независимы и имеют стандартные параметры, справедливо выражение:

[math]\displaystyle{ \mathbb{E}[Y_{i}Y_{j}] = \left\{\begin{matrix} 1, &i = j, \\ 0, &i \not= j. \end{matrix}\right. }[/math]

Почленно перемножив сами на себя и между собой соответственно левые и правые части уравнений системы и взяв от результатов перемножения математическое ожидание, получим систему уравнений вида:

[math]\displaystyle{ \begin{cases} \mathbb{E}[(X_{1} - m_{x_{1}})(X_{1} - m_{x_{1}})] = \mathbb{E}[a_{11}Y_{1}a_{11}Y_{1}], \\ \mathbb{E}[(X_{1} - m_{x_{1}})(X_{2} - m_{x_{2}})] = \mathbb{E}[(a_{21}Y_{1} + a_{22}Y_{2})a_{11}Y_{1}], \\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{cases} }[/math]

Таким образом, в левых частях полученной системы уравнений располагаются элементы заданной корреляционной матрицы [math]\displaystyle{ Q }[/math], а в правых — элементы искомой матрицы [math]\displaystyle{ B }[/math]. Последовательно решая эту систему, получаем формулы для расчета элементов [math]\displaystyle{ b_{ij} }[/math]:

[math]\displaystyle{ a_{11}=\sqrt{q_{11}}; a_{21}=\frac{q_{12}}{\sqrt{q_{11}}}; a_{22} = \sqrt{q_{22} - \frac{q_{12}}{q_{11}}}, \cdots }[/math]

Формула для расчета любого элемента матрицы преобразования [math]\displaystyle{ B }[/math] имеет вид:

[math]\displaystyle{ a_{ij} = \frac {q_{ij} - \sum_{k=1}^{j-1} a_{ik} a_{jk}} {\sqrt{q_{ij} - \sum_{k=1}^{j-1} a_{jk}^2}}, \quad 1 \leqslant j \leqslant i \leqslant n. }[/math]

Вычислительное ядро алгоритма

Макроструктура алгоритма

Схема реализации последовательного алгоритма

Последовательная сложность алгоритма

Информационный граф

Ресурс параллелизма алгоритма

Входные и выходные данные алгоритма

Свойства алгоритма

Программная реализация алгоритма

Особенности реализации последовательного алгоритма

Локальность данных и вычислений

Возможные способы и особенности параллельной реализации алгоритма

Масштабируемость алгоритма и его реализации

Динамические характеристики и эффективность реализации алгоритма

Выводы для классов архитектур

Существующие реализации алгоритма

Литература

  1. ↑ (п. 1.10.4) Михайлов Г.А., Войтишек А.В. Численное статистическое моделирование. Методы Монте-Карло — М.: Академия, 2006. — 368 с.
  2. ↑ https://ru.wikipedia.org/wiki/Многомерное_нормальное_распределение
  3. ↑ Балдин К.В., Уткин В.Б. Информационные системы в экономике. — М.:Дашков и Кo, 2008. — 395 с.