Abstract
The use of a lower bound estimate in the search has a tremendous impact on the size of the resulting search trees, whereas OBDDs can be used to efficiently describe sets of states based on their binary encoding. This paper combines these two ideas into a new algorithm BDDA *. It challenges both the breadth-first search using OBDDs and the traditional A * algorithm. The problem with A * is that in many application areas the set of states is too huge to be kept in main memory. In contrast, brute-force breadth-first search using OBDDs unnecessarily expands several nodes. Therefore, we exhibit a new trade-off between time and space requirements and tackle the most important problem in heuristic search, the overcoming of space limitations while avoiding a strong penalty in time. We evaluate our approach in the (n 2−1)-Puzzle and within Sokoban.
Preview
Unable to display preview. Download preview PDF.
References
A. Biere. Efficient model checking with binary decision diagramms. PhD thesis, Computer Science Department, University of Karlsruhe, 1997.
A. Biere. μcke-efficient μ-calculus model checking. In Computer Aided Verification, volume 1254 of LNCS, pages 468–471, 1997.
R. E. Bryant. Symbolic manipulation of boolean functions using a graphical representation. In Proceedings of the 22nd ACM/IEEE Design Automation Conference, pages 688–694, Los Alamitos, Ca., USA, 1985. IEEE Computer Society Press.
J. C. Culberson and J. Schaeffer. Searching with pattern databases. In Proceedings of the Eleventh Biennial Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence, volume 1081 of LNAI, pages 402–416, Berlin, 1996. Springer.
J. Doppelhamer and J. K. Lehnert. Optimal solution for sokoban using OBDDs. University of Trier, available from the authors, 1998.
J. Eckerle and S. Schuierer. Efficient memory-limited graph search. LNCS, 981:101–112, 1995.
P. E. Hart, N. J. Nilsson, and B. Raphael. A formal basis for heuristic determination of minimum path cost. IEEE Trans. on SSC, 4:100, 1968.
A. Junghanns and J. Schaeffer. Single agent search in the presence of deadlocks. To appear in: Proceedings AAAI-98, 1998.
A. Junghanns and J. Schaeffer. Sokoban: Evaluating standard single-agent search techniques in the presence of deadlock. To appear in: Proceedings CSCSI-98, Vancouver, Canada, LNCS, Springer, 1998.
R. E. Korf. Depth-first iterative-deepening: An optimal admissible tree search. Artificial Intelligence, 27(1):97–109, 1985.
R. E. Korf. Finding optimal solutions to Rubik’s cube using pattern databases. In Proceedings AAAI-97, pages 700–705. AAAI Press, 1997.
R. E. Korf and L. A. Taylor. Finding optimal solutions to the twenty-four puzzle. In Proceedings AAAI-96, pages 1202–1207. AAAI Press, 1996.
K. McMillan. Symbolic Model Checking. Kluwer Academic Press, 1993.
S. Russell. Efficient memory-bounded search methods. In Proceedings of ECAI-92, pages 1–5. Wiley, 1992.
L. A. Taylor and R. E. Korf. Pruning duplicate nodes in depth-first search. In AAAI-93, pages 756–761. AAAI Press, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Edelkamp, S., Reffel, F. (1998). OBDDs in heuristic search. In: Herzog, O., Günter, A. (eds) KI-98: Advances in Artificial Intelligence. KI 1998. Lecture Notes in Computer Science, vol 1504. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0095430
Download citation
DOI: https://doi.org/10.1007/BFb0095430
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65080-5
Online ISBN: 978-3-540-49656-4
eBook Packages: Springer Book Archive