Stochastic Local Search


Book Description

Stochastic local search (SLS) algorithms are among the most prominent and successful techniques for solving computationally difficult problems. Offering a systematic treatment of SLS algorithms, this book examines the general concepts and specific instances of SLS algorithms and considers their development, analysis and application.




Stochastic Local Search - Methods, Models, Applications


Book Description

To date, stochastic local search (SLS) algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. Some of the most successful and powerful algorithms for prominent problems like SAT, CSP, or TSP are based on stochastic local search. This work investigates various aspects of SLS algorithms; in particular, it focusses on modelling these algorithms, empirically evaluating their performance, characterising and improving their behaviour, and understanding the factors which influence their efficiency. These issues are studied for the SAT problem in propositional logic as a primary application domain. SAT has the advantage of being conceptually very simple, which facilitates the design, implementation, and presentation of algorithms as well as their analysis. However, most of the methodology generalises easily to other combinatorial problems like CSP. This Ph.D. thesis won the Best Dissertation Award 1999 (Dissertationspreis) of the German Informatics Society (Gesellschaft fur Informatik).




Stochastic Local Search


Book Description




Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics


Book Description

This book constitutes the refereed proceedings of the International Workshop on Engineering Stochastic Local Search Algorithms 2009, held in Brussels, Belgium, September 3-5, 2009. The 7 revised full papers presented together with 10 short papers were carefully reviewed and selected from more than 27 submissions. The topics include e. g. the use of run time distributions to evaluate and compare, high- performance local search for task scheduling with human, running time analysis of ACO Systems for shortest path problems, the explorative behavior of MAX-MIN ant system and improved robustness through population variance and colony optimization.




Stochastic Local Search Algorithms for Multiobjective Combinatorial Optimization


Book Description

Stochastic Local Search algorithms were shown to give state-of-the-art results for many other problems, but little is known on how to design and analyse them for Multiobjective Combinatorial Optimization Problems. This book aims to fill this gap. It defines two search models that correspond to two distinct ways of tackling MCOPs by SLS algorithms."




Stochastic Local Search


Book Description




Probabilistic Search for Tracking Targets


Book Description

Presents a probabilistic and information-theoretic framework for a search for static or moving targets in discrete time and space. Probabilistic Search for Tracking Targets uses an information-theoretic scheme to present a unified approach for known search methods to allow the development of new algorithms of search. The book addresses search methods under different constraints and assumptions, such as search uncertainty under incomplete information, probabilistic search scheme, observation errors, group testing, search games, distribution of search efforts, single and multiple targets and search agents, as well as online or offline search schemes. The proposed approach is associated with path planning techniques, optimal search algorithms, Markov decision models, decision trees, stochastic local search, artificial intelligence and heuristic information-seeking methods. Furthermore, this book presents novel methods of search for static and moving targets along with practical algorithms of partitioning and search and screening. Probabilistic Search for Tracking Targets includes complete material for undergraduate and graduate courses in modern applications of probabilistic search, decision-making and group testing, and provides several directions for further research in the search theory. The authors: Provide a generalized information-theoretic approach to the problem of real-time search for both static and moving targets over a discrete space. Present a theoretical framework, which covers known information-theoretic algorithms of search, and forms a basis for development and analysis of different algorithms of search over probabilistic space. Use numerous examples of group testing, search and path planning algorithms to illustrate direct implementation in the form of running routines. Consider a relation of the suggested approach with known search theories and methods such as search and screening theory, search games, Markov decision process models of search, data mining methods, coding theory and decision trees. Discuss relevant search applications, such as quality-control search for nonconforming units in a batch or a military search for a hidden target. Provide an accompanying website featuring the algorithms discussed throughout the book, along with practical implementations procedures.




Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics


Book Description

This volume constitutes the refereed proceedings of the International Workshop on Engineering Stochastic Local Search Algorithms. Inside the volume, readers will find twelve full papers as well as nine short papers. Topics include methodological developments, behavior of SLS algorithms, search space analysis, algorithm performance, tuning procedures, AI/OR techniques, and dynamic behavior.




DNA Computing


Book Description

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on DNA Based Computers, DNA8, held in Sapporo, Japan, in June 2002. The 30 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 68 submissions. The papers are organized in topical sections on self-assembly and autonomous molecular computation, molecular evolution and application to biotechnology, applications to mathematical problems, nucleic acid sequence design, and theory.