En teoría de la complejidad computacional se ha demostrado que este es un problema NP-completo.