Complexity of several constraint-satisfaction problems using the heuristic classical algorithm WalkSAT

Phys Rev E Stat Nonlin Soft Matter Phys. 2011 Jul;84(1 Pt 1):011102. doi: 10.1103/PhysRevE.84.011102. Epub 2011 Jul 6.

Abstract

We determine the complexity of several constraint-satisfaction problems using the heuristic algorithm WalkSAT. At large sizes N, the complexity increases exponentially with N in all cases. Perhaps surprisingly, out of all the models studied, the hardest for WalkSAT is the one for which there is a polynomial time algorithm.

Publication types

  • Research Support, Non-U.S. Gov't
  • Research Support, U.S. Gov't, Non-P.H.S.

MeSH terms

  • Algorithms
  • Computer Simulation
  • Models, Theoretical
  • Movement
  • Physics / methods*
  • Quantum Theory
  • Stochastic Processes
  • Time Factors