Este documento describe las clases de complejidad computacional, incluyendo la clase P de problemas que pueden resolverse en tiempo polinomial por una máquina de Turing determinista, y la clase NP de problemas verificables en tiempo polinomial. Define las clases de complejidad en función del tipo de problema, modelo de cómputo y recursos limitados, como tiempo polinomial o espacio logarítmico.