[英]Computing a dominator graph using Boost's Lengauer Tarjan algorithm and display it using graphviz
如果我違反了規則,首先讓我道歉,因為我知道我的問題已經在這里以修改的方式提出: Lengauer Tarjan Algorithm in BGL (boost graph library) 。 但是,我(仍然)無法使用答案來正確顯示結果。
更准確地說:我按照鏈接的答案成功地將 Lengauer-Tarjan 算法應用於我的圖表(為方便起見,這是 Boost 文檔的一部分: http : //www.boost.org/doc/libs/1_55_0/libs /graph/test/dominator_tree_test.cpp )。 現在,如果正確理解代碼,關於支配樹的相關信息存儲在 domTreePredMap 中,它是 PredMap 類型:
const int numOfVertices = testSet[i].numOfVertices;
//See example for test_sets - it just the same routine
G g(
testSet[i].edges.begin(), testSet[i].edges.end(),
numOfVertices);
typedef graph_traits<G>::vertex_descriptor Vertex;
typedef property_map<G, vertex_index_t>::type IndexMap;
typedef
iterator_property_map<vector<Vertex>::iterator, IndexMap>
PredMap;
vector<Vertex> domTreePredVector, domTreePredVector2;
IndexMap indexMap(get(vertex_index, g));
graph_traits<G>::vertex_iterator uItr, uEnd;
int j = 0;
for (tie(uItr, uEnd) = vertices(g); uItr != uEnd; ++uItr, ++j)
{
put(indexMap, *uItr, j);
}
// Lengauer-Tarjan dominator tree algorithm
domTreePredVector =
vector<Vertex>(num_vertices(g), graph_traits<G>::null_vertex());
PredMap domTreePredMap =
make_iterator_property_map(domTreePredVector.begin(), indexMap);
lengauer_tarjan_dominator_tree(g, vertex(0, g), domTreePredMap);`
對我來說,Boost 的主要優點之一是可以使用帶有 write_graphviz(cout, g) 的 graphviz 自動生成圖形輸出,其中 g 是來自 typedef G 的圖形:
typedef adjacency_list<
listS,
listS,
bidirectionalS,
property<vertex_index_t, std::size_t>, no_property> G;
但是,我無法將 DomTreePredMap 轉換為 write_graphviz(cout, X) 可以理解的內容。 我感謝任何概述如何從 domTreePredMap 構建圖形的幫助,該圖形可以使用 graphviz 打印。
感謝大家閱讀所有這些並幫助我。
很抱歉打擾您 - 我設法自己在 boost 紀錄片中找到了答案:
這是一個最小的工作示例來說明我的問題。 基本上我想計算圖(左邊一個)及其支配樹(右邊),如下所示: http : //www.boost.org/doc/libs/1_40_0/libs/graph/doc/lengauer_tarjan_dominator.htm #fig:dominator-tree-example並使用 graphviz 打印兩個圖。
按照這個例子,我已經設法計算和打印原始圖形並在其上執行 Lengauer-Tarjan 算法。 支配樹的信息存儲在 DomPredMap 中,可以復制到整數向量中。 在向量 idom 的位置 i 存儲節點 i 的父節點的 id。 如果不存在父節點,則存儲 max_int。 此信息可用於將 idom[i] 到 i 的邊添加到最終可以構建圖 g2 的 testSet。 感謝您的所有幫助和耐心。
#include <iostream>
#include <boost/graph/graphviz.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/dominator_tree.hpp>
#include <algorithm>
#include <fstream>
#include <cstdlib>
#include <string>
#include <sstream>
#include <vector>
using namespace std;
struct DominatorCorrectnessTestSet
{
typedef pair<int, int> edge;
int numOfVertices;
vector<edge> edges;
vector<int> correctIdoms;
};
using namespace boost;
typedef adjacency_list<
listS,
listS,
bidirectionalS,
property<vertex_index_t, std::size_t>, no_property> G;
int main(int, char*[])
{
typedef DominatorCorrectnessTestSet::edge edge;
DominatorCorrectnessTestSet testSet[1];
testSet[0].numOfVertices = 8, //Orignal problem see left hand side
testSet[0].edges.push_back(edge(0, 1));
testSet[0].edges.push_back(edge(1, 2));
testSet[0].edges.push_back(edge(1, 3));
testSet[0].edges.push_back(edge(2, 7));
testSet[0].edges.push_back(edge(3, 4));
testSet[0].edges.push_back(edge(4, 5));
testSet[0].edges.push_back(edge(4, 6));
testSet[0].edges.push_back(edge(5, 7));
testSet[0].edges.push_back(edge(6, 4));
testSet[1].numOfVertices = 8; //Used to create Dominator Tree
const int numOfVertices = testSet[0].numOfVertices;
G g(
testSet[0].edges.begin(), testSet[0].edges.end(),
numOfVertices);
typedef graph_traits<G>::vertex_descriptor Vertex;
typedef property_map<G, vertex_index_t>::type IndexMap;
typedef
iterator_property_map<vector<Vertex>::iterator, IndexMap>
PredMap;
vector<Vertex> domTreePredVector, domTreePredVector2;
IndexMap indexMap(get(vertex_index, g));
graph_traits<G>::vertex_iterator uItr, uEnd;
int j = 0;
for (tie(uItr, uEnd) = vertices(g); uItr != uEnd; ++uItr, ++j)
{
put(indexMap, *uItr, j);
}
write_graphviz(cout, g);
// Lengauer-Tarjan dominator tree algorithm
domTreePredVector =
vector<Vertex>(num_vertices(g), graph_traits<G>::null_vertex());
PredMap domTreePredMap =
make_iterator_property_map(domTreePredVector.begin(), indexMap);
lengauer_tarjan_dominator_tree(g, vertex(0, g), domTreePredMap);
vector<int> idom(num_vertices(g));
for (tie(uItr, uEnd) = vertices(g); uItr != uEnd; ++uItr)
{
if (get(domTreePredMap, *uItr) != graph_traits<G>::null_vertex())
idom[get(indexMap, *uItr)] =
get(indexMap, get(domTreePredMap, *uItr));
else
idom[get(indexMap, *uItr)] = (numeric_limits<int>::max)();
}
for (int k =0; k <idom.size();k++){
if (k>0){
cout << idom[k] << " nach " << k << endl;
int t= idom[k];
testSet[1].edges.push_back(edge(t, k));
}
}
G g2(testSet[1].edges.begin(), testSet[1].edges.end(),8);
int jj=0;
for (tie(uItr, uEnd) = vertices(g2); uItr != uEnd; ++uItr, ++jj)
{
put(indexMap, *uItr, jj);
}
write_graphviz(cout, g2);
cout << endl;
return 0;
}
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.