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)