J'ai du mal à comprendre la relation entre NP-intermédiaire et NP-complet. Je sais que si P! = NP basé sur le théorème de Ladner, il existe une classe de langages en NP mais pas en P ni en NP-Complete. Chaque problème dans NP peut être réduit à un problème NP-Complete, mais je n'ai vu aucun exemple...