Objective as a Feature for Robust Search Strategies

Anthony Palmieri 1 Guillaume Perez 2
1 Equipe CODAG - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
2 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
Abstract : In constraint programming the search strategy entirely guides the solving process, and drastically affects the running time for solving particular problem instances. Many features have been defined so far for the design of efficient and robust search strategies, such as variables' domains, constraint graph, or even the constraints triggering fails. In this paper, we propose to use the objective functions of constraint optimization problems as a feature to guide search strategies. We define an objective-based function, to monitor the objective bounds modifications and to extract information. This function is the main feature to design a new variable selection heuristic, whose results validate human intuitions about the objective modifications. Finally, we introduce a simple but efficient combination of features, to incorporate the objective in the state-of-the-art search strategies. We illustrate this new method by testing it on several classic optimization problems, showing that the new feature often yields to a better running time and finds better solutions in the given time.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02118552
Contributor : Anthony Palmieri <>
Submitted on : Friday, May 3, 2019 - 10:31:57 AM
Last modification on : Wednesday, May 22, 2019 - 1:41:24 AM

File

OBS.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02118552, version 1

Citation

Anthony Palmieri, Guillaume Perez. Objective as a Feature for Robust Search Strategies. Objective as a Feature for Robust Search Strategies, pp.328-344, 2018. ⟨hal-02118552⟩

Share

Metrics

Record views

7

Files downloads

7