Sufficient Conditions for Node Expansion in Bidirectional Heuristic Search.
Proceedings of the International Conference on Automated Planning and Scheduling(2017)
摘要
In this paper we study bidirectional state space search with consistent heuristics, with a focus on obtaining sufficient conditions for node expansion, i.e., conditions characterizing nodes that must be expanded by any admissible bidirectional search algorithm. We provide such conditions for front-to-front and front-to-end bidirectional search. The sufficient conditions are used to prove that the front-to-front bidirectional search algorithm BDS1 is optimally efficient, in terms of node expansion, among a broad class of bidirectional search algorithms, for a specific class of problem instances. Dechter and Pearl's well-known result on sufficient conditions for node expansion by unidirectional algorithms such as A* is shown to be a special case of our results.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络