c++ - 更改相邻顶点的值并删除自循环

Question

试着写一个Karger’s algorithm与 boost::图表

示例(第一列为顶点，其他为相邻顶点):

• 1 2 3
• 2 1 3 4
• 3 1 2 4
• 4 2 3

假设我 merge 2比1，我得到结果

• 1 2 3 2 1 1 3 4
• 2 1 3 4
• 3 1 2 4
• 4 2 3

第一个问题:如何更改顶点 1 的相邻顶点(“2”到“1”)？

我天真的解决方案

template<typename Vertex, typename Graph>
void change_adjacent_vertices_value(Vertex input, Vertex value, Graph &g)
{
    for (auto it = boost::adjacent_vertices(input, g);
         it.first != it.second; ++it.first){
        if(*it.first == value){
            *(it.first) = input; //error C2106: '=' : left operand must be l-value
        }
    }
}

显然，我不能通过这种方式将相邻顶点的值设置为“1”

“change_adjacent_vertices_value”后我想要的结果

• 1 1 3 1 1 1 3 4
• 2 1 3 4
• 3 1 2 4
• 4 2 3

第二个问题:如何弹出相邻的顶点？

假设我想从顶点1弹出连续的1 我期待的结果

• 1 1 3 1 3 4
• 2 1 3 4
• 3 1 2 4
• 4 2 3

可以使用像“pop_adjacent_vertex”这样的函数吗？

Answer 1

首先，在大多数情况下，图顶点描述符只是一个整数或指针。这意味着您的代码中的分配不会更改图表。

相反，您应该使用来自可变图概念的 API:http://www.boost.org/doc/libs/1_55_0/libs/graph/doc/MutableGraph.html

在您的情况下，代码可能如下所示:

///adds all edges from src to target and removes the vertex src from the graph
template<typename Vertex, typename Graph>
void merge_vertices(Vertex src, Vertex tgt, Graph &g)
{
    for (auto it = boost::out_edges(src, g);
         it.first != it.second; ++it.first)
    {
        Vertex u = target(*it.first,g);
        add_edge(u,tgt,g); 
        //Note, if edges have properties, you should extract and copy them as well
    }
    clear_vertex(src,g);  //removes all edges to/from "src"
    remove_vertex(src,g); //removes vertex src itself
}

为避免混淆，我建议使用图形，其中在删除边或顶点时顶点和边描述符不会失效。

它导致以下测试示例:

typedef boost::adjacency_list<boost::listS, 
         boost::listS, boost::undirectedS > graph_t;
typedef boost::graph_traits<graph_t>::vertex_descriptor vertex_t;

int main(int, char**)
{
    typedef std::map<vertex_t, size_t> IndexMap;
    IndexMap mapIndex;

    graph_t g;
    vertex_t v0 = add_vertex(g);
    mapIndex[v0]=0;
    vertex_t v1 = add_vertex(g);
    mapIndex[v1]=1;
    vertex_t v2 = add_vertex(g);
    mapIndex[v2]=2;
    vertex_t v3 = add_vertex(g);
    mapIndex[v3]=3;

    add_edge(v0,v2,g);
    add_edge(v1,v3,g);
    add_edge(v1,v0,g);
    std::cout << "Before merging " << std::endl;
    boost::print_graph(g, boost::make_assoc_property_map(mapIndex));

    merge_vertices(v1,v2,g);
    std::cout << "After merging "<< std::endl;

    boost::print_graph(g, boost::make_assoc_property_map(mapIndex));;
}

结果:

Before merging 
0 <--> 2 1 
1 <--> 3 0 
2 <--> 0 
3 <--> 1 
After merging 
0 <--> 2 2 
2 <--> 0 3 0 
3 <--> 2