Some New Tractable Classes of CSPs and their Relations with Backtracking Algorithms - Archive ouverte HAL
Conference Papers Year : 2013

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

Abstract

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.
Fichier principal
Vignette du fichier
ElMouelhi.CPAIOR.2013.pdf (308.35 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00942291 , version 1 (05-02-2014)

Identifiers

  • HAL Id : hal-00942291 , version 1

Cite

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⟩
235 View
290 Download

Share

More