下列哪个算法使用到了分治策略? A、 二分查找 B、 迷宫寻路 C、 单词最短编辑距离 D、 博物馆大盗问题