[9] | 1 | /* glpnet05.c (Goldfarb's maximum flow problem generator) */ |
---|
| 2 | |
---|
| 3 | /*********************************************************************** |
---|
| 4 | * This code is part of GLPK (GNU Linear Programming Kit). |
---|
| 5 | * |
---|
| 6 | * This code is a modified version of the program RMFGEN, a maxflow |
---|
| 7 | * problem generator developed by D.Goldfarb and M.Grigoriadis, and |
---|
| 8 | * originally implemented by Tamas Badics <badics@rutcor.rutgers.edu>. |
---|
| 9 | * The original code is publically available on the DIMACS ftp site at: |
---|
| 10 | * <ftp://dimacs.rutgers.edu/pub/netflow/generators/network/genrmf>. |
---|
| 11 | * |
---|
| 12 | * All changes concern only the program interface, so this modified |
---|
| 13 | * version produces exactly the same instances as the original version. |
---|
| 14 | * |
---|
| 15 | * Changes were made by Andrew Makhorin <mao@gnu.org>. |
---|
| 16 | * |
---|
| 17 | * GLPK is free software: you can redistribute it and/or modify it |
---|
| 18 | * under the terms of the GNU General Public License as published by |
---|
| 19 | * the Free Software Foundation, either version 3 of the License, or |
---|
| 20 | * (at your option) any later version. |
---|
| 21 | * |
---|
| 22 | * GLPK is distributed in the hope that it will be useful, but WITHOUT |
---|
| 23 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY |
---|
| 24 | * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public |
---|
| 25 | * License for more details. |
---|
| 26 | * |
---|
| 27 | * You should have received a copy of the GNU General Public License |
---|
| 28 | * along with GLPK. If not, see <http://www.gnu.org/licenses/>. |
---|
| 29 | ***********************************************************************/ |
---|
| 30 | |
---|
| 31 | #include "glpapi.h" |
---|
| 32 | #include "glprng.h" |
---|
| 33 | |
---|
| 34 | /*********************************************************************** |
---|
| 35 | * NAME |
---|
| 36 | * |
---|
| 37 | * glp_rmfgen - Goldfarb's maximum flow problem generator |
---|
| 38 | * |
---|
| 39 | * SYNOPSIS |
---|
| 40 | * |
---|
| 41 | * int glp_rmfgen(glp_graph *G, int *s, int *t, int a_cap, |
---|
| 42 | * const int parm[1+5]); |
---|
| 43 | * |
---|
| 44 | * DESCRIPTION |
---|
| 45 | * |
---|
| 46 | * The routine glp_rmfgen is a maximum flow problem generator developed |
---|
| 47 | * by D.Goldfarb and M.Grigoriadis. |
---|
| 48 | * |
---|
| 49 | * The parameter G specifies the graph object, to which the generated |
---|
| 50 | * problem data have to be stored. Note that on entry the graph object |
---|
| 51 | * is erased with the routine glp_erase_graph. |
---|
| 52 | * |
---|
| 53 | * The pointer s specifies a location, to which the routine stores the |
---|
| 54 | * source node number. If s is NULL, the node number is not stored. |
---|
| 55 | * |
---|
| 56 | * The pointer t specifies a location, to which the routine stores the |
---|
| 57 | * sink node number. If t is NULL, the node number is not stored. |
---|
| 58 | * |
---|
| 59 | * The parameter a_cap specifies an offset of the field of type double |
---|
| 60 | * in the arc data block, to which the routine stores the arc capacity. |
---|
| 61 | * If a_cap < 0, the capacity is not stored. |
---|
| 62 | * |
---|
| 63 | * The array parm contains description of the network to be generated: |
---|
| 64 | * |
---|
| 65 | * parm[0] not used |
---|
| 66 | * parm[1] (seed) random number seed (a positive integer) |
---|
| 67 | * parm[2] (a) frame size |
---|
| 68 | * parm[3] (b) depth |
---|
| 69 | * parm[4] (c1) minimal arc capacity |
---|
| 70 | * parm[5] (c2) maximal arc capacity |
---|
| 71 | * |
---|
| 72 | * RETURNS |
---|
| 73 | * |
---|
| 74 | * If the instance was successfully generated, the routine glp_netgen |
---|
| 75 | * returns zero; otherwise, if specified parameters are inconsistent, |
---|
| 76 | * the routine returns a non-zero error code. |
---|
| 77 | * |
---|
| 78 | * COMMENTS |
---|
| 79 | * |
---|
| 80 | * The generated network is as follows. It has b pieces of frames of |
---|
| 81 | * size a * a. (So alltogether the number of vertices is a * a * b) |
---|
| 82 | * |
---|
| 83 | * In each frame all the vertices are connected with their neighbours |
---|
| 84 | * (forth and back). In addition the vertices of a frame are connected |
---|
| 85 | * one to one with the vertices of next frame using a random permutation |
---|
| 86 | * of those vertices. |
---|
| 87 | * |
---|
| 88 | * The source is the lower left vertex of the first frame, the sink is |
---|
| 89 | * the upper right vertex of the b'th frame. |
---|
| 90 | * |
---|
| 91 | * t |
---|
| 92 | * +-------+ |
---|
| 93 | * | .| |
---|
| 94 | * | . | |
---|
| 95 | * / | / | |
---|
| 96 | * +-------+/ -+ b |
---|
| 97 | * | | |/. |
---|
| 98 | * a | -v- |/ |
---|
| 99 | * | | |/ |
---|
| 100 | * +-------+ 1 |
---|
| 101 | * s a |
---|
| 102 | * |
---|
| 103 | * The capacities are randomly chosen integers from the range of [c1,c2] |
---|
| 104 | * in the case of interconnecting edges, and c2 * a * a for the in-frame |
---|
| 105 | * edges. |
---|
| 106 | * |
---|
| 107 | * REFERENCES |
---|
| 108 | * |
---|
| 109 | * D.Goldfarb and M.D.Grigoriadis, "A computational comparison of the |
---|
| 110 | * Dinic and network simplex methods for maximum flow." Annals of Op. |
---|
| 111 | * Res. 13 (1988), pp. 83-123. |
---|
| 112 | * |
---|
| 113 | * U.Derigs and W.Meier, "Implementing Goldberg's max-flow algorithm: |
---|
| 114 | * A computational investigation." Zeitschrift fuer Operations Research |
---|
| 115 | * 33 (1989), pp. 383-403. */ |
---|
| 116 | |
---|
| 117 | typedef struct VERTEX |
---|
| 118 | { struct EDGE **edgelist; |
---|
| 119 | /* Pointer to the list of pointers to the adjacent edges. |
---|
| 120 | (No matter that to or from edges) */ |
---|
| 121 | struct EDGE **current; |
---|
| 122 | /* Pointer to the current edge */ |
---|
| 123 | int degree; |
---|
| 124 | /* Number of adjacent edges (both direction) */ |
---|
| 125 | int index; |
---|
| 126 | } vertex; |
---|
| 127 | |
---|
| 128 | typedef struct EDGE |
---|
| 129 | { int from; |
---|
| 130 | int to; |
---|
| 131 | int cap; |
---|
| 132 | /* Capacity */ |
---|
| 133 | } edge; |
---|
| 134 | |
---|
| 135 | typedef struct NETWORK |
---|
| 136 | { struct NETWORK *next, *prev; |
---|
| 137 | int vertnum; |
---|
| 138 | int edgenum; |
---|
| 139 | vertex *verts; |
---|
| 140 | /* Vertex array[1..vertnum] */ |
---|
| 141 | edge *edges; |
---|
| 142 | /* Edge array[1..edgenum] */ |
---|
| 143 | int source; |
---|
| 144 | /* Pointer to the source */ |
---|
| 145 | int sink; |
---|
| 146 | /* Pointer to the sink */ |
---|
| 147 | } network; |
---|
| 148 | |
---|
| 149 | struct csa |
---|
| 150 | { /* common storage area */ |
---|
| 151 | glp_graph *G; |
---|
| 152 | int *s, *t, a_cap; |
---|
| 153 | RNG *rand; |
---|
| 154 | network *N; |
---|
| 155 | int *Parr; |
---|
| 156 | int A, AA, C2AA, Ec; |
---|
| 157 | }; |
---|
| 158 | |
---|
| 159 | #define G (csa->G) |
---|
| 160 | #define s (csa->s) |
---|
| 161 | #define t (csa->t) |
---|
| 162 | #define a_cap (csa->a_cap) |
---|
| 163 | #define N (csa->N) |
---|
| 164 | #define Parr (csa->Parr) |
---|
| 165 | #define A (csa->A) |
---|
| 166 | #define AA (csa->AA) |
---|
| 167 | #define C2AA (csa->C2AA) |
---|
| 168 | #define Ec (csa->Ec) |
---|
| 169 | |
---|
| 170 | #undef random |
---|
| 171 | #define random(A) (int)(rng_unif_01(csa->rand) * (double)(A)) |
---|
| 172 | #define RANDOM(A, B) (int)(random((B) - (A) + 1) + (A)) |
---|
| 173 | #define sgn(A) (((A) > 0) ? 1 : ((A) == 0) ? 0 : -1) |
---|
| 174 | |
---|
| 175 | static void make_edge(struct csa *csa, int from, int to, int c1, int c2) |
---|
| 176 | { Ec++; |
---|
| 177 | N->edges[Ec].from = from; |
---|
| 178 | N->edges[Ec].to = to; |
---|
| 179 | N->edges[Ec].cap = RANDOM(c1, c2); |
---|
| 180 | return; |
---|
| 181 | } |
---|
| 182 | |
---|
| 183 | static void permute(struct csa *csa) |
---|
| 184 | { int i, j, tmp; |
---|
| 185 | for (i = 1; i < AA; i++) |
---|
| 186 | { j = RANDOM(i, AA); |
---|
| 187 | tmp = Parr[i]; |
---|
| 188 | Parr[i] = Parr[j]; |
---|
| 189 | Parr[j] = tmp; |
---|
| 190 | } |
---|
| 191 | return; |
---|
| 192 | } |
---|
| 193 | |
---|
| 194 | static void connect(struct csa *csa, int offset, int cv, int x1, int y1) |
---|
| 195 | { int cv1; |
---|
| 196 | cv1 = offset + (x1 - 1) * A + y1; |
---|
| 197 | Ec++; |
---|
| 198 | N->edges[Ec].from = cv; |
---|
| 199 | N->edges[Ec].to = cv1; |
---|
| 200 | N->edges[Ec].cap = C2AA; |
---|
| 201 | return; |
---|
| 202 | } |
---|
| 203 | |
---|
| 204 | static network *gen_rmf(struct csa *csa, int a, int b, int c1, int c2) |
---|
| 205 | { /* generates a network with a*a*b nodes and 6a*a*b-4ab-2a*a edges |
---|
| 206 | random_frame network: |
---|
| 207 | Derigs & Meier, Methods & Models of OR (1989), 33:383-403 */ |
---|
| 208 | int x, y, z, offset, cv; |
---|
| 209 | A = a; |
---|
| 210 | AA = a * a; |
---|
| 211 | C2AA = c2 * AA; |
---|
| 212 | Ec = 0; |
---|
| 213 | N = (network *)xmalloc(sizeof(network)); |
---|
| 214 | N->vertnum = AA * b; |
---|
| 215 | N->edgenum = 5 * AA * b - 4 * A * b - AA; |
---|
| 216 | N->edges = (edge *)xcalloc(N->edgenum + 1, sizeof(edge)); |
---|
| 217 | N->source = 1; |
---|
| 218 | N->sink = N->vertnum; |
---|
| 219 | Parr = (int *)xcalloc(AA + 1, sizeof(int)); |
---|
| 220 | for (x = 1; x <= AA; x++) |
---|
| 221 | Parr[x] = x; |
---|
| 222 | for (z = 1; z <= b; z++) |
---|
| 223 | { offset = AA * (z - 1); |
---|
| 224 | if (z != b) |
---|
| 225 | permute(csa); |
---|
| 226 | for (x = 1; x <= A; x++) |
---|
| 227 | { for (y = 1; y <= A; y++) |
---|
| 228 | { cv = offset + (x - 1) * A + y; |
---|
| 229 | if (z != b) |
---|
| 230 | make_edge(csa, cv, offset + AA + Parr[cv - offset], |
---|
| 231 | c1, c2); /* the intermediate edges */ |
---|
| 232 | if (y < A) |
---|
| 233 | connect(csa, offset, cv, x, y + 1); |
---|
| 234 | if (y > 1) |
---|
| 235 | connect(csa, offset, cv, x, y - 1); |
---|
| 236 | if (x < A) |
---|
| 237 | connect(csa, offset, cv, x + 1, y); |
---|
| 238 | if (x > 1) |
---|
| 239 | connect(csa, offset, cv, x - 1, y); |
---|
| 240 | } |
---|
| 241 | } |
---|
| 242 | } |
---|
| 243 | xfree(Parr); |
---|
| 244 | return N; |
---|
| 245 | } |
---|
| 246 | |
---|
| 247 | static void print_max_format(struct csa *csa, network *n, char *comm[], |
---|
| 248 | int dim) |
---|
| 249 | { /* prints a network heading with dim lines of comments (no \n |
---|
| 250 | needs at the ends) */ |
---|
| 251 | int i, vnum, e_num; |
---|
| 252 | edge *e; |
---|
| 253 | vnum = n->vertnum; |
---|
| 254 | e_num = n->edgenum; |
---|
| 255 | if (G == NULL) |
---|
| 256 | { for (i = 0; i < dim; i++) |
---|
| 257 | xprintf("c %s\n", comm[i]); |
---|
| 258 | xprintf("p max %7d %10d\n", vnum, e_num); |
---|
| 259 | xprintf("n %7d s\n", n->source); |
---|
| 260 | xprintf("n %7d t\n", n->sink); |
---|
| 261 | } |
---|
| 262 | else |
---|
| 263 | { glp_add_vertices(G, vnum); |
---|
| 264 | if (s != NULL) *s = n->source; |
---|
| 265 | if (t != NULL) *t = n->sink; |
---|
| 266 | } |
---|
| 267 | for (i = 1; i <= e_num; i++) |
---|
| 268 | { e = &n->edges[i]; |
---|
| 269 | if (G == NULL) |
---|
| 270 | xprintf("a %7d %7d %10d\n", e->from, e->to, (int)e->cap); |
---|
| 271 | else |
---|
| 272 | { glp_arc *a = glp_add_arc(G, e->from, e->to); |
---|
| 273 | if (a_cap >= 0) |
---|
| 274 | { double temp = (double)e->cap; |
---|
| 275 | memcpy((char *)a->data + a_cap, &temp, sizeof(double)); |
---|
| 276 | } |
---|
| 277 | } |
---|
| 278 | } |
---|
| 279 | return; |
---|
| 280 | } |
---|
| 281 | |
---|
| 282 | static void gen_free_net(network *n) |
---|
| 283 | { xfree(n->edges); |
---|
| 284 | xfree(n); |
---|
| 285 | return; |
---|
| 286 | } |
---|
| 287 | |
---|
| 288 | int glp_rmfgen(glp_graph *G_, int *_s, int *_t, int _a_cap, |
---|
| 289 | const int parm[1+5]) |
---|
| 290 | { struct csa _csa, *csa = &_csa; |
---|
| 291 | network *n; |
---|
| 292 | char comm[10][80], *com1[10]; |
---|
| 293 | int seed, a, b, c1, c2, ret; |
---|
| 294 | G = G_; |
---|
| 295 | s = _s; |
---|
| 296 | t = _t; |
---|
| 297 | a_cap = _a_cap; |
---|
| 298 | if (G != NULL) |
---|
| 299 | { if (a_cap >= 0 && a_cap > G->a_size - (int)sizeof(double)) |
---|
| 300 | xerror("glp_rmfgen: a_cap = %d; invalid offset\n", a_cap); |
---|
| 301 | } |
---|
| 302 | seed = parm[1]; |
---|
| 303 | a = parm[2]; |
---|
| 304 | b = parm[3]; |
---|
| 305 | c1 = parm[4]; |
---|
| 306 | c2 = parm[5]; |
---|
| 307 | if (!(seed > 0 && 1 <= a && a <= 1000 && 1 <= b && b <= 1000 && |
---|
| 308 | 0 <= c1 && c1 <= c2 && c2 <= 1000)) |
---|
| 309 | { ret = 1; |
---|
| 310 | goto done; |
---|
| 311 | } |
---|
| 312 | if (G != NULL) |
---|
| 313 | { glp_erase_graph(G, G->v_size, G->a_size); |
---|
| 314 | glp_set_graph_name(G, "RMFGEN"); |
---|
| 315 | } |
---|
| 316 | csa->rand = rng_create_rand(); |
---|
| 317 | rng_init_rand(csa->rand, seed); |
---|
| 318 | n = gen_rmf(csa, a, b, c1, c2); |
---|
| 319 | sprintf(comm[0], "This file was generated by genrmf."); |
---|
| 320 | sprintf(comm[1], "The parameters are: a: %d b: %d c1: %d c2: %d", |
---|
| 321 | a, b, c1, c2); |
---|
| 322 | com1[0] = comm[0]; |
---|
| 323 | com1[1] = comm[1]; |
---|
| 324 | print_max_format(csa, n, com1, 2); |
---|
| 325 | gen_free_net(n); |
---|
| 326 | rng_delete_rand(csa->rand); |
---|
| 327 | ret = 0; |
---|
| 328 | done: return ret; |
---|
| 329 | } |
---|
| 330 | |
---|
| 331 | /**********************************************************************/ |
---|
| 332 | |
---|
| 333 | #if 0 |
---|
| 334 | int main(int argc, char *argv[]) |
---|
| 335 | { int seed, a, b, c1, c2, i, parm[1+5]; |
---|
| 336 | seed = 123; |
---|
| 337 | a = b = c1 = c2 = -1; |
---|
| 338 | for (i = 1; i < argc; i++) |
---|
| 339 | { if (strcmp(argv[i], "-seed") == 0) |
---|
| 340 | seed = atoi(argv[++i]); |
---|
| 341 | else if (strcmp(argv[i], "-a") == 0) |
---|
| 342 | a = atoi(argv[++i]); |
---|
| 343 | else if (strcmp(argv[i], "-b") == 0) |
---|
| 344 | b = atoi(argv[++i]); |
---|
| 345 | else if (strcmp(argv[i], "-c1") == 0) |
---|
| 346 | c1 = atoi(argv[++i]); |
---|
| 347 | else if (strcmp(argv[i], "-c2") == 0) |
---|
| 348 | c2 = atoi(argv[++i]); |
---|
| 349 | } |
---|
| 350 | if (a < 0 || b < 0 || c1 < 0 || c2 < 0) |
---|
| 351 | { xprintf("Usage:\n"); |
---|
| 352 | xprintf("genrmf [-seed seed] -a frame_size -b depth\n"); |
---|
| 353 | xprintf(" -c1 cap_range1 -c2 cap_range2\n"); |
---|
| 354 | } |
---|
| 355 | else |
---|
| 356 | { parm[1] = seed; |
---|
| 357 | parm[2] = a; |
---|
| 358 | parm[3] = b; |
---|
| 359 | parm[4] = c1; |
---|
| 360 | parm[5] = c2; |
---|
| 361 | glp_rmfgen(NULL, NULL, NULL, 0, parm); |
---|
| 362 | } |
---|
| 363 | return 0; |
---|
| 364 | } |
---|
| 365 | #endif |
---|
| 366 | |
---|
| 367 | /* eof */ |
---|