- Search algorithm
computer science, a search algorithm, broadly speaking, is an algorithmthat takes a problem as inputand returns a solution to the problem, usually after evaluating a number of possible solutions. Most of the algorithms studied by computer scientists that solve problems are kinds of search algorithms. The set of all possible solutions to a problem is called the search space. Brute-force searchor "naïve"/uninformed search algorithms use the simplest method of searching through the search space, whereas informed search algorithms use heuristic functions to apply knowledge about the structure of the search spaceto try to reduce the amount of time spent searching.
An uninformed search algorithm is one that does not take into account the specific nature of the problem. As such, they can be implemented in general, and then the same
implementationcan be used in a wide range of problems thanks to abstraction. The drawback is that most search spaces are extremely large, and an uninformed search (especially of a tree) will take a reasonable amount of time only for small examples. As such, to speed up the process, sometimes only an informed search will do.
List search algorithms are perhaps the most basic kind of search algorithm. The goal is to find one element of a set by some key (perhaps containing other information related to the key). As this is a common problem in
computer science, the computational complexityof these algorithms has been well studied. The simplest such algorithm is linear search, which simply examines each element of the list in order. It has expensive O(n) running time, where "n" is the number of items in the list, but can be used directly on any unprocessed list. A more sophisticated list search algorithm is binary search; it runs in O(log "n") time. This is significantly better than linear searchfor large lists of data, but it requires that the list be sorted before searching (see sorting algorithm) and also be random access. Interpolation searchis better than binary search for large sorted lists with fairly even distributions, but has a worst-case running time of O("n"). Grover's algorithmis a quantum algorithm that offers quadratic speedup over the classical linear search for unsorted lists. However, it requires a currently non-existent quantum computer on which to run. Hash tables are also used for list search, requiring only constant timefor search in the average case, but more space overhead and terrible O("n") worst-case search time. Another search based on specialized data structures uses self-balancing binary search trees and requires O(log "n") time to search; these can be seen as extending the main ideas of binary search to allow fast insertion and removal. See associative arrayfor more discussion of list search data structures.
Most list search algorithms, such as linear search, binary search, and self-balancing binary search trees, can be extended with little additional cost to find all values less than or greater than a given key, an operation called "range search". The glaring exception is hash tables, which cannot perform such a search efficiently.
Tree search algorithms are the heart of searching techniques for structured data. These search trees of nodes, whether that tree is explicit or implicit (generated on the go). The basic principle is that a node is taken from a data structure, its successors examined and added to the data structure. By manipulating the data structure, the tree is explored in different orders - for instance, level by level ( breadth-first search) or reaching a leaf nodefirst and backtracking ( depth-first search). Other examples of tree-searches include iterative-deepening search, depth-limited search, bidirectional search, and uniform-cost search.
It should be realized that the efficiency of a tree search (compared to other search methods) is highly dependent upon the number and structure of nodes in relation to the number of items on that node. If there are a large number of items on one or more nodes, there may well be a requirement to utilize a specific different search technique for locating items within that particular set. In other words, a tree search is not mutually exclusive with any other search technique that may be used for specific sets. It is simply a method of reducing the number of relevant items to be searched (by whatever method) to those within certain branches of the tree. For example, the
Greater Londontelephone directory may still contain entries for 20,000+ people whose surname is 'SMITH' belonging on a tree branch 'surnames beginning S'. The list of names may, or may not be, further subdivided by subscribers initials. A binary searchmay be appropriate to locate a particular person with forename 'Alias' and perhaps thereafter a linear searchto locate a particular address.
Many of the problems in
graph theorycan be solved using graph traversalalgorithms, such as Dijkstra's algorithm, Kruskal's algorithm, the nearest neighbour algorithm, and Prim's algorithm. These can be seen as extensions of the tree-search algorithms.
In an informed search, a heuristic that is specific to the problem is used as a guide. A good heuristic will make an informed search dramatically out-perform any uninformed search.
There are few prominent informed list-search algorithms. A possible member of that category is a hash table with a hashing function that is a heuristic based on the problem at hand. Most informed search algorithms explore trees Fact|date=August 2008. These include
best-first search, and A*. Like the uninformed algorithms, they can be extended to work for graphs as well.
In games such as
chess, there is a game treeof all possible moves by both players and the resulting board configurations, and we can search this tree to find an effective playing strategy. This type of problem has the unique characteristic that we must account for any possible move our opponent might make. To account for this, game-playing computer programs, as well as other forms of artificial intelligencelike machine planning, often use search algorithms like the minimax algorithm, search tree pruning, and alpha-beta pruning.
This is a type of search which solves
constraint satisfaction problems where, rather than looking for a path, the solution is simply a set of values assigned to a set of variables. Because the variables can be processed in any order, the usual tree search algorithms are too inefficient. Methods of solving constraint problems include combinatorial searchand backtracking, both of which take advantage of the freedom associated with constraint problems. Common tricks or techniques involved in backtrackingis Constraint propagation, which is a general form of Forward checking. Other local search algorithms, such as generic algorithm, which minimize the conflicts, also do a good job.
String searching algorithms search for patterns within strings; one popular data structure that makes this more efficient is the suffix tree
Genetic algorithmsand Genetic programminguse ideas from evolutionas heuristics for reducing the search space
Sorting algorithms necessary for executing certain search algorithms
Simulated annealingis a probabilisticsearch algorithm
Recommender systems also use statistical methods to rank results in very large data sets
Tabu searchis a technique to avoid discrete searches getting stuck in local minima
Minimaxwhich can be highly optimized using alpha-beta pruningis an algorithm to search for good moves in zero-sumgames
No free lunch in search and optimization
Secretary problemis an online (ie sequentially presented) search problem with imperfect information, and a statistically optimal strategy.
* [http://www.gp-field-guide.org.uk/ A Field Guide to Genetic Programming] by Poli, Langdon, and McPhee. Available as a free PDF, or in printed form from Lulu.com.
* [http://en.wikiversity.org/wiki/Uninformed_Search_Project Self-Guided Lesson on Uninformed Search] Go to the Wikiversity and teach yourself to program an uninformed search solution.
Wikimedia Foundation. 2010.