Se puede mostrar que cualquier problema perteneciente a NP puede ser reducido en tiempo polinómico a una instancia del problema SAT.