Onde e são constantes e é uma função assintoticamente positiva.
Importante ressaltar que o método mestre depende do teorema abaixo para existir:
Nota
O “Epsilon” (), também conhecido como Epsilon de regularidade, ou seja, um número muito próximo a zero, mais ainda positivo.
Nesse contexto o “Epsilon” é usado para quantificar a diferença entre as funções envolvidas na recorrência.
Por exemplo, na primeira parte do teorema, onde é declarado que para algum ” > 0”, o “ε” representa a margem de diferença permitida entre a função e para que a conclusão sobre o limite assintótico superior de seja válida.
Essa margem permite que a função cresça um pouco mais lentamente do que e ainda assim a complexidade de seja fiel a recursão. Essa distância é essencial para definir os limites da complexidade assintótica do algoritmo em análise não seja ultrapassados (no caso o limite superior Notação Big O e o limite inferior Notação Ômega).
