Title
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 subproblems 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.
Year
DOI
Venue
2016
10.1613/jair.5247
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Field
DocType
Volume
Disjoint sets,Computer science,Embarrassingly parallel,Theoretical computer science,Artificial intelligence,Optimization problem,Synchronization,Mathematical optimization,Load balancing (computing),Constraint programming,Constraint satisfaction problem,Machine learning,Cloud computing
Journal
57
Issue
ISSN
Citations 
1
1076-9757
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Arnaud Malapert1314.50
Jean-charles Régin2131296.59
Mohamed Rezgui300.34