【发布时间】:2018-07-10 11:17:21
【问题描述】:
在无向 BGL 图中:我能否获取边 (u,v) == (v,u) 最初添加为 (u,v) 还是 (v,u) 的信息?
背景:
我使用内部使用 Boost Graph Library (BGL) 的 Python 图形工具库创建了一个图形。
每条边都有一个指向边的源和目标的“定向属性”:(source_range, target_range)。
我想执行无向深度优先搜索来查找两个节点之间的所有路径。我使用图形工具 get_all_paths() 作为基础。我改变了底层的 BGL 实现,使图的遍历取决于“有向属性”。我让它适用于定向案例。但是,当我将图形切换为无向时,我遇到的问题是我不知道边的初始方向。因此我不知道边缘属性的顺序:
(source_range, target_range) 与 (target_range, source_range)
这是我的 DFS 代码,带有提到的停止标准(// Check overlap 部分):
template <class Graph, class Yield, class VMap, class EMap>
void get_all_paths(size_t s, size_t t, size_t cutoff, VMap visited,
EMap startend, Yield& yield, Graph& g)
{
typedef typename graph_traits<Graph>::out_edge_iterator eiter_t;
typedef std::pair<eiter_t, eiter_t> item_t;
visited[s] = true; // set visited true for source node
// could also use refrences to startend property map here. meh...
uint8_t t_start_e1, t_end_e1, q_start_e1, q_end_e1;
uint8_t q_start_e2, q_end_e2, t_start_e2, t_end_e2;
int32_t startend_e1;
int32_t startend_e2;
typedef typename property_map<Graph, vertex_index_t>::type IndexMap;
IndexMap index = get(vertex_index, g);
vector<size_t> vs = {s}; // vector of indexes
vector<item_t> stack = {out_edges(s, g)}; // vector of edge_iterator pairs
while (!stack.empty())
{
std::cout << "Stack before check overlap: ";
for (uint8_t i=0; i<stack.size(); i++) {
std::cout << " (" << source(*stack[i].first, g) << "," << target(*stack[i].first, g) << ") ";
}
std::cout << "\n";
auto& pos = stack.back(); // last element in eiter vector
// End of path because of self loop or cutoff is reached
if (pos.first == pos.second || stack.size() > cutoff)
{
visited[vs.back()] = false; // revoke visited flag for last node
vs.pop_back();
stack.pop_back();
if (!stack.empty())
++stack.back().first; // increment first iterator
continue;
}
// Check overlap
if (stack.size() > 1)
{
auto& pos_prev = *(stack.rbegin() + 1); // second last eiter
startend_e1 = startend[*pos_prev.first];
startend_e2 = startend[*pos.first];
std::cout << "Checking Edges: (" << source(*pos_prev.first, g) << "," << target(*pos_prev.first, g) << ")";
std::cout << " (" << source(*pos.first, g) << "," << target(*pos.first, g) << "):";
// take apart 2x int32_t to 8x int8_t (memory optimization)
// Undirected case:If the edge was added
// as (u,v) and (v,u) was detected
// I need to swap q(uery) and t(arget) values here.
// --> How can I detect if (u,v) was initially added as (u,v)
// or (v, u)
q_start_e1 = startend_e1 & 0xFF;
q_end_e1 = (startend_e1 >> 8) & 0xFF;
t_start_e1 = (startend_e1 >> 16) & 0xFF;
t_end_e1 = (startend_e1 >> 24) & 0xFF;
q_start_e2 = startend_e2 & 0xFF;
q_end_e2 = (startend_e2 >> 8) & 0xFF;
t_start_e2 = (startend_e2 >> 16) & 0xFF;
t_end_e2 = (startend_e2 >> 24) & 0xFF;
if ((min(t_end_e1, q_end_e2) - max(t_start_e1, q_start_e2)) < 1)
{
std::cout << "Failed\n";
++pos.first;
std::cout << "Stack after check overlap: ";
for (uint8_t i=0; i<stack.size(); i++) {
std::cout << "(" << source(*stack[i].first, g) << "," << target(*stack[i].first, g) << ") ";
}
std::cout << "\n";
continue;
}
std::cout << "Passed\n";
}
auto v = target(*pos.first, g); // get target vertex
// reached target node
if (v == t)
{
vector<size_t> path = {s}; // path vector
for (auto& ei : stack)
path.push_back(target(*ei.first, g));
yield(wrap_vector_owned<size_t>(path)); // yield path
++pos.first; // increment eiter
}
else
{
//check if node was visited
if (!visited[v]) //not visited
{
visited[v] = true;
vs.push_back(v);
stack.push_back(out_edges(v, g));
}
else // visited
{
++pos.first;
}
}
}
};
感谢您的帮助!
更新:
我想出了以下解决方法来解决我的问题。我有边缘(u,v) 的边缘属性(some_val_ref_u, some_val_ref_v)。在无向图中,边(v,u) 仍将具有边属性(some_val_ref_u, some_val_ref_v)。因此,我会将some_val_ref_u 分配给v,将some_val_ref_v 分配给u,这是不正确的。在处理“反向边缘”时,我必须考虑顺序。
我想出的解决方案是在创建图形时根据v 和u 的边缘索引动态设置顺序。
if edge_index[v] < edge_index[u]:
g.ep.myattr[g.edge(v,u)] = (some_val_ref_v, some_val_ref_u)
else:
g.ep.myattr[g.edge(v,u)] = (some_val_ref_u, some_val_ref_v)
所以边属性元组的顺序取决于哪个边索引更小。因此,在遍历图形时,我可以通过比较顶点索引来决定边缘属性的顺序。
这并不能直接回答我的问题,但希望能解决我的问题。
【问题讨论】:
-
"我能否获取边 (u,v) == (v,u) 最初添加为 (u,v) 还是 (v,u) 的信息?”。简短的回答:没有。但也许您可以在边缘添加一个属性来保存该信息?
-
嗨!感谢您的回答!是的,我想过。但是我认为我的内存限制不允许这样做。我的图有 18 亿条边,目前使用约 100G。我的内存限制在 125G。 graph_tool 允许在 O(1) 中动态设置无向和有向图。这就是为什么我认为信息仍必须存储在某个地方的原因。难道没有办法从邻接表中推导出来吗?
-
如果要执行无向 DFS,为什么要关心边缘方向?
-
@TiagoPeixoto:因为我有指向源和目标顶点的边属性。但是在无向图中,源和目标没有定义:(u,v) = (v,u)。因此,要正确解释属性,我需要知道最初是如何添加边缘的:(u,v) 或 (v,u)
标签: boost graph graph-tool