Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle

Résumé

MinimaxWeighted Constraint Satisfaction Problems (formerly called QWCSPs) are a framework for modeling soft constrained problems with adversarial conditions. In this paper, we describe novel definitions and implementations of node, arc and full directional arc consistency notions to help reduce search space on top of the basic tree search with alpha-beta pruning for solving ultraweak solutions. In particular, these consistencies approximate the lower and upper bounds of the cost of a problem by exploiting the semantics of the quantifiers and reusing techniques from both Weighted and Quantified CSPs. Lower bound computation employs standard estimation of costs in the sub-problems used in alpha-beta search. In estimating upper bounds, we propose two approaches based on the Duality Principle: duality of quantifiers and duality of constraints. The first duality amounts to changing quantifiers from min to max, while the second duality re-uses the lower bound approximation functions on dual constraints to generate upper bounds. Experiments on three benchmarks comparing basic alpha-beta pruning and the six consistencies from the two dualities are performed to confirm the feasibility and efficiency of our proposal.
Fichier principal
Vignette du fichier
acti-lallouet-2012-1.pdf (180.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01009728 , version 1 (18-06-2014)

Identifiants

  • HAL Id : hal-01009728 , version 1

Citer

Arnaud Lallouet, Jimmy H.M. Lee, Terrence W. Mak. Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle. Principles and Practice of Constraint Programming, Oct 2012, Quebec, Canada. pp.373-389. ⟨hal-01009728⟩
97 Consultations
108 Téléchargements

Partager

Gmail Facebook X LinkedIn More