Dicho problema es NP-completo.