Abstract
We set up a general generic framework for local search algorithms. Then we show in this generic setting how heuristic, problem-specific information can be used to improve the success probability of local search by focussing the search process on specific neighbor states. Our main contribution is a result which states that stochastic local search using restarts has a provable complexity advantage compared to deterministic local search. An important side aspect is the insight that restarting (starting the search process all over, not using any information computed before) is a useful concept which was mostly ignored before.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aarts, E., Lenstra, J.K.: Local Search in Combinatorial Optimization. Princeton University Press, Princeton, NJ (2003)
Ash, R.B.: Information Theory. Dover, Mineola, NY (1965)
Bolc, L., Cytowski, J.: Search Methods for Artificial Intelligence. Academic Press, San Diego (1992)
Dantsin, E., Goerdt, A., Hirsch, E.A., Schöning, U.: Deterministic algorithms for k-SAT based on covering codes and local search. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol. 1853, pp. 236–247. Springer, Heidelberg (2000)
Dantsin, E., Goerdt, A., Hirsch, E.A., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P., Schöning, U.: A deterministic \((2-{2\over k+1})^n\) algorithm for k-SAT based on local search. Theoretical Computer Science 289(1), 69–83 (2002)
Feller, W.: An Introduction to Probability Theory and Its Applications. Wiley, Chichester (1968)
Hartmann, A.K., Weigt, M.: Phase Transitions in Combinatorial Optimization Problems. Wiley-VHC, Chichester (2005)
Hoos, H.: Stochastic Local Search - Methods, Models, Applications. PhD dissertation, Universität Darmstadt (1998)
Hoos, H., Stützle, T.: Stochastic Local Search - Foundations and Applications. Morgan Kaufmann, San Francisco (2004)
Michiels, W., Aarts, E., Korst, J.: Theoretical Aspects of Local Search. Springer, Heidelberg (2007)
Papadimitriou, C.H.: On selecting a satisfying truth assignment. In: Proceedings of the 32nd Ann. IEEE Symp. on Foundations of Computer Science, pp. 163–169. IEEE Computer Society Press, Los Alamitos (1991)
Perkus, A., Istrate, G., Moore, C. (eds.): Computational Complexity and Statistical Physics. Oxford University Press, Oxford (2006)
Schneider, J.J., Kirkpatrick, S.: Stochastic Optimization. Springer, Heidelberg (2006)
Schöning, U.: On The Complexity Of Constraint Satisfaction Problems. Ulmer Informatik-Berichte, Nr. 99-03. Universität Ulm, Fakultät für Informatik (1999)
Schöning, U.: A probabilistic algorithm for k-SAT and constraint satisfaction problems. In: Proceedings 40th IEEE Symposium on Foundations of Computer Science, pp. 410–414 (1999)
Schöning, U.: A probabilistic algorithm for k-SAT based on limited local search and restart. Algorithmica 32(4), 615–623 (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schöning, U. (2007). Principles of Stochastic Local Search. In: Akl, S.G., Calude, C.S., Dinneen, M.J., Rozenberg, G., Wareham, H.T. (eds) Unconventional Computation. UC 2007. Lecture Notes in Computer Science, vol 4618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73554-0_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-73554-0_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73553-3
Online ISBN: 978-3-540-73554-0
eBook Packages: Computer ScienceComputer Science (R0)