Методы генерации случайного сочетания — различия между версиями
Loboda (обсуждение | вклад) м (→Оценка временной сложности) |
Loboda (обсуждение | вклад) м |
||
Строка 9: | Строка 9: | ||
* Удалим элемент из множества | * Удалим элемент из множества | ||
− | Эту процедуру | + | Эту процедуру необходимо повторить <tex>k</tex> раз. |
===Псевдокод=== | ===Псевдокод=== | ||
Строка 24: | Строка 24: | ||
sort(res); | sort(res); | ||
− | Здесь <tex>a[]</tex> - исходный массив элементов, <tex>res</tex> - массив, где будет находиться результат, <tex>exist[]</tex> - такой массив, что если <tex>exist[i] == 1</tex>, то <tex>i</tex> элемент присутствует в множестве S. | + | Здесь <tex>a[]</tex> --- исходный массив элементов, <tex>res[]</tex> --- массив, где будет находиться результат, <tex>exist[]</tex> --- такой массив, что если <tex>exist[i] == 1</tex>, то <tex>i</tex> элемент присутствует в множестве S. |
Сложность алгоритма - <tex>O(n^2)</tex> | Сложность алгоритма - <tex>O(n^2)</tex> | ||
Строка 51: | Строка 51: | ||
===Доказательство корректности алгоритма=== | ===Доказательство корректности алгоритма=== | ||
− | Заметим, что всего перестановок <tex>n!</tex>, но так как наш массив состоит только из 0 и 1, то перестановка только 0 или только 1 ничего в нем не меняет. Заметим, что число перестановок нулей - <tex>(n - k)!</tex>, единиц - <tex>k!</tex>. Следовательно всего уникальных перестановок - <tex dpi = "180">{n! \over k!(n - k)!}</tex>. Все они равновероятны, так как содержат одинаковое количество равновероятных элементарных исходов. Но <tex dpi = "180">{n! \over k!(n - k)!}</tex> - число сочетание из <tex>n</tex> по <tex>k</tex>. То есть каждому сочетанию сопоставляется одна уникальная перестановка. Следовательно, генерация сочетания происходит также равновероятно. | + | Заметим, что всего перестановок <tex>n!</tex>, но так как наш массив состоит только из 0 и 1, то перестановка только 0 или только 1 ничего в нем не меняет. Заметим, что число перестановок нулей --- <tex>(n - k)!</tex>, единиц --- <tex>k!</tex>. Следовательно всего уникальных перестановок --- <tex dpi = "180">{n! \over k!(n - k)!}</tex>. Все они равновероятны, так как содержат одинаковое количество равновероятных элементарных исходов. Но <tex dpi = "180">{n! \over k!(n - k)!}</tex> --- число сочетание из <tex>n</tex> по <tex>k</tex>. То есть каждому сочетанию сопоставляется одна уникальная перестановка. Следовательно, генерация сочетания происходит также равновероятно. |
===Оценка временной сложности=== | ===Оценка временной сложности=== |
Версия 10:48, 27 декабря 2012
Содержание
Постановка задачи
Необходимо сгенерировать случайное сочетание из
элементов по с равномерным распределением вероятности, если есть в наличии функция для генерации случайного числа в заданном интервале.Решение за время O(n2)
Пусть S - множество из n элементов, тогда для генерации случайного сочетания сделаем следующее:
- Выберем в множестве случайный элемент
- Добавим его в сочетание
- Удалим элемент из множества
Эту процедуру необходимо повторить
раз.Псевдокод
for i = 1 to k r = rand(1..n - i + 1); cur = 0; for j = 1 to n if exist[j] cur++; if cur == r res[i] = a[j] exist[j] = false; sort(res);
Здесь
--- исходный массив элементов, --- массив, где будет находиться результат, --- такой массив, что если , то элемент присутствует в множестве S.Сложность алгоритма -
Доказательство корректности алгоритма
Решение методом случайной перестановки
Для более быстрого решения данной задачи воспользуемся следующим алгоритмом: пусть задан для определенности массив алгоритм генерации случайной перестановки. Тогда все элементы , для которых , включим в сочетание.
размера , состоящий из единиц и нулей. Применим к немуПсевдокод
for i = 1 to n if i <= k a[i] = 1; else a[i] = 0; random_shuffle(a); for i = 1 to n if a[i] == 1 insertInAnswer(i);
Доказательство корректности алгоритма
Заметим, что всего перестановок
, но так как наш массив состоит только из 0 и 1, то перестановка только 0 или только 1 ничего в нем не меняет. Заметим, что число перестановок нулей --- , единиц --- . Следовательно всего уникальных перестановок --- . Все они равновероятны, так как содержат одинаковое количество равновероятных элементарных исходов. Но --- число сочетание из по . То есть каждому сочетанию сопоставляется одна уникальная перестановка. Следовательно, генерация сочетания происходит также равновероятно.Оценка временной сложности
Алгоритм состоит из 2 невложенных циклов по Фишера Йетcа. Следовательно, сложность и всего алгоритма
итераций каждый и функции генерации случайной перестановки , работающей за по алгоритму