Explanation-Based Large Neighborhood Search - Archive ouverte HAL
Article Dans Une Revue Constraints Année : 2014

Explanation-Based Large Neighborhood Search

Résumé

One of the most well-known and widely used local search techniques for solving optimization problems in Constraint Programming is the Large Neigh-borhood Search (LNS) algorithm. Such a technique is, by nature, very flexible and can be easily integrated within standard backtracking procedures. One of its drawbacks is that the relaxation process is quite often problem dependent. Several works have been dedicated to overcome this issue through problem independent parameters. Nevertheless, such generic approaches need to be carefully parameter-ized at the instance level. In this paper, we demonstrate that the issue of finding a problem independent neighborhood generation technique for LNS can be addressed using explanation-based neighborhoods. An explanation is a subset of constraints and decisions which justifies a solver event such as a domain modification or a conflict. We evaluate our proposal for a set of optimization problems. We show that our approach is at least competitive with or even better than state-of-the-art algorithms and can be easily combined with state-of-the-art neighborhoods. Such results pave the way to a new use of explanation-based approaches for improving search.
Fichier principal
Vignette du fichier
cons2013_elns.pdf (1.07 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01087844 , version 1 (26-11-2014)

Identifiants

Citer

Xavier Lorca, Charles Prud'Homme, Narendra Jussien. Explanation-Based Large Neighborhood Search. Constraints, 2014, 19 (4), pp.339-379. ⟨10.1007/s10601-014-9166-6⟩. ⟨hal-01087844⟩
282 Consultations
242 Téléchargements

Altmetric

Partager

More