Abstract
A?
is optimally efficient with regard to node expansions among unidirectional admissible algorithms—those that only assume that the heuristic
used is admissible. This paper studies algorithms
that are optimally efficient for bidirectional search
algorithms. We present the Fractional MM algorithm and its sibling, the MT algorithm, which is
simpler to analyze. We then develop variants of
these algorithms that are optimally efficient, each
under different assumptions on the information
available to the algorithm