0
3
0
... | ... |
@@ -1149,2 +1149,3 @@ |
1149 | 1149 |
typedef ConstMap<Arc, Flow> ConstArcMap; |
1150 |
ConstArcMap zero_arc_map(0), inf_arc_map(inf_cap); |
|
1150 | 1151 |
FlowNodeMap *csup = NULL; |
... | ... |
@@ -1169,3 +1170,3 @@ |
1169 | 1170 |
Circulation<GR, FlowArcMap, ConstArcMap, FlowNodeMap> |
1170 |
circ(_graph, *_plower, |
|
1171 |
circ(_graph, *_plower, inf_arc_map, *csup); |
|
1171 | 1172 |
circ_result = circ.run(); |
... | ... |
@@ -1175,3 +1176,3 @@ |
1175 | 1176 |
Circulation<GR, ConstArcMap, FlowArcMap, FlowNodeMap> |
1176 |
circ(_graph, |
|
1177 |
circ(_graph, zero_arc_map, *_pupper, *csup); |
|
1177 | 1178 |
circ_result = circ.run(); |
... | ... |
@@ -1179,3 +1180,3 @@ |
1179 | 1180 |
Circulation<GR, ConstArcMap, ConstArcMap, FlowNodeMap> |
1180 |
circ(_graph, |
|
1181 |
circ(_graph, zero_arc_map, inf_arc_map, *csup); |
|
1181 | 1182 |
circ_result = circ.run(); |
... | ... |
@@ -1196,3 +1197,3 @@ |
1196 | 1197 |
Circulation<RevGraph, FlowArcMap, ConstArcMap, NegNodeMap> |
1197 |
circ(rgraph, *_plower, |
|
1198 |
circ(rgraph, *_plower, inf_arc_map, neg_csup); |
|
1198 | 1199 |
circ_result = circ.run(); |
... | ... |
@@ -1202,3 +1203,3 @@ |
1202 | 1203 |
Circulation<RevGraph, ConstArcMap, FlowArcMap, NegNodeMap> |
1203 |
circ(rgraph, |
|
1204 |
circ(rgraph, zero_arc_map, *_pupper, neg_csup); |
|
1204 | 1205 |
circ_result = circ.run(); |
... | ... |
@@ -1206,3 +1207,3 @@ |
1206 | 1207 |
Circulation<RevGraph, ConstArcMap, ConstArcMap, NegNodeMap> |
1207 |
circ(rgraph, |
|
1208 |
circ(rgraph, zero_arc_map, inf_arc_map, neg_csup); |
|
1208 | 1209 |
circ_result = circ.run(); |
... | ... |
@@ -235,8 +235,3 @@ |
235 | 235 |
typedef int Cost; |
236 |
// TODO: This typedef should be enabled if the standard maps are |
|
237 |
// reference maps in the graph concepts (See #190). |
|
238 |
/**/ |
|
239 |
//typedef concepts::Digraph GR; |
|
240 |
typedef ListDigraph GR; |
|
241 |
/**/ |
|
236 |
typedef concepts::Digraph GR; |
|
242 | 237 |
checkConcept< McfClassConcept<GR, Flow, Cost>, |
... | ... |
@@ -95,3 +95,3 @@ |
95 | 95 |
void solve_min(ArgParser &ap, std::istream &is, std::ostream &, |
96 |
DimacsDescriptor &desc) |
|
96 |
Value infty, DimacsDescriptor &desc) |
|
97 | 97 |
{ |
... | ... |
@@ -102,5 +102,19 @@ |
102 | 102 |
Timer ti; |
103 |
|
|
103 | 104 |
ti.restart(); |
104 |
readDimacsMin(is, g, lower, cap, cost, sup, |
|
105 |
readDimacsMin(is, g, lower, cap, cost, sup, infty, desc); |
|
106 |
ti.stop(); |
|
107 |
Value sum_sup = 0; |
|
108 |
for (Digraph::NodeIt n(g); n != INVALID; ++n) { |
|
109 |
sum_sup += sup[n]; |
|
110 |
} |
|
111 |
if (report) { |
|
112 |
std::cerr << "Sum of supply values: " << sum_sup << "\n"; |
|
113 |
if (sum_sup <= 0) |
|
114 |
std::cerr << "GEQ supply contraints are used for NetworkSimplex\n\n"; |
|
115 |
else |
|
116 |
std::cerr << "LEQ supply contraints are used for NetworkSimplex\n\n"; |
|
117 |
} |
|
105 | 118 |
if (report) std::cerr << "Read the file: " << ti << '\n'; |
119 |
|
|
106 | 120 |
ti.restart(); |
... | ... |
@@ -108,7 +122,11 @@ |
108 | 122 |
ns.lowerMap(lower).capacityMap(cap).costMap(cost).supplyMap(sup); |
123 |
if (sum_sup > 0) ns.problemType(ns.LEQ); |
|
109 | 124 |
if (report) std::cerr << "Setup NetworkSimplex class: " << ti << '\n'; |
110 | 125 |
ti.restart(); |
111 |
ns.run(); |
|
112 |
if (report) std::cerr << "Run NetworkSimplex: " << ti << '\n'; |
|
113 |
|
|
126 |
bool res = ns.run(); |
|
127 |
if (report) { |
|
128 |
std::cerr << "Run NetworkSimplex: " << ti << "\n\n"; |
|
129 |
std::cerr << "Feasible flow: " << (res ? "found" : "not found") << '\n'; |
|
130 |
if (res) std::cerr << "Min flow cost: " << ns.totalCost() << '\n'; |
|
131 |
} |
|
114 | 132 |
} |
... | ... |
@@ -153,3 +171,3 @@ |
153 | 171 |
case DimacsDescriptor::MIN: |
154 |
solve_min<Value>(ap,is,os,desc); |
|
172 |
solve_min<Value>(ap,is,os,infty,desc); |
|
155 | 173 |
break; |
0 comments (0 inline)