Caractérisation de la complexité des classes de CSP définies par des motifs interdits à deux contraintes.
Abstract
Novel tractable classes of the binary CSP (constraint satisfaction problem) have recently been discovered by studying classes of instances defined by excluding subproblems described by patterns. The complete characterisation of all tractable classes defined by forbidden patterns is a challenging problem. We demonstrate a dichotomy in the case of forbidden patterns consisting of two constraints. This has allowed us to discover new tractable classes.
De nouvelles classes traitables du CSP (Problème de Satisfaction de Contraintes) ont été récemment découvertes via l'étude de classes d'instances définies par l'exclusion de sous-problèmes décrits par des motifs. La caractérisation complète de toutes les classes traitables définies par des motifs interdits est un problème ambitieux. Nous démontrons une dichotomie dans le cas de motifs interdits constitués de deux contraintes. Ce travail nous a permis d'identifier de nouvelles classes traitables.
Domains
Artificial Intelligence [cs.AI]| Origin | Files produced by the author(s) |
|---|
Loading...