Bidirectional Heuristic Search Reconsidered

The assessment of bidirectional heuristic search has been incorrect since it was first published more than a quarter of a century ago. For quite a long time, this search strategy did not achieve the expected results, and there was a major misunderstanding about the reasons behind it. Although there is still wide-spread belief that bidirectional heuristic search is afflicted by the problem of search frontiers passing each other, we demonstrate that this conjecture is wrong. Based on this finding, we present both a new generic approach to bidirectional heuristic search and a new approach to dynamically improving heuristic values that is feasible in bidirectional search only. These approaches are put into perspective with both the traditional and more recently proposed approaches in order to facilitate a better overall understanding. Empirical results of experiments with our new approaches show that bidirectional heuristic search can be performed very efficiently and also with limited memory. These results suggest that bidirectional heuristic search appears to be better for solving certain difficult problems than corresponding unidirectional search. This provides some evidence for the usefulness of a search strategy that was long neglected. In summary, we show that bidirectional heuristic search is viable and consequently propose that it be reconsidered.

[1]  Hermann Kaindl,et al.  Memory-Bounded Bidirectional Search , 1994, AAAI.

[2]  Hermann Kaindl,et al.  Bidirectional Best-First Search with Bounded Error: Summary of Results , 1993, IJCAI.

[3]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[4]  P. P. Chakrabarti,et al.  Heuristic Search in Restricted Memory , 1989, Artif. Intell..

[5]  Richard E. Korf,et al.  Real-Time Heuristic Search , 1990, Artif. Intell..

[6]  Hermann Kaindl,et al.  Reasons for the effects of bounded look-ahead search , 1992, IEEE Trans. Syst. Man Cybern..

[7]  Hermann Kaindl,et al.  How to Use Limited Memory in Heuristic Search , 1995, IJCAI.

[8]  Richard E. Korf,et al.  Pruning Duplicate Nodes in Depth-First Search , 1993, AAAI.

[9]  Dennis de Champeaux,et al.  An Improved Bidirectional Heuristic Search Algorithm , 1975, JACM.

[10]  Hermann Kaindl,et al.  Improvements on Linear-Space Search Algorithms , 1994, ECAI.

[11]  Amitava Bagchi,et al.  Fast Recursive Formulations for Best-First Search That Allow Controlled Use of Memory , 1989, IJCAI.

[12]  E. L. Lawler,et al.  Branch-and-Bound Methods: A Survey , 1966, Oper. Res..

[13]  Jesfis Peral,et al.  Heuristics -- intelligent search strategies for computer problem solving , 1984 .

[14]  H. Kaindl,et al.  Tree Searching Algorithms , 1990 .

[15]  Richard E. Korf,et al.  Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..

[16]  Giovanni Manzini,et al.  BIDA: An Improved Perimeter Search Algorithm , 1995, Artif. Intell..

[17]  Hermann Kaindl,et al.  Dynamic Improvements of Heuristic Evaluations during Search , 1996, AAAI/IAAI, Vol. 1.

[18]  Stuart J. Russell Efficient Memory-Bounded Search Methods , 1992, ECAI.

[19]  Thomas Sudkamp,et al.  Towards a Better Understanding of Bidirectional Search , 1984, AAAI.

[20]  Alexander Reinefeld,et al.  Enhanced Iterative-Deepening Search , 1994, IEEE Trans. Pattern Anal. Mach. Intell..

[21]  Peter C. Nelson,et al.  Perimeter Search , 1994, Artif. Intell..

[22]  Dana S. Nau,et al.  ITS: An Efficient Limited-Memory Heuristic Tree Search Algorithm , 1994, AAAI.

[23]  James B. H. Kwa,et al.  BS*: An Admissible Bidirectional Staged Heuristic Search Algorithm , 1989, Artif. Intell..

[24]  Jonathan Schaeffer,et al.  Searching with Pattern Databases , 1996, Canadian Conference on AI.

[25]  Richard E. Korf,et al.  Depth-first vs best-first search , 1991 .

[26]  Stuart J. Russell Eecient Memory-bounded Search Methods , 1992 .

[27]  Dennis de Champeaux,et al.  Bidirectional Heuristic Search Again , 1983, JACM.

[28]  Richard E. Korf,et al.  Depth-First vs. Best-First Search: New Results , 1993, AAAI.

[29]  Ira Pohl,et al.  D-Node Retargeting in Bidirectional Heuristic Search , 1984, AAAI.

[30]  R. Korf An Optimal Admissible Tree Search , 1985 .

[31]  Rina Dechter,et al.  Generalized best-first search strategies and the optimality of A* , 1985, JACM.

[32]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[33]  Richard E. Korf,et al.  Finding Optimal Solutions to the Twenty-Four Puzzle , 1996, AAAI/IAAI, Vol. 2.

[34]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.