Expected Gains from Parallelizing Constraint Solving for

نویسندگان

  • Tad Hogg
  • Colin P. Williams
چکیده

A number of recent studies have examined how the difficulty of various NP-hard problems varies with simple parameters describing their structure. In particular, they have identified parameter values that distinguish regions with many hard problem instances from relatively easier ones. In this paper we continue this work by examining independent parallel search. SpecificalIy, we evaluate the speedup as function of connectivity and search difficulty for the particular case of graph coloring with a standard heuristic search method. This requires examining the full search cost distribution rather than just the more commonly reported mean and variance. We also show similar behavior for a single-agent search strategy in which the search is restarted whenever it fails to complete within a specified cost bound.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation

Constraint satisfaction is very common in many arti cial intelligence applications. This paper presents results from parallelizing constraint satisfaction in a special application | the algorithm for qualitative simulation QSim [Kuipers 94]. A parallel-agent based strategy (PAB) is used to solve the constraint satisfaction problem (CSP). Two essential steps of PAB are studied in more detail to ...

متن کامل

A Global Constraint for Parallelizing the Execution of Task Sets in Non-Preemptive Scheduling

In this paper, we introduce tracks. A track is a global constraint for parallelizing the execution of task sets in non-preemptive scheduling. We give algorithms for bound as well as for domain reasoning, we propose applications in school timetabling, and we report results of a large-scale empirical study. Section 2 introduces concepts and notations we rely on. Section 3 defines tracks in terms ...

متن کامل

A Global Constraint for Parallelizing the Execution of Task Sets

We introduce the track parallelization problem (TPP) that consists in parallelizing the execution of task sets. For modelling and solving TPPs in a finite-domain constraintprogramming framework, we propose the TPP constraint along with a suitable solver for use in non-preemptive scheduling. We demonstrate how to infer redundant TPPs in school timetabling and we report a large-scale empirical st...

متن کامل

Interval Constraint Solving Using Propositional SAT Solving Techniques

In order to facilitate automated reasoning about large Boolean combinations of non-linear arithmetic constraints involving transcendental functions, we extend the paradigm of lazy theorem proving to intervalbased arithmetic constraint solving. Algorithmically, our approach deviates substantially from “classical” lazy theorem proving approaches in that it directly controls arithmetic constraint ...

متن کامل

Parallelizing Assignment Problem with DNA Strands

Background:Many problems of combinatorial optimization, which are solvable only in exponential time, are known to be Non-Deterministic Polynomial hard (NP-hard). With the advent of parallel machines, new opportunities have been emerged to develop the effective solutions for NP-hard problems. However, solving these problems in polynomial time needs massive parallel machines and ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999