Partitioning Search Spaces of a Randomized Search

  • Authors:

  • Antti E.J. Hyvä/rinen;Tommi Junttila;Ilkka Niemelä/

  • Affiliations:

  • (Correspd.) Aalto University, Department of Information and Computer Science, P.0.Box 15400, FI-00076 AALTO, Finland. Antti.Hyvarinen@tkk.fi/ Tommi.Junttila@tkk.fi/ Ilkka.Niemela@tkk.fi;Aalto University, Department of Information and Computer Science, P.0.Box 15400, FI-00076 AALTO, Finland. Antti.Hyvarinen@tkk.fi/ Tommi.Junttila@tkk.fi/ Ilkka.Niemela@tkk.fi;Aalto University, Department of Information and Computer Science, P.0.Box 15400, FI-00076 AALTO, Finland. Antti.Hyvarinen@tkk.fi/ Tommi.Junttila@tkk.fi/ Ilkka.Niemela@tkk.fi

  • Venue:
  • Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper studies the following question: given an instance of the propositional satisfiability problem, a randomized satisfiability solver, and a cluster of n computers, what is the best way to use the computers to solve the instance? Two approaches, simple distribution and search space partitioning as well as their combinations are investigated both analytically and empirically. It is shown that the results depend heavily on the type of the problem (unsatisfiable, satisfiable with few solutions, and satisfiable with many solutions) as well as on how good the search space partitioning function is. In addition, the behavior of a real search space partitioning function is evaluated in the same framework. The results suggest that in practice one should combine the simple distribution and search space partitioning approaches.