1-1
Cours 4: R´eduction et NP-compl´etude
Complexit´e, probl`emes de d´ecision
Exemples de probl`emes bool´eens NP-complets.
Exemples de probl`emes de graphes NP-complets
Classes P, NP et NP-compl´etude
Gilles Schaeffer INF-550-4: R´eduction et NP-compl´etude
Exemples de probl`emes en nombres entiers NP-complets
2-1
Cours 4: R´eduction et NP-compl´etude
Complexit´e, probl`emes de d´ecision
Exemples de probl`emes bool´eens NP-complets.
Exemples de probl`emes de graphes NP-complets
Classes P, NP et NP-compl´etude
Gilles Schaeffer INF-550-4: R´eduction et NP-compl´etude
Exemples de probl`emes en nombres entiers NP-complets
3-1
Complexit´e polynomiale
Gilles Schaeffer INF-550-4: R´eduction et NP-compl´etude
On s’int´eresse `a des probl`emes d´ecidables, dont on veut mesurer la
complexit´e, au sens du temps de calcul dans le pire cas.
Un algorithme est de complexit´e polynomiale s’il existe un polynome
Ptel que le nombre d’instructions ´el´ementaires effectu´ees lors de son
ex´ecution sur n’importe quelle donn´ee de taille nsoit au plus P(n).
3-2
Complexit´e polynomiale
Gilles Schaeffer INF-550-4: R´eduction et NP-compl´etude
On s’int´eresse `a des probl`emes d´ecidables, dont on veut mesurer la
complexit´e, au sens du temps de calcul dans le pire cas.
Un algorithme est de complexit´e polynomiale s’il existe un polynome
Ptel que le nombre d’instructions ´el´ementaires effectu´ees lors de son
ex´ecution sur n’importe quelle donn´ee de taille nsoit au plus P(n).
Un probl`eme est de complexit´e polynomiale s’il existe un algorithme
de complexit´e polynomiale le r´esolvant.
3-3
Complexit´e polynomiale
Gilles Schaeffer INF-550-4: R´eduction et NP-compl´etude
On s’int´eresse `a des probl`emes d´ecidables, dont on veut mesurer la
complexit´e, au sens du temps de calcul dans le pire cas.
Un algorithme est de complexit´e polynomiale s’il existe un polynome
Ptel que le nombre d’instructions ´el´ementaires effectu´ees lors de son
ex´ecution sur n’importe quelle donn´ee de taille nsoit au plus P(n).
Un probl`eme est de complexit´e polynomiale s’il existe un algorithme
de complexit´e polynomiale le r´esolvant.
Postulat de Church: Tous les mod`eles de calcul raisonnables sont
´equivalents du point de vue de la complexit´e polynomiale.
1 / 109 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !