$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
From: Loïc Joly (loic.joly_at_[hidden])
Date: 2006-07-24 09:57:10
Hello,
There is a bug in the boost graph library in depth_first_search. When we
look at the implementation, we can see in file
boost/graph/depth_first_search.hpp):
detail::dfs_dispatch<C>::apply
(g,
choose_param(get_param(params, graph_visitor),
make_dfs_visitor(null_visitor())),
choose_param(get_param(params, root_vertex_t()),
*vertices(g).first),
params,
get_param(params, vertex_color)
);
This code makes the assumption the the graph is non-empty, since it
calls *vertices(g).first. For empty graphs, this call fails.
Best regards,
-- Loïc