Bidirectional Search While Ensuring Meet-in-the-Middle via Effective and Efficient-to-Compute Termination Conditions
Abstract
In bidirectional heuristic search, the meeting-in-the-middle property (MMP) and the theory of must-expand pairs (MEP) have driven significant recent developments in search efficiency. However, these methodologies typically terminate the search based on minimal priority metrics in the forward and backward open lists, requiring exploration of all potentially better solutions and potentially incurring substantial computational burden. In this paper, we investigate the reasons that contribute to the potential inefficiency in MM , and introduce a tighter termination condition that enables earlier termination without exhaustive exploration while still ensuring both MMP and optimality. This results in a highly efficient bidirectional search algorithm. Experimental comparisons demonstrate that our algorithm outperforms MM in terms of running time by at least two orders of magnitude and is on par or better compared to A*, highlighting its potential in a wide range of applications.
Cite
Text
Wang et al. "Bidirectional Search While Ensuring Meet-in-the-Middle via Effective and Efficient-to-Compute Termination Conditions." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/999Markdown
[Wang et al. "Bidirectional Search While Ensuring Meet-in-the-Middle via Effective and Efficient-to-Compute Termination Conditions." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/wang2025ijcai-bidirectional/) doi:10.24963/IJCAI.2025/999BibTeX
@inproceedings{wang2025ijcai-bidirectional,
title = {{Bidirectional Search While Ensuring Meet-in-the-Middle via Effective and Efficient-to-Compute Termination Conditions}},
author = {Wang, Yi and Weiss, Eyal and Mu, Bingxian and Salzman, Oren},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {8987-8995},
doi = {10.24963/IJCAI.2025/999},
url = {https://mlanthology.org/ijcai/2025/wang2025ijcai-bidirectional/}
}