3622
правки
Изменения
м
→Формулировка и доказательство мастер-теоремы
}}
Мастер-теорема имеет прямое отношение к анализу алгоритмов, так как рекуррентное соотношение можно воспринимать следующим образом: имеется задача размера <tex> n </tex> , алгоритм разбивает её на <tex> a </tex> подзадач размера <tex> \dfrac{n}{b} </tex> , тратит дополнительно <tex> O(n^c) </tex> действий, а если размер подзадачи становится равен единицыединице, то алгоритму требуется <tex>O(1)</tex> действий на её решение. Мастер-теорема работает также при замене Из доказательства теоремы видно, что если в рекурретном соотношении заменить <tex> O </tex> на <tex> \Theta </tex> и <tex> \Omega </tex> , то и асимптотика решения изменится соответствующим образом (на <tex> O \rightarrow \Theta, O \rightarrow </tex> или <tex> \Omega </tex>).
==Примеры==