Me cuesta entender la relación entre NP-Intermedio y NP-Completo. Sé que si P! = NP basado en el teorema de Ladner, existe una clase de lenguajes en NP pero no en P o en NP-Complete. Cada problema en NP puede reducirse a un problema NP-Completo, sin embargo, no he visto ningún ejemplo para reducir...