在一个未加权的有向图上运行广度优先搜索,其中每个顶点都连接到另一个顶点,从而产生一个前驱图,其中广度优先搜索的源不是它自己的前驱图。以下程序足以产生这种行为:
#include <vector>
#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/breadth_first_search.hpp>
using namespace boost;
using std::vector;
enum family { one, two, N };
typedef adjacency_list< vecS, vecS, directedS> Graph;
typedef graph_traits<Graph>::vertex_descriptor Vertex;
int main() {
Graph g(N);
const char *name[] = { "one", "two" };
add_edge(one, two, g);
add_edge(two, one, g);
vector<Vertex> p(num_vertices(g));
breadth_first_search(g, two, visitor(make_bfs_visitor(
record_predecessors(&p[0],
on_tree_edge()))));
//At this point, p[0] == 1 and p[1] == 0
return 0;
}
这似乎与 Boost Graph Library 文档相矛盾。更重要的是,前驱图应该表示运行图广度优先搜索的生成树,当搜索的源不是它自己的前驱时,情况并非如此。