双向BFS可以极大地减少扩展节点个数,不是从o(n)到o(n/2),通常是o(n)到o(sqrt(n))的(如正反搜索树都是k叉树)。
单向BFS求出的一定是最短的路径,双向BFS则不一定。双向BFS求出的路径是最短的的充要条件是图中不存在长度为奇数的回路(双向BFS的两个队列都只有两层,画图简单分析可得出这个结论),对于一般的位置移动的状态变化(如限制只能上下前后左右邻近位置移动),不存在奇数长度的回路,因此求出的一定是最短的。
有些时候双向搜索树结构差异很大,如正向是一个完全k叉树,反向却已经退化成链表,如果我们能提前知道两个树结构,我们肯定选择退化成链表的那个方向进行搜索。一个好的策略可以保证在事先不知道搜索树结构的情况下对正反搜索树进行折中,不至于使节点扩展过多。
通常我们会在循环中选择节点个数较少的那个队列进行扩展,这样由于最后两个队列的节点个数大致相等,所以最坏情况下不过是最好的搜索树的节点个数的两倍。
如果不做这种优化,每次循环中同时扩展两个队列,则最后两个队列中非叶子节点个数相同,最坏情况下也不过是最好搜索树的k倍左右。
最糟糕的是控制层数平衡,这时最坏情况下的节点个数依赖于最坏搜索树。