Математические методы анализа рекурсивных алгоритмов

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