Por lo tanto, la complejidad del algoritmo es formula_63 y puede ser resuelto por una máquina determinista de Turing en tiempo polinómico.