如何在不重新索引顶点的情况下调用 "boost::remove_vertex"？

Question

我注意到，如果我调用 boost::remove_vertex，顶点会重新索引，从零开始。

例如：

#include <boost/graph/adjacency_list.hpp>
#include <utility>
#include <algorithm>
#include <iterator>
#include <iostream>

int main()
{
  boost::adjacency_list<> g;

  boost::add_vertex(g);
  boost::add_vertex(g);
  boost::add_vertex(g);
  boost::add_vertex(g);

  boost::remove_vertex(0, g); // remove vertex 0

  std::pair<boost::adjacency_list<>::vertex_iterator,
            boost::adjacency_list<>::vertex_iterator> vs = boost::vertices(g);

  std::copy(vs.first, vs.second,
            std::ostream_iterator<boost::adjacency_list<>::vertex_descriptor>{
              std::cout, "\n"
                });
  // expects: 1, 2 and 3
  // actual: 0, 1 and 2, I suspect re-indexing happened.
}

我想知道如何使上面的代码输出 1、2 和 3？

Answer 1

顶点索引失效的原因是adjacency_list模板的顶点容器选择器(VertexListS)的默认值。

  template <class OutEdgeListS = vecS,
        class VertexListS = vecS,
        class DirectedS = directedS,
        ...
  class adjacency_list {};

当您为 adjacency_list 调用 remove_vertex 时，其中 VertexListS 作为 vecS 图形的所有迭代器和描述符都将失效。

为避免使描述符无效，您可以使用 listS 而不是 vecS 作为 VertexListS。如果您使用 listS，您将不会得到隐含的 vertex_index，因为描述符不是合适的整数类型。而对于 listS，您将使用不透明的顶点描述符类型（该实现可以转换回列表元素引用或迭代器）。

这就是为什么您应该使用 vertex_descriptor 来引用顶点。所以你可以写

 typedef boost::adjacency_list<boost::vecS,boost::listS> graph;
 graph g;

 graph::vertex_descriptor desc1 = boost::add_vertex(g);
 boost::add_vertex(g);
 boost::add_vertex(g);
 boost::add_vertex(g);

 boost::remove_vertex(desc1, g);

 std::pair<graph::vertex_iterator,
        graph::vertex_iterator> vs = boost::vertices(g);

 std::copy(vs.first, vs.second,
        std::ostream_iterator<graph::vertex_descriptor>{
          std::cout, "\n"
            });

如何在不重新索引顶点的情况下调用 "boost::remove_vertex"？

how to call "boost::remove_vertex" without re-indexing the vertices?

c++

boost

boost-graph