Vers une caractérisation de la complexité des CSP à travers la largeur des kernels

Toward a complexity classification of CSP through kernel widthVers une caractérisation de la complexité des CSP à travers la largeur des kernels

• Auteur / Autrice : Florian Richoux
• Direction : Nicolas Hermann
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2009
• Etablissement(s) : Palaiseau, Ecole polytechnique

Mots clés

Mots clés libres

Kernel

Problèmes de satisfaction de contraintes

Compléxité algorithmique

Csp

Résumé

Constraint Satisfaction Problems (CSP) constitute a universal formalism allowing to modelize a huge number of algorithmical and combinatorial problems, such as problems over graphs, databases, artificial intelligence, …This thesis is in line with the study of the computational complexity of CSP. It is a very active research domain for which there exists dedicated sessions in some highest conferences in algorithmic, logic and artificial intelligennce such as IJCAI and AAAI. The starting point of this thesis was to study some restrictions of CSP and to fully characterize the computational complexity of these sub-problems. This goal has been reached with the complete characterization of monotone CSP over finite domains of an arbitrary cardinality and over infinite countable domains. These results lead to two international and one national publications. This thesis also describes a complete characterization of homogeneous co-Boolean CSP and gives a first approach of a complete characterization for general co-Boolean CSP. Most of all, this thesis develops a new method based on the kernel width which seems to be very promissing to characterize the computational complexity of the general CSP problem, and starts to give some firsts innovating results on the complexity.