Superlinear speedup for parallel backtracking

  • Ewald Speckenmeyer
  • Burkhard Monien
  • Oliver Vornberger
Session 10: Algorithms, Architectures And Performance III
Part of the Lecture Notes in Computer Science book series (LNCS, volume 297)


We have implemented a backtracking strategy for the satisfiability problem on a ring of processors and we observed a superlinear speedup in the average. In this paper we describe a model from which this superlinear speedup can be deduced. The model is based on the fact that in the average the solutions are distributed nonuniformly in the case of the satisfiability problem. To our knowledge this phenomenon was not used before in the analysis of algorithms.


Travelling Salesman Problem Conjunctive Normal Form Average Speedup Satisfiability Problem Unbalanced Distribution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. [1]
    Brown, C.A./Purdom, P.W.: An average time analysis of backtracking. SIAM J. Comput., Vol 10,No.3, August 1981, 583–593Google Scholar
  2. [2]
    Finkel, R./Manber, U.: DIB — a Distributed Implementation of Backtracking. Computer Science Technical Report 588, University of Wisconsin, Madison, March 1985Google Scholar
  3. [3]
    Garey, M.R./Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, San Francisco, Calif., 1979Google Scholar
  4. [4]
    Mohan, J.: A study on Parallel Computation: the Travelling Salesman Problem. Technical Report CMU-CS-82-136(R), Dept. of Computer Science, Carnegie Mellon University, 1983Google Scholar
  5. [5]
    Monien, B./Speckenmeyer, E.: Solving satisfiability in less than 2n steps. Discrete Appl. Math., Vol. 10, 1985, 287–295Google Scholar
  6. [6]
    Monien, B./Speckenmeyer, E./Vornberger, O.: Superlinear Speedup for Parallel Backtracking. Technical Report No.30, Reihe Theoretische Informatik, Universität-GH Paderborn, 1986Google Scholar
  7. [7]
    Quinn, M./Deo, N.: Parallel Graph Algorithms. Computing survey, Vol. 16, No. 3, September 1984, 319–348Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Ewald Speckenmeyer
    • 1
  • Burkhard Monien
    • 1
  • Oliver Vornberger
    • 1
  1. 1.Universität-GH PaderbornPaderbornWest Germany

Personalised recommendations