Abstract
This chapter is devoted to some algorithm design techniques which became known by the term heuristics. The term heuristic in the area of combinatorial optimization is not unambiguously specified and so it is used with different meanings. A heuristic algorithm in a very general sense is a consistent algorithm for an optimization problem that is based on some transparent (usually simple) strategy (idea) of searching in the set of all feasible solutions, and that does not guarantee finding any optimal solution. In this context people speak about local search heuristics, or a greedy heuristic, even when this heuristic technique results in an approximation algorithm. In a narrow sense a heuristic is a technique providing a consistent algorithm for which nobody is able to prove that it provides feasible solutions of a reasonable quality in a reasonable (for instance, polynomial) time, but the idea of the heuristic seems to promise good behavior for typical instances of the optimization problem considered. Thus, a polynomial-time approximation algorithm cannot be considered as a heuristic in this sense, independently of the simplicity of its design idea. Observe that the description of a heuristic in this narrow sense is a relative term because an algorithm can be considered to be a heuristic one while nobody is able to analyze its behavior. But after proving some reasonable bounds on its complexity and the quality of the produced solutions (even with an error-bounded probability in the randomized case), this algorithm becomes a (randomized) approximation algorithm and is not considered to be a heuristic any more.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliographical Remarks
Metropolis, N., Rosenbluth, A. W., Rosenbluth, M. N., Teller A. H., Teller, E.: Equation of state calculation by fast computing machines. Journal of Chemical Physics 21 (1953), 1087–1091.
Cernÿ, V.: A thermodynamical approach to the traveling salesman problem: An efficient simulation algorithm. Journal of Optimization Theory and Applications 45 (1985), 41–55.
Kirkpatrick, S., Gellat, P. D., Vecchi, M. P.: Optimization by simulated annealing. Science 220 (1983), 671–680.
Aarts, E. H. L., Korst, J. H. M.: Simulated Annealing and Boltzmann ma-chines (A Stochastic Approach to Combinatorial Optimization and Neural Computing). John Wiley and Sons, Chichester, 1989.
Dowsland, K. A.: Simulated annealing. In: [Ree95], pp. 20–69.
Kernighan, B. W., Lin, S.: An efficient heuristic procedure for partitioning graphs. Bell System Technical Journal 49 (1970), 291–307.
Glover, F.: Tabu search: Part I. ORSA Journal on Computing 1 (1989), 190–206.
Faigle, U., Kern, W.: Some convergence results for probabilistic tabu search. ORSA Journal on Computing 4 (1992), 32–37.
Glover, F., Laguna, M.: Tabu search. In: [Ree95], pp. 70–150.
Hertz, A., Taulard, E., de Werra, D.: Tabu search. In: [AL97a], pp. 121–136.
Holland, J. H.: Adaptation in Natural and Artificial Systems. University of Michigan Press, Ann Arbor, 1975.
Schwefel, H.-P.: Numerical Optimization of Computer Models. John Wiley and Sons, Chichester, 1981.
Davis, L. (Ed.): Genetic Algorithms and Simulated Annealing. Morgan Kauffmann, Los Altos, 1987.
Davis, L. (Ed.): Handbook of Genetic Algorithms. Van Nostrand Reinhold, New York, 1991.
Michalewicz, Z.: Genetic Algorithms + Data Structures = Evolution Programs. Springer-Verlag, 1992.
Michalewicz, Z., Fogel, D. B.: How to Solve It: Modern Heuristics. Springer-Verlag 1998.
Schwefel, H.-P.: Evolution and Optimum Seeking. John Wiley and Sons, Chichester, 1995.
Reeves, C. R.: Genetic algorithms In: [Ree95], pp. 151–196.
Crow, J. F., Kimura, M.: An Introduction to Population Genetic Theory. Harper and Row, New York, 1970.
Crow, J. F.: Basic Concepts in Population, Quantitive and Evolutionary Genetics. Freeman, New York, 1986.
Arora, S., Lund, C.: Hardness of approximation. In: Approximation Al-gorithms for NP-hard Problems ( D.S. Hochbaum, Ed.), PWS Publishing Company, Boston, 1997.
Branke, J., Kohlmorgen, U., Schmeck, H., Veith, H.: Steuerung einer Heuristik zur Losgrößenplanung unter Kapazitätsrestriktionen mit Hilfe eines parallelen genetischen Algorithmus. In: Proc. Workshop Evolutionäre Algorithmen, Göttingen, 1995 (in German)
Branke, J., Middendorf, M., Schneider, F.: Improved heuristics and a genetic algorithm for finding short supersequences. OR Spektrum 20 (1998), 39–45.
Julstrom, B., Raidl, G. R.: A weighted coding in a genetic algorithm for the degree-constrained minimum spanning tree problem. In: Proc. ACM Symposium of Applied Computing, ACM, 2000.
Tanese, R.: Distributed genetic algorithms. In: Proc. 3rd Int. Conference on Genetic Algorithms ( J. D. Schaffer, Ed.), Morgan Kaufmann, San Mateo, 1989, pp. 434–439.
Schmeck, H., Branke, J., Kohlmorgen, U.: Parallel implementations of evolutionary algorithms In: Solutions to Parallel and Distributed Computing Problems (A. Zomaya, F. Ercal, S. Olariu, Eds.), John Wiley and Sons, 2000, to appear.
Droste, S., Janses, T., Wegener, I.: A rigorous complexity analysis of the (1 + 1) evolutionary algorithm for separable functions with Boolean inputs. Evolutionary Computation 6 (1998), 185–196.
Droste, S., Janses, T., Wegener, I.: On the optimization of unimodal functions with the (1+1) evolutionary algorithm. In: Proc. 5th Parallel Problem Solving from Nature, Lecture Notes in Computer Science 1998, Springer-Verlag, Cambridge University Press, 1998, pp. 47–56.
Droste, S., Janses, T., Wegener, I.: Perhaps not a free lunch but at least a free appetizer. In: Proc. 1st Genetic and Evolutionary Computation Conference (W. Banzaf, J. Daida, A. E. Eiben, M. H. Garzon, V. Honarir, M. Jakiela, and R. E. Smith, Eds.), Morgan Kaufmann, San Francisco, 1999, pp. 833–839.
Droste, S., Janses, T., Wegener, I.: On the analysis of the (1 + 1) evolutionary algorithm. Theoretical Computer Science,to appear.
Wegener, I.: On the expected runtime and the success probability of evolutionary algorithms. In: Preproceedings of 26th WG 2000, University of Konstanz 2000, pp. 229–240 (also: Proc. 26th WG 2000, Lecture Notes in Computer Science 1928, Springer-Verlag, 2000, pp. 1–10 ).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hromkovič, J. (2001). Heuristics. In: Algorithmics for Hard Problems. Texts in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-04616-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-04616-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-04618-0
Online ISBN: 978-3-662-04616-6
eBook Packages: Springer Book Archive