Un problema de decisión "C" es NP-completo si: