¿Cómo se termina con un exponente no entero en la complejidad del tiempo? (por ejemplo, )

Periódicamente me encuentro con oraciones como

"Se considera la variante de Winograd [20] de este algoritmo, cuya complejidad asintótica también es " (de https://www.cise.ufl.edu/~sahni/papers/strassen.pdf )$O(n^{2.81})$

Entiendo intuitivamente cómo terminamos con complejidades como y porque puedo ver cómo funcionan los bucles y los árboles. Pero no tengo idea de cómo uno termina derivando una complejidad con un decimal. ¿Alguien puede darme un ejemplo de cómo sucede esto?$O(n^2)$$O(n \log n)$

La complejidad del tiempo de ejecución del algoritmo de Strassen viene dada por la recurrencia (Con un caso base adecuado). La solución de esta recurrencia es .

El algoritmo de Strassen multiplica dos matrices descomponiéndolas en cuatro matrices cada una, calculando siete combinaciones lineales de las matrices más pequeñas cada una, digamos , calculando recursivamente , y calculando las cuatro matrices del resultado tomando combinaciones lineales de las matrices . Así es como llegó este tiempo de ejecución. Si desea obtener más información, hay mucha información sobre el algoritmo de Strassen. Hay, por cierto, algoritmos asintóticamente más rápidos para la multiplicación de matrices, siendo el actual campeón Le Gall .$n \times n$$A,B$$(n/2)\times(n/2)$$(A_i,B_i)_{i=1,\dots,7}$$C_i = A_i B_i$$(n/2)\times(n/2)$$C_i$