Russian doll search for solving constraint optimization problems

Archive ouverte

Verfaillie, G. | Lemaitre, M. | Schiex, Thomas

Edité par CCSD -

* INRA - Unité de Biométrie, Centre de Toulouse (FRA) Diffusion du document : INRA - Unité de Biométrie, Centre de Toulouse (FRA). International audience. If the Constraint Satisfaction framework has been extended to deal with Constraint Optimization problems, it appears that optimization is far more complex than satisfaction. One of the causes of the inefficiency of complete tree search methods, like Depth First Branch and Bound, lies in the poor quality of the lower bound on the global valuation of a partial assignment, even when using Forward Checking techniques. In this paper, we introduce the Russian Doll Search algorithm which replaces one search by n successive searches on nested subproblems (n being the number of problem variables), records the results of each search and uses them later, when solving larger subproblems, in order to improve the lower bound on the global valuation of any partial assignment. On small random problems and on large real scheduling problems, this algorithm yields surprisingly good results, which greatly improve as the problems get more constrained and the bandwidth of the used variable ordering diminishes.

Consulter en ligne

Suggestions

Du même auteur

Solution and reasoning reuse in space planning and scheduling applications

Archive ouverte | Verfaillie, G. | CCSD

* INRA - Unité de Biométrie, Centre de Toulouse (fra) Diffusion du document : INRA - Unité de Biométrie, Centre de Toulouse (fra). International audience. In the space domain, as in other domains, the CSP (Constrain...

Solution reuse in dynamic constraint satisfaction problems

Archive ouverte | Verfaillie, G. | CCSD

* INRA - Unité de Biométrie, Centre de Toulouse (FRA) Diffusion du document : INRA - Unité de Biométrie, Centre de Toulouse (FRA). International audience. Many AI problems can be modeled as constraint satisfaction p...

Lazy arc consistency

Archive ouverte | Schiex, Thomas | CCSD

* INRA - Unité de Biométrie, Centre de Toulouse (FRA) Diffusion du document : INRA - Unité de Biométrie, Centre de Toulouse (FRA). International audience. Arc consistency filtering is widely used in the framework of...

Chargement des enrichissements...