Embarrassingly Parallel Search in Constraint Programming

Abstract : We introduce an Embarrassingly Parallel Search (EPS) method for solving constraint problems in parallel, and we show that this method matches or even outperforms state-of-the-art algorithms on a number of problems using various computing infrastructures. EPS is a simple method in which a master decomposes the problem into many disjoint subprob-lems which are then solved independently by workers. Our approach has three advantages: it is an efficient method; it involves almost no communication or synchronization between workers; and its implementation is made easy because the master and the workers rely on an underlying constraint solver, but does not require to modify it. This paper describes the method, and its applications to various constraint problems (satisfaction, enumeration, optimization). We show that our method can be adapted to different underlying solvers (Gecode, Choco2, OR-tools) on different computing infrastructures (multi-core, data centers , cloud computing). The experiments cover unsatisfiable, enumeration and optimization problems, but do not cover first solution search because it makes the results hard to analyze. The same variability can be observed for optimization problems, but at a lesser extent because the optimality proof is required. EPS offers good average performance, and matches or outperforms other available parallel implementations of Gecode as well as some solvers portfolios. Moreover, we perform an in-depth analysis of the various factors that make this approach efficient as well as the anomalies that can occur. Last, we show that the decomposition is a key component for efficiency and load balancing.
Type de document :
Article dans une revue
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 57, pp.421 - 464. <10.1613/jair.5247>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01502813
Contributeur : Arnaud Malapert <>
Soumis le : jeudi 6 avril 2017 - 11:06:56
Dernière modification le : mardi 11 avril 2017 - 01:09:54

Fichier

eps-jair.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Arnaud Malapert, Jean-Charles Régin, Mohamed Rezgui. Embarrassingly Parallel Search in Constraint Programming. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 57, pp.421 - 464. <10.1613/jair.5247>. <hal-01502813>

Partager

Métriques

Consultations de
la notice

26

Téléchargements du document

6