Reactive Search: Machine Learning for Memory-Based Heuristics

Most state-of-the-art heuristics are characterized by a certain number of choices and free parameters, whose appropriate setting is a subject that raises issues of research methodology. In some cases, these parameters are tuned through a feedback loop that includes the user as a crucial learning component: depending on preliminary algorithm tests some parameter values are changed by the user, and different options are tested until acceptable results are obtained. Therefore, the quality of results is not automatically transferred to different instances and the feedback loop can require a lengthy "trial and error" process every time the algorithm has to be tuned for a new application. Parameter tuning is therefore a crucial issue both in the scientific development and in the practical use of heuristics. In some cases the role of the user as an intelligent (learning) part makes the reproducibility of heuristic results difficult and, as a consequence, the competitiveness of alternative techniques depends in a crucial way on the user's capabilities. Reactive Search advocates the use of simple sub-symbolic machine learning to automate the parameter tuning process and make it an integral (and fully documented) part of the algorithm. If learning is performed on line, task-dependent and local properties of the configuration space can be used by the algorithm to determine the appropriate balance between diversification (looking for better solutions in other zones of the configuration space) and intensification (exploring more intensively a small but promising part of the configuration space). In this way a single algorithm maintains the flexibility to deal with related problems through an internal feedback loop that considers the previous history of the search. In the following, we shall call reaction the act of modifying some algorithm parameters in response to the search algorithm's behavior during its execution, rather than between runs. Therefore, a reactive heuristic is a technique with the ability of tuning some important parameters during execution by means of a machine learning mechanism. It is important to notice that such heuristics are intrinsically history-dependent; thus, the practical success of this approach in some cases raises the need of a sounder theoretical foundation of non-Markovian search techniques.

[1]  Roberto Battiti Partially persistent dynamic sets for history-sensitive heuristics , 1999, Data Structures, Near Neighbor Searches, and Methodology.

[2]  Andrew W. Moore,et al.  Learning Evaluation Functions for Global Optimization and Boolean Satisfiability , 1998, AAAI/IAAI.

[3]  R. Battiti,et al.  Simulated annealing and Tabu search in the long run: A comparison on QAP tasks☆ , 1994 .

[4]  Bennett L. Fox,et al.  Simulated Annealing: Folklore, Facts, and Directions , 1995 .

[5]  Michel Gendreau,et al.  Tabu search algorithms for the maximum clique problem , 1993, Cliques, Coloring, and Satisfiability.

[6]  Robert E. Tarjan,et al.  Planar Point Location Using Persistent Search Trees a , 1989 .

[7]  Roberto Battiti,et al.  TOTEM: A HIGHLY PARALLEL CHIP FOR TRIGGERING APPLICATIONS WITH INDUCTIVE LEARNING BASED ON THE REACTIVE TABU SEARCH , 1995 .

[8]  Zbigniew Michalewicz,et al.  Parameter Control in Evolutionary Algorithms , 2007, Parameter Setting in Evolutionary Algorithms.

[9]  Edward P. K. Tsang,et al.  Guided local search and its application to the traveling salesman problem , 1999, Eur. J. Oper. Res..

[10]  Forbes AvenuePittsburgh Memory Based Stochastic Optimization for Validation and Tuning of Function Approximators , 1997 .

[11]  Roberto Battiti,et al.  The continuous reactive tabu search: Blending combinatorial optimization and stochastic search for global optimization , 1996, Ann. Oper. Res..

[12]  Mihir Bellare,et al.  Free bits, PCPs and non-approximability-towards tight results , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[13]  J. Håstad Clique is hard to approximate withinn1−ε , 1999 .

[14]  Fred W. Glover,et al.  Tabu Search - Part I , 1989, INFORMS J. Comput..

[15]  Patrick Siarry,et al.  Tabu Search applied to global optimization , 2000, Eur. J. Oper. Res..

[16]  S. Baluja,et al.  Using Optimal Dependency-Trees for Combinatorial Optimization: Learning the Structure of the Search Space , 1997 .

[17]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[18]  Holger H. Hoos,et al.  Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT , 2002, CP.

[19]  Bernd Freisleben,et al.  Fitness landscape analysis and memetic algorithms for the quadratic assignment problem , 2000, IEEE Trans. Evol. Comput..

[20]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, CACM.

[21]  Robert E. Tarjan,et al.  Updating a Balanced Search Tree in O(1) Rotations , 1983, Inf. Process. Lett..

[22]  Roberto Battiti,et al.  Reactive Local Search Techniques for the Maximum k-conjunctive Constraint Satisfaction Problem (MAX-k-CCSP) , 1999, Discret. Appl. Math..

[23]  Giorgio Ausiello,et al.  Theoretical Computer Science Approximate Solution of Np Optimization Problems * , 2022 .

[24]  Mauricio G. C. Resende,et al.  Designing and reporting on computational experiments with heuristic methods , 1995, J. Heuristics.

[25]  J. Håstad Clique is hard to approximate within n 1-C , 1996 .

[26]  Toshihide Ibaraki,et al.  A tabu search approach to the constraint satisfaction problem as a general problem solver , 1998, Eur. J. Oper. Res..

[27]  Leonidas J. Guibas,et al.  A dichromatic framework for balanced trees , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

[28]  Catherine C. McGeoch Feature Article - Toward an Experimental Method for Algorithm Simulation , 1996, INFORMS J. Comput..

[29]  T. Genji,et al.  Comparative Study of Modern Heuristic Algorithms to Service Restoration in Distribution Systems , 2001, IEEE Power Engineering Review.

[30]  David L. Woodruff,et al.  Hashing vectors for tabu search , 1993, Ann. Oper. Res..

[31]  Y. Fukuyama,et al.  Comparative study of modern heuristic algorithms to service restoration in distribution systems , 2002, 2002 IEEE Power Engineering Society Winter Meeting. Conference Proceedings (Cat. No.02CH37309).

[32]  Pierre Hansen,et al.  Algorithms for the maximum satisfiability problem , 1987, Computing.

[33]  R. Battiti,et al.  Local search with memory: benchmarking RTS , 1995 .

[34]  Andrew W. Moore,et al.  Memory-based Stochastic Optimization , 1995, NIPS.

[35]  Afonso Ferreira,et al.  BOUNDING THE PROBABILITY OF SUCCESS OF STOCHASTIC METHODS FOR GLOBAL OPTIMIZATION , 1993 .

[36]  Wen-Chyuan Chiang,et al.  A Reactive Tabu Search Metaheuristic for the Vehicle Routing Problem with Time Windows , 1997, INFORMS J. Comput..

[37]  Rex K. Kincaid,et al.  Reactive Tabu Search and Sensor Selection in Active Structural Acoustic Control Problems , 1998, J. Heuristics.

[38]  Thomas Stützle,et al.  Stochastic Local Search: Foundations & Applications , 2004 .

[39]  David Maier,et al.  Hysterical B-trees , 1981, Inf. Process. Lett..

[40]  Chiang Tzuu-Shuh,et al.  On the convergence rate of annealing processes , 1988 .

[41]  Fred Glover,et al.  Tabu Search - Part II , 1989, INFORMS J. Comput..

[42]  Pierluigi Crescenzi,et al.  A compendium of NP optimization problems , 1994, WWW Spring 1994.

[43]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[44]  Panos M. Pardalos,et al.  The maximum clique problem , 1994, J. Glob. Optim..

[45]  David E. Goldberg,et al.  A Survey of Optimization by Building and Using Probabilistic Models , 2002, Comput. Optim. Appl..

[46]  Philip N. Strenski,et al.  Analysis of finite length annealing schedules , 2005, Algorithmica.

[47]  Rudolf Bayer,et al.  Symmetric binary B-Trees: Data structure and maintenance algorithms , 1972, Acta Informatica.

[48]  M. H. Overmars Searching in the past II- general transformations , 1981 .

[49]  Shen Lin Computer solutions of the traveling salesman problem , 1965 .

[50]  Cecilia R. Aragon,et al.  Optimization by Simulated Annealing: An Experimental Evaluation; Part II, Graph Coloring and Number Partitioning , 1991, Oper. Res..

[51]  Jan Korst,et al.  Deterministic and randomized local search , 1993 .

[52]  Roberto Battiti,et al.  Greedy, Prohibition, and Reactive Heuristics for Graph Partitioning , 1999, IEEE Trans. Computers.

[53]  Roberto Battiti,et al.  Reactive search, a history-sensitive heuristic for MAX-SAT , 1997, JEAL.

[54]  M Dorigo,et al.  Ant colonies for the quadratic assignment problem , 1999, J. Oper. Res. Soc..

[55]  Umesh V. Vazirani,et al.  An Introduction to Computational Learning Theory , 1994 .

[56]  J. Jeffry Howbert,et al.  The Maximum Clique Problem , 2007 .

[57]  Mikkel Thorup,et al.  Increasing Internet Capacity Using Local Search , 2004, Comput. Optim. Appl..

[58]  Stefan Voß,et al.  Dynamic tabu list management using the reverse elimination method , 1993, Ann. Oper. Res..

[60]  Uwe T. Zimmermann,et al.  Real-time dispatch of trams in storage yards , 2000, Ann. Oper. Res..

[61]  Roberto Battiti,et al.  The Reactive Tabu Search , 1994, INFORMS J. Comput..

[62]  Robert E. Tarjan,et al.  Making Data Structures Persistent , 1989, J. Comput. Syst. Sci..

[63]  Olli Bräysy,et al.  A Reactive Variable Neighborhood Search for the Vehicle-Routing Problem with Time Windows , 2003, INFORMS J. Comput..

[64]  T. Chiang,et al.  On the convergence rate of annealing processes , 1987 .

[65]  Marco Dorigo,et al.  Ant system: optimization by a colony of cooperating agents , 1996, IEEE Trans. Syst. Man Cybern. Part B.

[66]  Gilbert Syswerda,et al.  Simulated Crossover in Genetic Algorithms , 1992, FOGA.

[67]  Roberto Battiti,et al.  Reactive Local Search for the Maximum Clique Problem1 , 2001, Algorithmica.

[68]  Niaz A. Wassan,et al.  A reactive tabu search meta-heuristic for the vehicle routing problem with back-hauls , 2002 .

[69]  M. Trick,et al.  Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, Workshop, October 11-13, 1993 , 1996 .

[70]  Roberto Battiti,et al.  Training neural nets with the reactive tabu search , 1995, IEEE Trans. Neural Networks.

[71]  Mauro Brunato,et al.  Reactive Search for Traffic Grooming in WDM Networks , 2001, IWDC.

[72]  John N. Hooker,et al.  Testing heuristics: We have it all wrong , 1995, J. Heuristics.

[73]  Robert E. Tarjan,et al.  Planar point location using persistent search trees , 1986, CACM.