Изменения

Перейти к: навигация, поиск
Доказательство корректности
{{Лемма
|statement=Вероятность получить в процессе работы алгоритма некоторый перфикс <tex> P </tex> равна <tex> S(P)\over{C(n)} </tex>, где <tex> C(n) </tex> {{---}} число различных комбинаторных объектов данного типа длины <tex> n </tex>, а <tex> S(P) </tex> {{---}} число различных комбинаторных обьектов длины <tex> n </tex> с таким префиксом.
|proof=Докажем по [[Математическая индукция|индукции]]:
74
правки

Навигация