SYSTEM ATLASЗагрузка материала

Основная теорема о рекуррентностях

Master Theorem

Оценивает асимптотику рекурсивных алгоритмов разделяй-и-властвуй.

Пример от @Vibeclakr

Пример при разработке

Разработчик видит рекурсивный алгоритм, который делит задачу на равные части и тратит работу на объединение. Теорема быстро даёт порядок сложности без полного разворачивания дерева.

Это редакционный пример применения, а не часть определения или доказательство концепции.

Механизм действия

Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на структуру компонентов, потоки данных, ограничения и действия участников. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.

Пример в работе

Нерабочий подход

Сразу приклеить к ситуации название принципа и выбрать решение, не проверив его условия и границы применимости.

Системный подход

Сначала описать конкретную ситуацию, затем проверить условия принципа и только после этого выбирать действие. После изменения сравнить ожидаемый результат с фактическим.

Ограничения

«Основная теорема о рекуррентностях» объясняет только часть происходящего в области «Алгоритмы». Сам принцип не говорит, насколько сильным будет эффект в вашем случае, и не заменяет измерения. При другом масштабе, среде или временном горизонте результат может отличаться.

Источник

Thomas H. Cormen et al., “Introduction to Algorithms, Fourth Edition”, 2022.

Первоисточник