En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: