NP-intermédiaire

En théorie de la complexité, un problème NP-intermédiaire est un problème dans NP, qui n'est ni NP-complet et ni dans P. La classe des problèmes NP-intermédiaires se note NPI. Richard Emil Ladner a démontré en 1975, que sous l'hypothèse que P ≠ NP, NPI est non vide[1], c'est le théorème de Ladner.

Notes et références
  1. Richard E. Ladner, « On the Structure of Polynomial Time Reducibility », Journal of the ACM, vol. 22, no 1,‎ , p. 155–171 (DOI 10.1145/321864.321877, lire en ligne, consulté le ).
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.