Parallel Arc-Consistency for Functional Constraints

We present in this paper a parallel execution model of arc-consistency for Constraint Satisfaction Problems (CSP), implemented on a scaleable MIMD distributed memory machine. We have adopted the indexical scheme, an adequate approach to arc-consistency for functional constraints. The CSP is partitioned into N partitions, which are executed in parallel on N processors. Each processor applies sequential arc-consistency to its subset of constraints, updating remote domains of variables shared by any other processor. The parallel algorithm we propose is embedded in the constraint solver PCSOS (Parallel Constraint Satisfaction and Optimisation System). PCSOS invokes the parallel arc-consistency algorithm when performing labelling to obtain the solutions of a CSP. PCSOS is written in C, and it has been developed and tested on a CRAY T3E distributed memory multiprocessor with up to twenty-six processors. Results on speedup and behaviour of the system are reported for the search of the rst solution of diierent CSPs.

[1]  Philippe Codognet,et al.  A simple and efficient boolean solver for Constraint Logic Programming , 1996, Journal of Automated Reasoning.

[2]  Vishwani D. Agrawal,et al.  Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor Systems , 1992, IEEE Trans. Parallel Distributed Syst..

[3]  Pascal Van Hentenryck,et al.  Solving Large Combinatorial Problems in Logic Programming , 1990, J. Log. Program..

[4]  Shmuel Katz,et al.  On the Feasibility of Distributed Constraint Satisfaction , 1991, IJCAI.

[5]  Pascal Van Hentenryck,et al.  A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..

[6]  Yves Deville,et al.  A Distributed Arc-Consistency Algorithm , 1995, Sci. Comput. Program..

[7]  Makoto Yokoo,et al.  Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems , 1995, CP.

[8]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[9]  Michael J. Swain,et al.  Parallel Hardware for Constraint Satisfaction , 1988, AAAI.

[10]  Michael J. Swain,et al.  Arc Consistency: Parallelism and Domain Dependence , 1992, Artif. Intell..

[11]  Simon Kasif,et al.  Local Consistency in Parallel Constraint Satisfaction Networks , 1994, Artif. Intell..

[12]  David L. Waltz,et al.  Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .

[13]  Simon Kasif,et al.  On the Parallel Complexity of Discrete Relaxation in Constraint Satisfaction Networks , 1990, Artif. Intell..

[14]  Yves Deville,et al.  Analysis of Distributed Arc-Consistency Algorithms , 1997 .