1 #include <benchmark_tools.h>
2 #include <lemon/circulation.h>
3 #include <lemon/smart_graph.h>
4 #include <lemon/lgf_reader.h>
5 #include <lemon/dimacs.h>
6 #include <lemon/error.h>
9 std::string test_name = "circulation";
11 using namespace lemon;
13 int testMain(std::istream &input)
19 SmartDigraph::ArcMap<Value> lo_cap(g);
20 SmartDigraph::ArcMap<Value> up_cap(g);
21 SmartDigraph::ArcMap<Value> cost(g);
22 SmartDigraph::NodeMap<Value> sup(g);
26 readDimacsMin(input, g, lo_cap, up_cap, cost, sup);
27 } catch (FormatError& error) {
28 std::cerr << error.what() << std::endl;
35 Circulation<SmartDigraph,
36 SmartDigraph::ArcMap<Value>,SmartDigraph::ArcMap<Value>,
37 SmartDigraph::NodeMap<Value> > circ(g,lo_cap,up_cap,sup);
40 bool res = circ.run();
45 std::cerr << "A feasible circulation is found\n";
46 std::cerr << "Checking...\n";
48 bool res2 = circ.checkFlow();
51 std::cerr << "Success!\n";
53 std::cerr << "Oops!!!!\n";
57 std::cerr << "A dual solution is found\n";
58 std::cerr << "Checking...\n";
60 bool res2 = circ.checkBarrier();
63 std::cerr << "Success!\n";
65 std::cerr << "Dual-Oops!!!!\n";