Beyond Consistency and Substitutability

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.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01141435
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, April 13, 2015 - 8:54:09 AM
Last modification on : Friday, October 11, 2019 - 8:22:49 PM
Long-term archiving on : Monday, September 14, 2015 - 7:20:30 AM

File

Cooper_13076.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01141435, version 1
  • OATAO : 13076

Collections

Citation

Martin C. Cooper. Beyond Consistency and Substitutability. International Conference on Principles and Practice of Constraint Programming - CP 2014, Sep 2014, Lyon, France. pp. 256-271. ⟨hal-01141435⟩

Share

Metrics

Record views

93

Files downloads

138