text: Основная теорема рассматривает следующие рекуррентные соотношения: T ( n ) = a T ( n b ) + f ( n ) where a ≥ 1 , b > 1 {\displaystyle T(n)=a\;T\!\left({\frac {n}{b}}\right)+f(n)\;\;\;\;{\mbox{where}}\;\;a\geq 1{\mbox{, }}b>1} В применении к анализу алгоритмов константы и функции обозначают: n — размер задачи. a — количество подзадач в рекурсии. n/b — размер каждой подзадачи.