Skip to Main content Skip to Navigation
Conference papers

WCSP Integration of Soft Neighborhood Substitutability

Abstract : WCSP is an optimization problem for which many forms of soft local (arc) consistencies have been proposed such as, for example, existential directional arc consistency (EDAC) and virtual arc consistency (VAC). In this paper, we adopt a different perspective by revisiting the well-known property of (soft) substitutability. First, we provide a clear picture of the relationships existing between soft neighborhood substitutability (SNS) and a tractable property called pcost which allows us to compare the cost of two values (through the use of so-called cost pairs). We prove that under certain assumptions, pcost is equivalent to SNS but weaker than SNS in the general case since we show that SNS is coNP-hard. We also show that SNS preserves the property VAC but not the property EDAC. Finally, we introduce an algorithm to enforce pcost that benefits from several optimizations (early breaks, residues, timestamping). The practical interest of maintaining pcost together with AC*, FDAC or EDAC, during search. is shown on various series of WCSP instances
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00866333
Contributor : Francois Chevallier Connect in order to contact the contributor
Submitted on : Thursday, September 26, 2013 - 3:01:07 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM
Long-term archiving on: : Friday, December 27, 2013 - 4:33:28 AM

File

subFinalCP2012.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00866333, version 1

Collections

Citation

Christophe Lecoutre, Olivier Roussel, Djamel-Eddine Dehani. WCSP Integration of Soft Neighborhood Substitutability. 18th International Conference on Principles and Practice of Constraint Programming (CP'12), 2012, Québec, Canada. pp.406-421. ⟨hal-00866333⟩

Share

Metrics

Les métriques sont temporairement indisponibles