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.