各种图搜索之间的区别,体现为边分类结果的不同,以及所得遍历树(森林)的结构差异。其决定因素在于,搜索过程中的每一步迭代,将依照何种策略来选取下一接受访问的顶点。
广度优先搜索的策略是,越早访问的顶点,其邻居优先被选用。
BFS,借助队列Q,来保存已被发现,但尚未访问完毕的顶点。因此,任何顶点在进入该队列的同时,都被随即标记为DISCOVERED(已被发现)的状态。
BFS的每一步迭代,都是先从队列中取出首顶点v,在处理相邻的节点u;最后将顶点v设置为VISITED(访问完毕)。
若顶点u尚处于UNDISCOVERED(未被发现)状态,则令其转换为DISCOVERED状态,并随即加入队列Q中,如每发现的这样的u,那就可以认为v到u可以拓展,那么(v,u)就是一条树边(tree edge)。
如果发现的u为DISCOVERED或者是VISITED的状态,则(v,u)就不属于遍历树,将它归为跨边(cross edge)。
BFS将会到达顶点s所属的连通分量或者可达分量,但在过程中如发现某一顶点尚未发现,则就说明此所属的连通分量或者可达分量为触及,这时候就要从此顶点出发再一次启动BFS,各次BFS调用所得的BFS树构成一个森林,称作BFS森林(BFS forest)。
空间复杂度为
总体的时间复杂度为