Some New Tractable Classes of CSPs and their Relations with Backtracking Algorithms

Achref El Mouelhi (1) , Philippe Jegou (1) , Cyril Terrioux (1) , Bruno Zanuttini (2)

1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 Equipe MAD - Laboratoire GREYC - UMR6072

In this paper, we investigate the complexity of algorithms for solving CSPs which are classically implemented in real practical solvers, such as Forward Checking or Bactracking with Arc Consistency (RFL or MAC).. We introduce a new parameter for measuring their complexity and then we derive new complexity bounds. By relating the complexity of CSP algorithms to graph-theoretical parameters, our analysis allows us to define new tractable classes, which can be solved directly by the usual CSP algorithms in polynomial time, and without the need to rec- ognize the classes in advance. So, our approach allows us to propose new tractable classes of CSPs that are naturally exploited by solvers, which indicates new ways to explain in some cases the practical efficiency of classical search algorithms.

Domaines: Intelligence artificielle [cs.AI]; Modélisation et simulation; Logique en informatique [cs.LO]

Achref El Mouelhi, Philippe Jegou, Cyril Terrioux, Bruno Zanuttini. Some New Tractable Classes of CSPs and their Relations with Backtracking Algorithms. Proc. 10th tenth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR 2013), May 2013, United States. ⟨hal-00942291⟩