OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Beyond Consistency and Substitutability

Cooper, Martin C. Beyond Consistency and Substitutability. (2014) In: International Conference on Principles and Practice of Constraint Programming - CP 2014, 8 September 2014 - 12 September 2014 (Lyon, France).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
486kB

Official URL: http://dx.doi.org/10.1007/978-3-319-10428-7_20

Abstract

Elimination of inconsistent values in instances of the constraint satisfaction problem (CSP) conserves all solutions. Elimination of substitutable values conserves at least one solution. We show that certain values which are neither inconsistent nor substitutable can also be deleted while conserving at least one solution. This allows us to state novel rules for the elimination of values in binary CSP. From a practical point of view, we show that one such rule can be applied in the same asymptotic time complexity as neighbourhood substitution but is strictly stronger. An alternative to the elimination of values from domains is the elimination of variables. We give novel satisfiability-preserving variable elimination operations. In each case we show that if the instance is satisfiable, then a solution to the original instance can always be recovered in low-order polynomial time from a solution to the reduced instance.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. The definitive version is available at http://link.springer.com/chapter/10.1007%2F978-3-319-10428-7_20
HAL Id:hal-01141435
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Funders:
Agence Nationale de la Recherche (France) - Engineering and Physical Sciences Research Council (UK)
Statistics:download
Deposited By: IRIT IRIT
Deposited On:13 Apr 2015 06:50

Repository Staff Only: item control page