Si existe un algoritmo (por ejemplo una máquina de Turing, o un programa en lenguajes Lisp o Pascal con memoria irrestricta) que es capaz de entregar la respuesta correcta para toda cadena de datos de longitud "n" en a lo sumo formula_1 pasos, donde "k" y "c" son constantes independientes del conjunto de datos, entonces se dice que el problema puede ser resuelto en "tiempo polinómico" y lo clasificamos como perteneciente a la clase P.