Question

使用BOOST图库时，我有一个完全初始化的图形实例 - 结构现在是静态的。我需要根据图表进行一些处理。

我不清楚我是否应该使用顶点和边的迭代器类型，或顶点和边类型本身？

typedef boost::adjacency_list<boost::vecS, boost::vecS, boost::bidirectionalS, VertexProperty, EdgeProperty > GraphType;

typedef typename boost::graph_traits< GraphType >::vertex_descriptor VertexType;
typedef typename boost::graph_traits<GraphType>::vertex_iterator VertexIterator;

typedef typename boost::graph_traits< GraphType >::edge_descriptor   EdgeType;
typedef typename boost::graph_traits<GraphType>::out_edge_iterator EdgeIterator;

我有一个算法，我需要检查两条边是否“相同”。（最强烈的意义。假设图形有两个连接E1（S1，T2）和E2（S1，T2）的平行边缘。边缘只能与其中一个边缘“相同”。

(edge_descriptor == edge_descriptor)和(edge_iterator == edge_iterator) 之间的区别是什么？顶点的问题相同。

大多数图形函数返回迭代器而不是边/顶点类型本身。

我还需要存储一组边。 不确定我是否应该存储 EdgeType或EdgeIterator ？

std::vector<EdgeType>  processedEdges;
std::vector<EdgeIterator>  processedEdges;

vit = std::find( processedEdges.begin(), processedEdges.end(), anotherEdgeRef )
if ( vit == processedEdges.end() )
    doSomethingBasedOnEdgeProperty(*vit);

参考： http://www.boost.org/doc/libs/1_64_0/libs/graph/doc/adjacency_list.html

Answer 1

你应该存储描述符，而不是迭代器。

迭代器与逻辑范围有关，而不是图。迭代器在同一图表的不同范围之间可能无效：

auto range1 = out_edges(vertex1, g);
auto range2 = out_edges(vertex2, g);

assert(range1.first != range2.first); // unspecified or undefined

相反，描述符是图表范围的。根据图模型，描述符可能更稳定：如果操作使迭代器无效，则它不一定会使对应于相同图元素的描述符无效。

换句话说，这使描述符更适用于顶点或边缘＆＃34; ID＆＃34; - 或者，如Boost Graph所称，vertex_index或edge_index属性。

我认为这与您的问题非常接近。

有一点需要注意：即便如此，描述符可能并不总是稳定的！

E.g：
adjacency_list<vecS, vecS, directedS>
导致顶点描述符在追加时保持稳定，但不会打开删除。
adjacency_list<setS, listS, directedS>
     另一方面，
导致两者都稳定的顶点描述符   插入和移除。

请参阅文档部分"Iterator and Descriptor Stability/Invalidation"

如果您需要为图元素提供完全稳定的标识，则可能需要添加一个作为（捆绑）属性。

在分析boost :: graph时，是否会对顶点和边描述符或它们的迭代器进行操作？

1 个答案: