Synonyms
Definition
Combinatorial search involves the systematic exploration of the space of configurations, or states, of a problem domain. A set of operators can transform a given state to a series of successor states. The objective of the exploration is to find one, all, or optimal goal states satisfying certain desired properties, possibly along with a path from the start state to each goal. Combinatorial search has widespread applications in optimization, logic programming, and artificial intelligence.
Discussion
Given an implicitly defined set, combinatorial search involves finding one or more of its members that satisfy specific properties. More formally, it entails the systematic assignment of discrete values from a finite range to each of a collection of variables. Each member of the set represents a configuration or state that the basic elements of the problem domain can assume. Therefore, the set is also called a state space....
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Bibliography
Lin Y-J, Kumar V (1991) And-parallel execution of logic programs on a sharedmemory multiprocessor. J Logic Program 10(1–4):155–178
Blumofe RD, Joerg CF, Kuszmaul BC, Leiserson CE, Randall KH, Zhou Y (1996) Cilk: an efficient multithreaded runtime system. J Parallel Distrib Comput 37(1):55–69
Kalé LV, Ramkumar B, Saletore V, Sinha AB (1993) Prioritization in parallel symbolic computing. In: Ito T, Halstead R (eds) Lecture notes in computer science, vol 748. Springer-Verlag, Heidelberg, pp 12–41
Rao VN, Kumar V (1998) Superlinear speedup in parallel state-space search. In: Proceedings of the eighth conference on foundations of software technology and theoretical computer science, Springer, London, UK, pp 161–174
Dechter R, Pearl J (1985) Generalized best-first search strategies and the optimality of \({\textrm{ A}}^{{_\ast}}\). J ACM 32(3):505–536
Korf RE (1985) Depth-first iterative-deepening: an optimal admissible tree search. Artif Intell 27:97–109
Li G-J, Wah BW (1986) Coping with anomalies in parallel branch-and-bound algorithms. IEEE Trans Comput 35(6):568–573
Grama A, Kumar V (1999) State of the art in parallel search techniques for discrete optimization problems. IEEE Trans Knowl Data Eng 11(1):28–35
Nelson PC, Toptsis AA (1992) Unidirectional and bidirectional search algorithms. IEEE Softw 9:77–83
Kaindl H, Kainz G (1997) Bidirectional heuristic search reconsidered. J Artif Intell Res 7:283–317
Feldmann R, Mysliwiete P, Monien B (1994) Studying overheads in massively parallel min/max-tree evaluation. In: SPAA ’94: proceedings of the sixth annual ACM symposium on parallel algorithms and architectures, ACM Press, New York, pp 94–103
Campbell M, Hoane AJ, Hsu F-H (2002) Deep blue. Artif Intell 134(1–2):57–83
Gupta G, Pontelli E, Ali KAM, Carlsson M, Hermenegildo MV (2001) Parallel execution of prolog programs: a survey. ACM Trans Program Lang Syst 23(4):472–602
Kalé LV (1991) The REDUCE-OR process model for parallel execution of logic programs. J Logic Program 11(1):55–84
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this entry
Cite this entry
Kalé, L.V., Jetley, P. (2011). Combinatorial Search. In: Padua, D. (eds) Encyclopedia of Parallel Computing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-09766-4_241
Download citation
DOI: https://doi.org/10.1007/978-0-387-09766-4_241
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-09765-7
Online ISBN: 978-0-387-09766-4
eBook Packages: Computer ScienceReference Module Computer Science and Engineering