3

Boost-graph ライブラリのアルゴリズムで、バンドルされたプロパティで名前付きパラメータを使用しようとしています。edmonds_karp_max_flow

私の問題を示すために、既存のedmonds-karp の例を取り上げ、Internal プロパティを Bundled プロパティ (私は my properties edge_tand と呼びますnode_t) に変更し、Named パラメータを Non-named パラメータに変更しました。

正常にコンパイルされる名前のないパラメーターのバージョンは次のとおりです。

// The "non-named parameters version" (works fine)
edmonds_karp_max_flow(g, s, t,capacity,residual_capacity,rev,col,pred);

これは、コンパイルされず、多くのテンプレート エラーをトリガーする名前付きパラメーター バージョンです。

// The "named parameters version" (produces errors)
flow = edmonds_karp_max_flow(g, s, t,
            capacity_map(capacity)
            .residual_capacity_map(residual_capacity)
            .reverse_edge_map(rev)
            .color_map(col)
            .predecessor_map(pred));

完全なedmonds-karp-eg_modified.cppソース:

#include <boost/config.hpp>
#include <iostream>
#include <string>
#include <boost/graph/edmonds_karp_max_flow.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/read_dimacs.hpp>
#include <boost/graph/graph_utility.hpp>
using namespace boost;

typedef adjacency_list_traits<vecS,vecS,directedS> traits;
struct edge_t {
    double capacity;
    float cost;
    float residual_capacity;
    traits::edge_descriptor reversed_edge;
};
struct node_t {
    std::string name;
    boost::default_color_type color;
    traits::edge_descriptor predecessor;
};

typedef adjacency_list < listS, vecS, directedS, node_t, edge_t > Graph;
int main()
{
    Graph g;
    property_map < Graph, double edge_t::* >::type capacity = get(&edge_t::capacity, g);
    property_map < Graph, float edge_t::* >::type cost = get(&edge_t::cost, g);
    property_map < Graph, float edge_t::* >::type residual_capacity = get(&edge_t::residual_capacity, g);
    property_map < Graph, traits::edge_descriptor edge_t::* >::type rev = get(&edge_t::reversed_edge, g);

    property_map < Graph, std::string node_t::* >::type name = get(&node_t::name, g);
    property_map < Graph, boost::default_color_type node_t::* >::type col = get(&node_t::color, g);
    property_map < Graph, traits::edge_descriptor node_t::* >::type pred = get(&node_t::predecessor, g);

    traits::vertex_descriptor s, t;

    read_dimacs_max_flow(g, capacity, rev, s, t);

    long flow;
    // XXX The "non-named parameters version" (works fine)
    // flow = edmonds_karp_max_flow(g, s, t,capacity,residual_capacity,rev,col,pred);
    // XXX The "named parameters version" (produces errors)
    flow = edmonds_karp_max_flow(g, s, t,
            capacity_map(capacity)
            .residual_capacity_map(residual_capacity)
            .reverse_edge_map(rev)
            .color_map(col)
            .predecessor_map(pred));

    std::cout << "c  The total flow:" << std::endl;
    std::cout << "s " << flow << std::endl << std::endl;

    std::cout << "c flow values:" << std::endl;
    graph_traits < Graph >::vertex_iterator u_iter, u_end;
    graph_traits < Graph >::out_edge_iterator ei, e_end;
    for (boost::tie(u_iter, u_end) = vertices(g); u_iter != u_end; ++u_iter)
        for (boost::tie(ei, e_end) = out_edges(*u_iter, g); ei != e_end; ++ei)
            if (capacity[*ei] > 0)
                std::cout << "a " << *u_iter << " " << target(*ei, g) << " "
                << (capacity[*ei] - residual_capacity[*ei]) << std::endl;

    return EXIT_SUCCESS;
}

返されるエラーは次のとおりです: http://pastebin.com/Vra8ZWHG。

名前のないパラメーターでは正常に機能します...しかし、名前付きパラメーターでは機能しません。

更新:誰かがまったく同じ問題を抱えているようです: svn.boost.org/trac/boost/ticket/8791。Boost 1.50彼は代わりにを使用して修正しました1.55。

  • ブーストグラフのバージョン: 1.58.0
  • コンパイラ: g++ 5.0
4

1 に答える 1

2

グラフのバグのようです。named_function_params.hpp の 326 行目に、get_param_type への引数が逆順になっています。これを変更すると、コンパイルされます。

名前付きパラメーターを使用した Edmonds-Karp のテスト ケースはないようで、明らかに存在する必要があります...

于 2015-06-04T04:43:32.250 に答える