[英]Computing a dominator graph using Boost's Lengauer Tarjan algorithm and display it using graphviz
[英]Lengauer Tarjan Algorithm in BGL (boost graph library)
我需要为给定的图形创建一个控制树。 我拥有的代码可以编译并运行,没有错误,但是输出看起来与输入完全相同。
我为图表定义了以下类型(待分析)
typedef boost::adjacency_list<boost::listS, boost::vecS,
boost::bidirectionalS, vertex_info, edge_info> Graph;
我想让另一个对象包含相应的支配者树。 我尝试了以下方法:
// dominator tree is an empty Graph object
dominator_tree = trace;
typedef typename boost::graph_traits<Graph>::vertex_descriptor Vertex;
typedef typename boost::property_map<Graph, boost::vertex_index_t>::type IndexMap;
typedef typename boost::iterator_property_map<typename std::vector<Vertex>::iterator, IndexMap> PredMap;
IndexMap indexMap(get(boost::vertex_index, dominator_tree));
std::vector<Vertex> domTreePredVector = std::vector<Vertex>(
num_vertices(dominator_tree),
boost::graph_traits<Graph>::null_vertex());
PredMap domTreePredMap = make_iterator_property_map(
domTreePredVector.begin(), indexMap);
lengauer_tarjan_dominator_tree(dominator_tree, vertex(0, dominator_tree),
domTreePredMap);
当我将dominator_tree的内容输出到.dot文件时,它与trace中的内容完全相同。 即看起来上面最后一行的调用没有更改任何内容。 输入图如下所示: http : //s24.postimg.org/y17l17v5x/image.png
INIT节点是节点0。如果我选择其他任何节点作为该函数的第二个参数,它仍将返回相同的结果。
我究竟做错了什么?? 感谢任何帮助。
看一下文档( http://www.boost.org/doc/libs/1_40_0/libs/graph/doc/lengauer_tarjan_dominator.htm ),我看到第一个参数标记为IN。
这意味着这仅是输入参数。 因此,您不应期望它会被更改!
THIRD参数标记为OUT。 因此,这是将在调用后更改的值。 根据文档:
OUT:DomTreePredMap domTreePredMap父级树,其中父级是每个孩子的直接父级。
因此,如果要更改图形,则必须自己做:删除所有现有边,然后遍历树,按照树指定的方式将边添加到图形中。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.