Sakari Seitz et al J. Stat. Mech. (2005) P06006 doi:10.1088/1742-5468/2005/06/P06006
Sakari Seitz1,2, Mikko Alava2 and Pekka Orponen1
Show affiliationsA local search algorithm solving an NP-complete optimization problem can be viewed as a stochastic process moving in an 'energy landscape' towards eventually finding an optimal solution. For the random 3-satisfiability problem, the heuristic of focusing the local moves on the currently unsatisfied clauses is known to be very effective: the time to solution has been observed to grow only linearly in the number of variables, for a given clauses-to-variables ratio α sufficiently far below the critical satisfiability threshold αc≈4.27. We present numerical results on the behaviour of three focused local search algorithms for this problem, considering in particular the characteristics of a focused variant of simple Metropolis dynamics. We estimate the optimal value for the 'temperature' parameter η for this algorithm, such that its linear time regime extends as close to αc as possible. Similar parameter optimization is performed also for the well-known WalkSAT algorithm and for the less studied, but very well performing focused record-to-record travel method. We observe that with an appropriate choice of parameters, the linear time regime for each of these algorithms seems to extend well into ratios α>4.2—much further than has so far been generally assumed. We discuss the statistics of solution times for the algorithms, relate their performance to the process of 'whitening', and present some conjectures on the shape of their computational phase diagrams.
02.60.Pn Numerical optimization
05.40.-a Fluctuation phenomena, random processes, noise, and Brownian motion
65Kxx Mathematical programming, optimization and variational techniques
68Q25 Analysis of algorithms and problem complexity (See also 68W40)
Issue 06 (June 2005)
Received 28 January 2005, accepted for publication 24 May 2005
Published 14 June 2005
Sakari Seitz et al J. Stat. Mech. (2005) P06006
Eann A Patterson and Maurice P Whelan 2008 Nanotechnology 19 105502
Alexander Pfaff et al 2009 IOP Conf. Ser.: Earth Environ. Sci. 6 252022
Jonah Busch et al 2009 IOP Conf. Ser.: Earth Environ. Sci. 6 252019
B M Annaratone et al 2004 Plasma Phys. Control. Fusion 46 B495
Alexander Pfaff et al 2009 IOP Conf. Ser.: Earth Environ. Sci. 6 252002
E Weinthal and Kathleen Lawlor 2009 IOP Conf. Ser.: Earth Environ. Sci. 6 252003
Kimberly M Carlson and Lisa M Curran 2009 Environ. Res. Lett. 4 031003
K. Tamura et al. 2009 The Astronomical Journal 138 1634
K A Gladnishki et al 2005 J. Phys. G: Nucl. Part. Phys. 31 S1559