Рассматривается аналитическое решение одного нелинейного рекуррентного соотношения с квадратичной аддитивной функцией. В целом такиерекуррентные соотношения характерны для функций трудоёмкости рекурсивных алгоритмов, разработанных методом декомпозиции. Квадратичная аддитивная функция возникает в рекурсивных алгоритмах, реализующих матричные операции, в частности в известном алгоритме умножения матриц по Штрассену. Для такого нелинейного рекуррентного соотношения предложено матричное представление аналитического решения, которое имеет определённый теоретический интерес.
展开▼