Showing 1–2 of 2 results for author: Barthel, W

Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms

Authors: Wolfgang Barthel, Alexander K. Hartmann, Martin Weigt

Abstract: Stochastic local search algorithms are frequently used to numerically solve hard combinatorial optimization or decision problems. We give numerical and approximate analytical descriptions of the dynamics of such algorithms applied to random satisfiability problems. We find two different dynamical regimes, depending on the number of constraints per variable: For low constraintness, the problems a… ▽ More Stochastic local search algorithms are frequently used to numerically solve hard combinatorial optimization or decision problems. We give numerical and approximate analytical descriptions of the dynamics of such algorithms applied to random satisfiability problems. We find two different dynamical regimes, depending on the number of constraints per variable: For low constraintness, the problems are solved efficiently, i.e. in linear time. For higher constraintness, the solution times become exponential. We observe that the dynamical behavior is characterized by a fast equilibration and fluctuations around this equilibrium. If the algorithm runs long enough, an exponentially rare fluctuation towards a solution appears. △ Less

Submitted 7 May, 2003; v1 submitted 15 January, 2003; originally announced January 2003.

Comments: 21 pages, 18 figures, revised version, to app. in PRE (2003)

Journal ref: Phys. Rev. E 67, 066104 (2003)

Hiding solutions in random satisfiability problems: A statistical mechanics approach

Authors: W. Barthel, A. K. Hartmann, M. Leone, F. Ricci-Tersenghi, M. Weigt, R. Zecchina

Abstract: A major problem in evaluating stochastic local search algorithms for NP-complete problems is the need for a systematic generation of hard test instances having previously known properties of the optimal solutions. On the basis of statistical mechanics results, we propose random generators of hard and satisfiable instances for the 3-satisfiability problem (3SAT). The design of the hardest problem… ▽ More A major problem in evaluating stochastic local search algorithms for NP-complete problems is the need for a systematic generation of hard test instances having previously known properties of the optimal solutions. On the basis of statistical mechanics results, we propose random generators of hard and satisfiable instances for the 3-satisfiability problem (3SAT). The design of the hardest problem instances is based on the existence of a first order ferromagnetic phase transition and the glassy nature of excited states. The analytical predictions are corroborated by numerical results obtained from complete as well as stochastic local algorithms. △ Less

Submitted 27 March, 2002; v1 submitted 9 November, 2001; originally announced November 2001.

Comments: 5 pages, 4 figures, revised version to app. in PRL

Journal ref: Phys. Rev. Lett. 88, 188701 (2002)