US331B

Complexité


2 crédits Safia KEDAD SIDHOUM EPN05 - Informatique Unité spécifique de type cours

Publié Du 01-09-2011 au 31-08-2024

Compétences

Maîtriser les preuves de NP-complétude

Contenu

Présentation des différentes classes de problèmes combinatoires tant au point de vue de leur complexité Cette présentation est faite via l'introduction des notions de réduction polynomiale. La classe NP des problèmes de décision est définie à partir de la notion d'algorithme non déterministe polynomial puis est donnée la définition des problèmes NP-complets. Le théorème de Cook qui établit que le problème de satisfiabilité (SAT) est NP-complet est démontré. A partir de ce résultat, d'autres problèmes sont montrés NP-complets. La notion d'algorithmes pseudo-polynomial permet ensuite d'établir une distinction entre les problèmes NP-complets.

Thésaurus du Cnam :

  • Aucune indexation

Thésaurus Formacode :

  • Aucune indexation

Secrétariat

Libellé
Recherche opérationnelle
Nom du contact
Adresses email
secretariat.ro@cnam.fr
Numéros de téléphone
01 40 27 22 67
Adresse postale
2D4P20, 33-1-10, 2 rue Conté
Paris 75003