marci@423
|
1 |
// -*- c++ -*-
|
marci@423
|
2 |
#ifndef HUGO_DIMACS_H
|
marci@423
|
3 |
#define HUGO_DIMACS_H
|
marci@423
|
4 |
|
marci@423
|
5 |
#include <iostream>
|
marci@423
|
6 |
#include <string>
|
marci@423
|
7 |
#include <vector>
|
ladanyi@542
|
8 |
#include <hugo/maps.h>
|
marci@423
|
9 |
|
jacint@575
|
10 |
/// \ingroup misc
|
klao@442
|
11 |
/// \file
|
klao@442
|
12 |
/// \brief Dimacs file format reader.
|
klao@427
|
13 |
|
marci@423
|
14 |
namespace hugo {
|
marci@423
|
15 |
|
marci@423
|
16 |
|
jacint@575
|
17 |
/// \addtogroup misc
|
jacint@575
|
18 |
/// @{
|
jacint@575
|
19 |
|
jacint@575
|
20 |
/// Dimacs min cost flow reader function.
|
jacint@575
|
21 |
|
jacint@575
|
22 |
/// This function reads a min cost flow instance from dimacs format,
|
jacint@575
|
23 |
/// i.e. from dimacs files having a line starting with \c p \c "min".
|
jacint@575
|
24 |
/// At the beginning \c g is cleared by \c g.clear(). The edge
|
jacint@575
|
25 |
/// capacities are written to \c capacity, \c s and \c t are set to
|
jacint@575
|
26 |
/// the source and the target nodes resp. and the cost of the edges
|
jacint@575
|
27 |
/// are written to \c cost.
|
marci@465
|
28 |
///
|
jacint@575
|
29 |
/// \author Marton Makai
|
jacint@528
|
30 |
template<typename Graph, typename CapacityMap, typename CostMap>
|
jacint@528
|
31 |
void readDimacs(std::istream& is, Graph &g, CapacityMap& capacity,
|
jacint@528
|
32 |
typename Graph::Node &s, typename Graph::Node &t,
|
jacint@528
|
33 |
CostMap& cost) {
|
jacint@528
|
34 |
g.clear();
|
jacint@528
|
35 |
typename CapacityMap::ValueType _cap;
|
jacint@528
|
36 |
typename CostMap::ValueType _cost;
|
jacint@528
|
37 |
char d;
|
jacint@528
|
38 |
std::string problem;
|
jacint@528
|
39 |
char c;
|
jacint@528
|
40 |
int i, j;
|
jacint@528
|
41 |
std::string str;
|
jacint@528
|
42 |
int n, m;
|
jacint@528
|
43 |
typename Graph::Edge e;
|
jacint@528
|
44 |
std::vector<typename Graph::Node> nodes;
|
jacint@528
|
45 |
while (is>>c) {
|
jacint@528
|
46 |
switch (c) {
|
jacint@528
|
47 |
case 'c': //comment
|
jacint@528
|
48 |
getline(is, str);
|
jacint@528
|
49 |
break;
|
jacint@528
|
50 |
case 'p': //problem definition
|
jacint@528
|
51 |
is >> problem >> n >> m;
|
jacint@528
|
52 |
getline(is, str);
|
jacint@528
|
53 |
nodes.resize(n+1);
|
jacint@528
|
54 |
for (int k=1; k<=n; ++k) nodes[k]=g.addNode();
|
jacint@528
|
55 |
break;
|
jacint@528
|
56 |
case 'n': //node definition
|
jacint@528
|
57 |
if (problem=="sp") { //shortest path problem
|
jacint@528
|
58 |
is >> i;
|
jacint@528
|
59 |
getline(is, str);
|
jacint@528
|
60 |
s=nodes[i];
|
jacint@528
|
61 |
}
|
jacint@528
|
62 |
if (problem=="max" || problem=="min") { //((max) or (min cost)) flow problem
|
jacint@528
|
63 |
is >> i >> d;
|
jacint@528
|
64 |
getline(is, str);
|
jacint@528
|
65 |
if (d=='s') s=nodes[i];
|
jacint@528
|
66 |
if (d=='t') t=nodes[i];
|
jacint@528
|
67 |
}
|
jacint@528
|
68 |
break;
|
jacint@528
|
69 |
case 'a':
|
jacint@528
|
70 |
if ( problem == "max" || problem == "sp") {
|
jacint@528
|
71 |
is >> i >> j >> _cap;
|
jacint@528
|
72 |
getline(is, str);
|
jacint@528
|
73 |
e=g.addEdge(nodes[i], nodes[j]);
|
marci@784
|
74 |
//capacity.update();
|
jacint@528
|
75 |
capacity.set(e, _cap);
|
jacint@575
|
76 |
} else {
|
jacint@575
|
77 |
if ( problem == "min" ) {
|
jacint@575
|
78 |
is >> i >> j >> _cap >> _cost;
|
jacint@575
|
79 |
getline(is, str);
|
jacint@575
|
80 |
e=g.addEdge(nodes[i], nodes[j]);
|
marci@784
|
81 |
//capacity.update();
|
jacint@575
|
82 |
capacity.set(e, _cap);
|
marci@784
|
83 |
//cost.update();
|
jacint@575
|
84 |
cost.set(e, _cost);
|
jacint@575
|
85 |
} else {
|
jacint@575
|
86 |
is >> i >> j;
|
jacint@575
|
87 |
getline(is, str);
|
jacint@575
|
88 |
g.addEdge(nodes[i], nodes[j]);
|
jacint@575
|
89 |
}
|
jacint@528
|
90 |
}
|
jacint@528
|
91 |
break;
|
jacint@528
|
92 |
}
|
jacint@528
|
93 |
}
|
jacint@528
|
94 |
}
|
jacint@528
|
95 |
|
jacint@528
|
96 |
|
jacint@575
|
97 |
/// Dimacs max flow reader function.
|
jacint@575
|
98 |
|
jacint@575
|
99 |
/// This function reads a max flow instance from dimacs format,
|
jacint@575
|
100 |
/// i.e. from dimacs files having a line starting with \c p \c
|
jacint@575
|
101 |
/// "max". At the beginning \c g is cleared by \c g.clear(). The
|
jacint@575
|
102 |
/// edge capacities are written to \c capacity and \c s and \c t are
|
jacint@575
|
103 |
/// set to the source and the target nodes.
|
jacint@575
|
104 |
///
|
jacint@575
|
105 |
/// \author Marton Makai
|
jacint@575
|
106 |
template<typename Graph, typename CapacityMap>
|
jacint@575
|
107 |
void readDimacs(std::istream& is, Graph &g, CapacityMap& capacity,
|
jacint@575
|
108 |
typename Graph::Node &s, typename Graph::Node &t) {
|
jacint@575
|
109 |
NullMap<typename Graph::Edge, int> n;
|
jacint@575
|
110 |
readDimacs(is, g, capacity, s, t, n);
|
jacint@575
|
111 |
}
|
jacint@575
|
112 |
|
jacint@575
|
113 |
|
jacint@575
|
114 |
/// Dimacs shortest path reader function.
|
jacint@575
|
115 |
|
jacint@575
|
116 |
/// This function reads a shortest path instance from dimacs format,
|
jacint@575
|
117 |
/// i.e. from dimacs files having a line starting with \c p \c "sp".
|
jacint@575
|
118 |
/// At the beginning \c g is cleared by \c g.clear(). The edge
|
jacint@575
|
119 |
/// capacities are written to \c capacity and \c s is set to the
|
jacint@575
|
120 |
/// source node.
|
jacint@575
|
121 |
///
|
jacint@575
|
122 |
/// \author Marton Makai
|
jacint@575
|
123 |
template<typename Graph, typename CapacityMap>
|
jacint@575
|
124 |
void readDimacs(std::istream& is, Graph &g, CapacityMap& capacity,
|
jacint@575
|
125 |
typename Graph::Node &s) {
|
jacint@575
|
126 |
NullMap<typename Graph::Edge, int> n;
|
jacint@575
|
127 |
readDimacs(is, g, capacity, s, s, n);
|
jacint@575
|
128 |
}
|
jacint@575
|
129 |
|
jacint@575
|
130 |
|
jacint@575
|
131 |
/// Dimacs capacitated graph reader function.
|
jacint@575
|
132 |
|
jacint@575
|
133 |
/// This function reads an edge capacitated graph instance from
|
jacint@575
|
134 |
/// dimacs format. At the beginning \c g is cleared by \c g.clear()
|
jacint@575
|
135 |
/// and the edge capacities are written to \c capacity.
|
jacint@575
|
136 |
///
|
jacint@575
|
137 |
/// \author Marton Makai
|
jacint@575
|
138 |
template<typename Graph, typename CapacityMap>
|
jacint@575
|
139 |
void readDimacs(std::istream& is, Graph &g, CapacityMap& capacity) {
|
jacint@575
|
140 |
typename Graph::Node u;
|
jacint@575
|
141 |
NullMap<typename Graph::Edge, int> n;
|
jacint@575
|
142 |
readDimacs(is, g, capacity, u, u, n);
|
jacint@575
|
143 |
}
|
jacint@575
|
144 |
|
jacint@575
|
145 |
|
jacint@575
|
146 |
/// Dimacs plain graph reader function.
|
jacint@575
|
147 |
|
jacint@575
|
148 |
/// This function reads a graph without any designated nodes and
|
jacint@575
|
149 |
/// maps from dimacs format, i.e. from dimacs files having a line
|
jacint@575
|
150 |
/// starting with \c p \c "mat". At the beginning \c g is cleared
|
jacint@575
|
151 |
/// by \c g.clear().
|
jacint@575
|
152 |
///
|
jacint@575
|
153 |
/// \author Marton Makai
|
jacint@575
|
154 |
template<typename Graph>
|
jacint@575
|
155 |
void readDimacs(std::istream& is, Graph &g) {
|
jacint@575
|
156 |
typename Graph::Node u;
|
jacint@575
|
157 |
NullMap<typename Graph::Edge, int> n;
|
jacint@575
|
158 |
readDimacs(is, g, n, u, u, n);
|
jacint@575
|
159 |
}
|
jacint@575
|
160 |
|
jacint@575
|
161 |
|
jacint@575
|
162 |
|
marci@423
|
163 |
|
jacint@528
|
164 |
/// write matching problem
|
jacint@528
|
165 |
template<typename Graph>
|
jacint@528
|
166 |
void writeDimacs(std::ostream& os, const Graph &g) {
|
jacint@528
|
167 |
typedef typename Graph::NodeIt NodeIt;
|
jacint@528
|
168 |
typedef typename Graph::EdgeIt EdgeIt;
|
jacint@528
|
169 |
|
jacint@528
|
170 |
typename Graph::template NodeMap<int> nodes(g);
|
jacint@528
|
171 |
|
jacint@528
|
172 |
os << "c matching problem" << std::endl;
|
jacint@528
|
173 |
|
jacint@528
|
174 |
int i=1;
|
marci@778
|
175 |
for(NodeIt v(g); v!=INVALID; ++v) {
|
jacint@528
|
176 |
nodes.set(v, i);
|
jacint@528
|
177 |
++i;
|
jacint@528
|
178 |
}
|
jacint@528
|
179 |
|
jacint@528
|
180 |
os << "p mat " << g.nodeNum() << " " << g.edgeNum() << std::endl;
|
jacint@528
|
181 |
|
marci@778
|
182 |
for(EdgeIt e(g); e!=INVALID; ++e) {
|
jacint@528
|
183 |
os << "a " << nodes[g.tail(e)] << " " << nodes[g.head(e)] << std::endl;
|
jacint@528
|
184 |
}
|
jacint@528
|
185 |
|
jacint@528
|
186 |
}
|
jacint@528
|
187 |
|
jacint@528
|
188 |
|
jacint@575
|
189 |
/// @}
|
jacint@528
|
190 |
|
marci@423
|
191 |
} //namespace hugo
|
marci@423
|
192 |
|
marci@423
|
193 |
#endif //HUGO_DIMACS_H
|
jacint@575
|
194 |
|
jacint@575
|
195 |
// template<typename Graph, typename CapacityMap>
|
jacint@575
|
196 |
// void readDimacsMaxFlow(std::istream& is, Graph &g,
|
jacint@575
|
197 |
// typename Graph::Node &s, typename Graph::Node &t, CapacityMap& capacity) {
|
jacint@575
|
198 |
// g.clear();
|
jacint@575
|
199 |
// int cap;
|
jacint@575
|
200 |
// char d;
|
jacint@575
|
201 |
// std::string problem;
|
jacint@575
|
202 |
// char c;
|
jacint@575
|
203 |
// int i, j;
|
jacint@575
|
204 |
// std::string str;
|
jacint@575
|
205 |
// int n, m;
|
jacint@575
|
206 |
// typename Graph::Edge e;
|
jacint@575
|
207 |
// std::vector<typename Graph::Node> nodes;
|
jacint@575
|
208 |
// while (is>>c) {
|
jacint@575
|
209 |
// switch (c) {
|
jacint@575
|
210 |
// case 'c': //comment
|
jacint@575
|
211 |
// getline(is, str);
|
jacint@575
|
212 |
// break;
|
jacint@575
|
213 |
// case 'p': //problem definition
|
jacint@575
|
214 |
// is >> problem >> n >> m;
|
jacint@575
|
215 |
// getline(is, str);
|
jacint@575
|
216 |
// nodes.resize(n+1);
|
jacint@575
|
217 |
// for (int k=1; k<=n; ++k) nodes[k]=g.addNode();
|
jacint@575
|
218 |
// break;
|
jacint@575
|
219 |
// case 'n': //node definition
|
jacint@575
|
220 |
// if (problem=="sp") { //shortest path problem
|
jacint@575
|
221 |
// is >> i;
|
jacint@575
|
222 |
// getline(is, str);
|
jacint@575
|
223 |
// s=nodes[i];
|
jacint@575
|
224 |
// }
|
jacint@575
|
225 |
// if (problem=="max") { //max flow problem
|
jacint@575
|
226 |
// is >> i >> d;
|
jacint@575
|
227 |
// getline(is, str);
|
jacint@575
|
228 |
// if (d=='s') s=nodes[i];
|
jacint@575
|
229 |
// if (d=='t') t=nodes[i];
|
jacint@575
|
230 |
// }
|
jacint@575
|
231 |
// break;
|
jacint@575
|
232 |
// case 'a':
|
jacint@575
|
233 |
// is >> i >> j >> cap;
|
jacint@575
|
234 |
// getline(is, str);
|
jacint@575
|
235 |
// e=g.addEdge(nodes[i], nodes[j]);
|
jacint@575
|
236 |
// capacity.update();
|
jacint@575
|
237 |
// capacity.set(e, cap);
|
jacint@575
|
238 |
// break;
|
jacint@575
|
239 |
// }
|
jacint@575
|
240 |
// }
|
jacint@575
|
241 |
// }
|