Forbidden patterns in constraint satisfaction problems

Le probleme de satisfaction de contraintes (CSP) est NP-complet, meme dans le cas ou toutes les contraintes sont binaires. Cependant, certaines classes d'instances CSP sont traitables. Recemment, une nouvelle methode pour definir de telles classes aemergee. Cette approche est centree autour des motifs interdits, ou l'absence locale de certaines conditions. Elle est l'objet de ma these. Nous definissons formellement ce que sont les motifs interdits, presentons les proprietes qu'ils detiennent, et finalement les utilisons afin d'etablir plusieurs resultats de complexite importants. En utilisant differentes versions de motifs, toutes basees sur le meme concept de base, nous enumerons un nombre important de nouvelles classes traitables, ainsi que certaines NP-completes. Nous combinons ces resultats pour reveler plusieurs dichotomies, chacune englobant une large gamme de classes d'instances CSP. Nous montrons aussi que les motifs interdits representent un outil interessant pour la simplification d'instances CSPs. Nous donnons plusieurs nouveaux moyens de reduire la taille des instances CSP, que ce soit en eliminant des variables ou en fusionnant les domaines, et montrons comment ces methodes sont activees par l'absence locale de certains modeles. Comme les conditions de leurutilisation sont entierement locales, nos operations peuvent etre utilises sur un large eventail de problemes.