[Lemon-commits] [lemon_svn] jacint: r1131 - hugo/trunk/src/test
Lemon SVN
svn at lemon.cs.elte.hu
Mon Nov 6 20:43:26 CET 2006
Author: jacint
Date: Mon Sep 13 12:50:28 2004
New Revision: 1131
Added:
hugo/trunk/src/test/preflow_graph (contents, props changed)
hugo/trunk/src/test/preflow_test.cc (contents, props changed)
Modified:
hugo/trunk/src/test/Makefile.am
hugo/trunk/src/test/dijkstra_heap_test.cc
Log:
preflow test
Modified: hugo/trunk/src/test/Makefile.am
==============================================================================
--- hugo/trunk/src/test/Makefile.am (original)
+++ hugo/trunk/src/test/Makefile.am Mon Sep 13 12:50:28 2004
@@ -12,6 +12,7 @@
mincostflows_test \
minlengthpaths_test \
path_test \
+ preflow_test \
test_tools_fail \
test_tools_pass \
time_measure_test \
@@ -31,9 +32,11 @@
mincostflows_test_SOURCES = mincostflows_test.cc
minlengthpaths_test_SOURCES = minlengthpaths_test.cc
path_test_SOURCES = path_test.cc
+preflow_test_SOURCES = preflow_test.cc
time_measure_test_SOURCES = time_measure_test.cc
test_tools_fail_SOURCES = test_tools_fail.cc
test_tools_pass_SOURCES = test_tools_pass.cc
unionfind_test_SOURCES = unionfind_test.cc
xy_test_SOURCES = xy_test.cc
+EXTRA_DIST = preflow_graph
Modified: hugo/trunk/src/test/dijkstra_heap_test.cc
==============================================================================
--- hugo/trunk/src/test/dijkstra_heap_test.cc (original)
+++ hugo/trunk/src/test/dijkstra_heap_test.cc Mon Sep 13 12:50:28 2004
@@ -31,7 +31,7 @@
typedef Graph::Node Node;
typedef Graph::EdgeIt EdgeIt;
typedef Graph::NodeIt NodeIt;
- typedef Graph::EdgeMap<int> LengthMap;
+ typedef Graph::template EdgeMap<int> LengthMap;
Graph G;
Node s, t;
Added: hugo/trunk/src/test/preflow_graph
==============================================================================
--- (empty file)
+++ hugo/trunk/src/test/preflow_graph Mon Sep 13 12:50:28 2004
@@ -0,0 +1,2005 @@
+c LEDA maxflow problem
+p max 501 2000
+n 1 s
+n 500 t
+a 500 501 6000
+a 1 27 6
+a 1 18 5
+a 1 386 6
+a 2 326 7
+a 2 455 10
+a 2 84 1
+a 3 316 3
+a 3 290 6
+a 3 435 8
+a 3 380 2
+a 5 438 1
+a 5 389 6
+a 5 400 4
+a 6 89 9
+a 7 189 8
+a 7 259 2
+a 8 487 4
+a 8 239 4
+a 8 321 8
+a 10 221 8
+a 10 320 9
+a 11 129 6
+a 11 408 2
+a 11 206 1
+a 11 458 6
+a 12 443 8
+a 12 37 9
+a 12 233 7
+a 13 139 7
+a 14 229 7
+a 14 391 10
+a 14 165 7
+a 14 246 5
+a 15 264 1
+a 16 490 2
+a 16 188 9
+a 16 347 6
+a 17 294 6
+a 17 478 4
+a 17 270 2
+a 17 161 5
+a 18 403 10
+a 18 146 6
+a 18 48 8
+a 18 491 8
+a 19 334 8
+a 19 306 8
+a 19 465 2
+a 20 60 5
+a 20 115 2
+a 21 174 7
+a 21 380 3
+a 21 243 8
+a 21 69 3
+a 22 73 2
+a 23 188 2
+a 23 110 5
+a 23 421 7
+a 24 138 5
+a 25 338 9
+a 26 299 2
+a 26 302 7
+a 27 71 5
+a 27 51 2
+a 27 280 3
+a 28 258 1
+a 29 397 1
+a 29 61 8
+a 29 223 4
+a 31 154 8
+a 33 221 6
+a 33 113 5
+a 34 299 5
+a 35 268 10
+a 36 92 6
+a 36 121 7
+a 36 62 3
+a 37 44 7
+a 38 180 6
+a 39 176 3
+a 41 217 8
+a 41 47 9
+a 42 418 3
+a 42 286 5
+a 43 120 9
+a 44 93 5
+a 44 285 5
+a 44 229 10
+a 45 1 1
+a 45 422 1
+a 46 54 3
+a 47 300 6
+a 48 211 3
+a 49 124 2
+a 50 350 2
+a 50 490 4
+a 50 381 1
+a 50 234 1
+a 51 38 9
+a 52 92 8
+a 52 388 9
+a 52 258 4
+a 53 204 10
+a 53 174 5
+a 53 14 1
+a 54 295 2
+a 54 294 9
+a 54 75 2
+a 54 339 6
+a 54 474 5
+a 55 250 5
+a 55 43 1
+a 56 8 10
+a 56 155 10
+a 56 328 10
+a 56 127 4
+a 56 247 9
+a 57 100 4
+a 58 355 2
+a 59 248 5
+a 59 9 5
+a 59 408 4
+a 60 35 10
+a 61 220 5
+a 61 19 1
+a 62 384 3
+a 62 197 2
+a 62 400 6
+a 63 105 8
+a 64 235 3
+a 64 491 4
+a 64 492 8
+a 64 492 1
+a 65 182 8
+a 65 154 4
+a 65 477 10
+a 66 447 6
+a 67 67 4
+a 68 303 9
+a 68 408 4
+a 68 316 10
+a 69 345 7
+a 69 416 1
+a 72 470 6
+a 72 161 2
+a 73 30 3
+a 73 205 7
+a 73 260 9
+a 74 385 5
+a 74 452 2
+a 74 269 7
+a 74 280 2
+a 75 486 5
+a 76 488 10
+a 76 299 9
+a 76 357 5
+a 77 172 5
+a 78 186 4
+a 80 461 9
+a 80 406 7
+a 81 164 6
+a 81 441 7
+a 82 386 1
+a 82 345 5
+a 83 82 8
+a 83 378 8
+a 84 309 4
+a 84 16 7
+a 85 445 2
+a 86 99 3
+a 86 424 1
+a 87 248 1
+a 87 444 4
+a 88 327 8
+a 88 206 5
+a 89 92 3
+a 90 356 1
+a 90 410 2
+a 90 351 10
+a 91 228 4
+a 92 349 6
+a 92 107 6
+a 92 322 7
+a 92 82 3
+a 93 294 8
+a 94 166 3
+a 94 254 9
+a 94 479 2
+a 95 114 10
+a 95 147 4
+a 96 130 9
+a 97 42 7
+a 97 20 7
+a 97 474 9
+a 98 123 9
+a 99 398 9
+a 99 271 1
+a 100 139 2
+a 100 330 10
+a 101 369 3
+a 101 50 7
+a 102 65 9
+a 102 300 9
+a 102 376 6
+a 104 270 1
+a 104 391 9
+a 104 219 8
+a 105 167 9
+a 105 230 10
+a 106 447 2
+a 106 3 2
+a 107 336 8
+a 109 442 2
+a 110 324 10
+a 111 418 9
+a 112 223 5
+a 113 489 8
+a 113 159 4
+a 115 189 8
+a 115 91 3
+a 115 305 1
+a 115 318 5
+a 116 132 3
+a 116 325 2
+a 117 279 3
+a 119 255 10
+a 120 210 4
+a 120 37 2
+a 120 393 2
+a 120 27 9
+a 121 406 10
+a 121 442 6
+a 122 91 1
+a 123 193 1
+a 123 305 9
+a 124 361 2
+a 124 72 9
+a 125 11 6
+a 125 15 8
+a 126 301 3
+a 127 457 2
+a 127 18 4
+a 128 124 6
+a 128 386 4
+a 129 341 9
+a 129 29 7
+a 129 96 7
+a 130 318 9
+a 130 187 6
+a 131 284 6
+a 131 408 10
+a 132 492 3
+a 132 89 10
+a 133 27 6
+a 133 304 3
+a 133 368 9
+a 134 281 6
+a 135 1 3
+a 135 404 4
+a 137 161 2
+a 137 27 2
+a 138 297 6
+a 138 90 1
+a 139 117 2
+a 139 490 9
+a 139 394 9
+a 139 477 7
+a 140 49 1
+a 140 405 4
+a 140 492 10
+a 141 349 1
+a 141 349 10
+a 141 472 1
+a 142 223 2
+a 142 337 6
+a 142 318 9
+a 143 142 8
+a 143 175 9
+a 143 90 6
+a 143 37 4
+a 143 154 1
+a 143 178 2
+a 145 64 4
+a 145 457 4
+a 145 33 10
+a 146 344 1
+a 146 457 5
+a 147 437 7
+a 147 483 6
+a 148 221 7
+a 148 82 8
+a 149 88 5
+a 149 198 3
+a 149 476 4
+a 149 52 5
+a 150 246 5
+a 150 368 4
+a 150 31 3
+a 150 82 10
+a 151 204 9
+a 151 27 5
+a 151 42 5
+a 152 426 9
+a 153 364 9
+a 153 30 2
+a 154 232 8
+a 154 204 7
+a 155 321 6
+a 155 30 5
+a 156 358 2
+a 156 498 9
+a 156 93 1
+a 156 302 5
+a 157 19 9
+a 158 436 1
+a 159 247 8
+a 159 455 1
+a 159 428 2
+a 159 217 4
+a 160 163 4
+a 160 304 4
+a 160 361 2
+a 160 473 2
+a 161 356 1
+a 162 94 10
+a 163 328 5
+a 164 386 9
+a 164 176 4
+a 164 19 6
+a 164 413 9
+a 165 217 4
+a 166 445 4
+a 167 264 10
+a 169 246 4
+a 171 164 5
+a 171 256 1
+a 173 449 1
+a 173 484 9
+a 174 285 2
+a 175 294 2
+a 175 469 6
+a 175 377 3
+a 176 84 6
+a 176 487 8
+a 177 301 2
+a 177 330 8
+a 178 429 7
+a 178 216 10
+a 179 34 10
+a 180 80 2
+a 180 213 3
+a 180 338 2
+a 180 440 5
+a 180 173 8
+a 180 181 3
+a 181 21 6
+a 183 500 6
+a 183 54 3
+a 183 196 4
+a 183 7 5
+a 184 466 9
+a 184 412 5
+a 184 451 10
+a 185 217 5
+a 185 145 8
+a 185 102 4
+a 185 473 4
+a 186 82 6
+a 186 73 3
+a 187 245 7
+a 188 375 1
+a 188 29 5
+a 188 110 3
+a 189 458 7
+a 190 4 10
+a 190 410 1
+a 191 275 2
+a 191 432 3
+a 191 113 7
+a 191 309 6
+a 191 326 10
+a 192 134 5
+a 193 438 3
+a 194 498 10
+a 194 314 6
+a 194 459 1
+a 195 486 6
+a 195 367 9
+a 195 142 9
+a 196 492 6
+a 196 321 6
+a 196 42 4
+a 196 430 1
+a 196 25 4
+a 196 186 7
+a 197 19 1
+a 198 497 1
+a 199 267 1
+a 199 91 5
+a 199 230 6
+a 200 130 2
+a 200 119 1
+a 201 339 3
+a 201 75 1
+a 202 122 8
+a 202 236 1
+a 203 350 5
+a 204 42 2
+a 205 348 9
+a 205 146 9
+a 205 40 2
+a 205 161 8
+a 206 279 7
+a 206 478 3
+a 207 147 6
+a 207 80 7
+a 207 424 3
+a 208 120 10
+a 208 446 8
+a 208 53 10
+a 209 99 4
+a 209 254 10
+a 211 94 10
+a 211 16 6
+a 213 279 10
+a 214 280 9
+a 215 34 1
+a 216 263 9
+a 217 34 1
+a 218 124 1
+a 218 492 6
+a 219 163 8
+a 220 242 1
+a 221 318 5
+a 221 238 9
+a 222 364 8
+a 222 41 1
+a 223 75 6
+a 223 405 5
+a 224 389 1
+a 225 220 5
+a 226 444 6
+a 226 37 7
+a 227 498 6
+a 228 409 6
+a 228 183 2
+a 229 65 2
+a 229 320 9
+a 230 302 9
+a 231 373 2
+a 231 400 1
+a 232 252 9
+a 234 466 8
+a 234 415 6
+a 234 18 9
+a 235 233 8
+a 236 448 4
+a 237 280 3
+a 237 267 8
+a 238 59 9
+a 238 260 8
+a 239 429 6
+a 239 301 2
+a 244 65 3
+a 244 154 10
+a 244 152 8
+a 244 106 8
+a 244 228 7
+a 244 44 9
+a 245 494 9
+a 245 447 1
+a 245 487 10
+a 245 18 2
+a 246 432 2
+a 247 384 4
+a 247 201 7
+a 247 496 4
+a 247 191 2
+a 249 494 7
+a 249 51 9
+a 250 390 7
+a 250 233 4
+a 250 5 5
+a 250 292 9
+a 251 250 2
+a 251 237 4
+a 252 228 6
+a 252 17 2
+a 252 286 3
+a 253 276 4
+a 253 420 10
+a 253 74 5
+a 254 341 8
+a 255 61 5
+a 256 225 8
+a 256 446 7
+a 256 289 3
+a 257 268 5
+a 257 427 6
+a 257 223 9
+a 258 243 10
+a 259 444 10
+a 260 143 7
+a 260 114 2
+a 260 132 9
+a 262 126 5
+a 262 304 4
+a 262 122 4
+a 263 107 9
+a 264 355 2
+a 264 339 3
+a 265 359 2
+a 265 290 1
+a 265 76 10
+a 266 83 7
+a 267 5 5
+a 267 93 2
+a 268 74 2
+a 269 291 2
+a 269 368 10
+a 270 493 1
+a 271 364 3
+a 271 196 1
+a 271 41 2
+a 272 77 6
+a 273 129 9
+a 273 329 6
+a 274 344 1
+a 274 43 8
+a 274 40 2
+a 275 74 5
+a 276 487 1
+a 277 182 6
+a 277 187 3
+a 277 106 7
+a 277 307 4
+a 278 491 3
+a 279 227 5
+a 279 414 1
+a 280 333 4
+a 280 225 4
+a 280 240 1
+a 281 179 5
+a 281 3 1
+a 282 316 2
+a 283 261 9
+a 283 7 8
+a 283 408 9
+a 284 334 5
+a 284 297 4
+a 285 263 9
+a 285 314 2
+a 287 149 10
+a 287 459 5
+a 288 355 8
+a 288 225 8
+a 288 75 5
+a 289 171 7
+a 289 56 7
+a 290 118 8
+a 290 210 2
+a 290 130 3
+a 291 92 10
+a 291 391 4
+a 292 316 4
+a 293 197 6
+a 293 186 5
+a 294 294 3
+a 295 424 2
+a 295 87 9
+a 295 114 3
+a 295 136 2
+a 295 326 1
+a 296 292 9
+a 296 138 7
+a 296 129 5
+a 296 41 4
+a 298 145 3
+a 299 24 5
+a 299 374 5
+a 299 441 6
+a 299 287 3
+a 299 176 3
+a 300 77 5
+a 301 233 6
+a 301 18 8
+a 302 301 9
+a 302 307 4
+a 302 188 3
+a 302 357 6
+a 302 424 9
+a 303 398 5
+a 303 486 8
+a 303 3 1
+a 303 276 10
+a 304 289 2
+a 305 200 10
+a 305 461 10
+a 306 71 6
+a 307 111 3
+a 307 35 9
+a 309 184 7
+a 309 246 3
+a 310 361 9
+a 311 476 1
+a 311 384 9
+a 311 489 1
+a 312 4 5
+a 313 16 9
+a 313 1 1
+a 313 377 10
+a 315 456 8
+a 315 287 3
+a 316 40 5
+a 316 21 6
+a 316 7 8
+a 317 57 10
+a 317 321 10
+a 317 313 9
+a 317 245 6
+a 318 165 8
+a 318 225 5
+a 319 130 5
+a 319 138 5
+a 319 227 5
+a 320 405 1
+a 320 427 2
+a 321 426 5
+a 321 354 2
+a 321 497 1
+a 322 24 5
+a 322 388 5
+a 322 168 10
+a 322 270 7
+a 324 236 10
+a 325 131 8
+a 325 141 3
+a 325 213 8
+a 326 134 3
+a 327 156 1
+a 327 213 7
+a 328 99 3
+a 329 499 8
+a 330 38 8
+a 330 119 9
+a 330 95 6
+a 331 440 3
+a 331 305 10
+a 331 339 3
+a 332 92 10
+a 332 17 7
+a 332 468 10
+a 333 230 6
+a 334 244 10
+a 334 360 3
+a 335 144 5
+a 336 157 1
+a 336 201 5
+a 337 128 5
+a 338 181 10
+a 338 77 1
+a 338 295 4
+a 338 450 7
+a 341 312 9
+a 341 426 6
+a 341 78 4
+a 341 12 10
+a 342 47 3
+a 342 233 3
+a 342 224 7
+a 343 45 3
+a 343 331 3
+a 344 210 3
+a 344 83 2
+a 344 450 1
+a 346 202 6
+a 346 177 5
+a 347 377 1
+a 347 3 5
+a 348 468 9
+a 348 11 5
+a 349 470 8
+a 349 185 1
+a 349 254 3
+a 349 317 5
+a 350 328 7
+a 350 411 1
+a 350 6 1
+a 350 455 10
+a 350 79 10
+a 351 82 6
+a 351 238 4
+a 352 16 7
+a 353 393 6
+a 353 151 9
+a 354 93 7
+a 354 405 10
+a 355 197 7
+a 356 325 5
+a 357 116 1
+a 357 242 9
+a 357 143 3
+a 357 326 10
+a 357 324 4
+a 358 80 5
+a 359 15 10
+a 359 500 5
+a 359 456 3
+a 360 9 10
+a 360 412 8
+a 360 20 10
+a 360 459 10
+a 360 84 8
+a 361 273 8
+a 361 263 3
+a 361 412 7
+a 361 171 1
+a 361 268 9
+a 361 354 3
+a 361 249 2
+a 362 349 3
+a 362 79 3
+a 362 264 3
+a 363 230 6
+a 363 229 7
+a 363 356 2
+a 364 122 9
+a 364 426 5
+a 364 168 5
+a 364 237 3
+a 367 155 4
+a 367 311 10
+a 369 50 5
+a 371 478 5
+a 371 390 10
+a 373 65 7
+a 374 465 9
+a 374 334 7
+a 375 73 8
+a 375 454 7
+a 376 233 2
+a 376 92 9
+a 376 400 8
+a 378 316 3
+a 378 365 5
+a 378 150 9
+a 378 215 2
+a 378 23 4
+a 379 418 6
+a 379 57 7
+a 379 272 8
+a 379 254 8
+a 379 135 5
+a 380 23 1
+a 381 483 3
+a 382 364 6
+a 382 379 7
+a 383 92 1
+a 383 277 1
+a 383 34 5
+a 384 329 10
+a 384 431 7
+a 384 344 1
+a 385 378 8
+a 385 396 7
+a 385 222 4
+a 386 442 7
+a 386 348 7
+a 386 43 3
+a 386 3 4
+a 387 289 5
+a 388 275 3
+a 388 94 9
+a 389 176 1
+a 389 78 5
+a 389 458 1
+a 392 325 2
+a 393 293 10
+a 393 481 8
+a 394 230 10
+a 395 349 4
+a 395 240 4
+a 395 484 9
+a 395 483 4
+a 395 262 2
+a 395 454 10
+a 396 334 1
+a 397 128 4
+a 397 34 8
+a 397 98 8
+a 397 162 10
+a 398 362 7
+a 398 16 9
+a 398 227 5
+a 398 411 9
+a 399 214 3
+a 399 157 5
+a 399 246 7
+a 400 256 8
+a 400 159 6
+a 402 22 8
+a 403 18 1
+a 404 252 2
+a 404 197 2
+a 405 96 4
+a 405 198 1
+a 406 10 3
+a 406 388 4
+a 407 166 10
+a 407 239 3
+a 408 224 7
+a 408 405 1
+a 408 210 10
+a 410 194 9
+a 410 154 9
+a 410 152 1
+a 410 16 5
+a 411 282 8
+a 411 185 2
+a 413 113 10
+a 414 443 3
+a 415 34 9
+a 415 129 9
+a 415 435 10
+a 416 260 10
+a 416 27 10
+a 416 137 3
+a 417 416 6
+a 417 273 3
+a 418 392 8
+a 418 62 5
+a 418 294 8
+a 419 410 6
+a 419 314 7
+a 419 491 10
+a 419 500 3
+a 419 380 7
+a 420 164 10
+a 420 226 10
+a 421 91 2
+a 421 56 3
+a 421 436 9
+a 422 284 4
+a 422 209 2
+a 422 75 2
+a 422 299 10
+a 422 490 6
+a 424 259 1
+a 425 412 5
+a 426 420 3
+a 426 292 4
+a 426 28 9
+a 427 343 9
+a 427 39 6
+a 428 54 6
+a 428 479 4
+a 429 455 2
+a 430 326 1
+a 430 358 1
+a 430 4 8
+a 431 108 10
+a 431 255 10
+a 432 317 6
+a 433 86 9
+a 433 247 7
+a 434 315 2
+a 434 73 6
+a 435 114 4
+a 436 478 3
+a 437 298 7
+a 437 204 4
+a 437 21 1
+a 437 221 2
+a 438 488 4
+a 438 230 10
+a 439 295 4
+a 439 274 10
+a 439 207 7
+a 439 41 8
+a 439 173 2
+a 440 115 9
+a 440 332 1
+a 441 200 7
+a 441 457 4
+a 442 371 5
+a 442 254 3
+a 442 423 6
+a 443 313 2
+a 443 67 7
+a 444 268 8
+a 444 316 8
+a 444 174 10
+a 445 11 4
+a 445 121 4
+a 449 259 9
+a 449 257 5
+a 450 435 10
+a 451 331 8
+a 451 371 4
+a 451 401 1
+a 451 117 3
+a 453 62 3
+a 453 421 2
+a 453 337 10
+a 453 37 10
+a 453 138 3
+a 454 120 7
+a 454 311 7
+a 456 345 10
+a 456 160 9
+a 457 483 3
+a 458 459 2
+a 458 492 8
+a 459 171 6
+a 460 403 6
+a 460 350 1
+a 461 424 5
+a 461 313 10
+a 461 150 1
+a 462 490 10
+a 462 68 2
+a 463 465 1
+a 463 152 6
+a 464 78 8
+a 465 73 10
+a 466 410 8
+a 466 335 6
+a 467 229 1
+a 469 193 4
+a 469 396 3
+a 470 345 1
+a 470 254 4
+a 470 304 7
+a 470 169 10
+a 471 291 4
+a 471 442 8
+a 471 288 7
+a 471 89 6
+a 471 274 7
+a 471 448 1
+a 471 59 6
+a 472 220 7
+a 472 427 2
+a 473 229 3
+a 473 110 2
+a 474 264 5
+a 476 140 8
+a 476 422 6
+a 476 413 10
+a 477 118 4
+a 477 489 1
+a 478 365 5
+a 479 269 8
+a 480 55 8
+a 480 438 5
+a 480 166 5
+a 481 389 3
+a 481 433 1
+a 481 394 4
+a 481 69 1
+a 481 316 2
+a 482 226 1
+a 485 322 3
+a 486 107 4
+a 486 395 9
+a 486 100 6
+a 486 36 10
+a 488 170 2
+a 488 188 9
+a 488 309 6
+a 489 105 7
+a 489 247 2
+a 489 16 9
+a 490 19 8
+a 490 475 6
+a 491 125 3
+a 491 282 5
+a 493 103 10
+a 493 34 3
+a 494 182 9
+a 494 220 9
+a 495 11 5
+a 495 35 1
+a 495 488 7
+a 495 65 4
+a 496 472 5
+a 496 141 3
+a 496 453 1
+a 496 392 6
+a 497 23 8
+a 498 9 8
+a 498 195 7
+a 498 248 2
+a 498 330 1
+a 498 301 10
+a 498 130 8
+a 498 430 2
+a 499 337 7
+a 500 300 7
+a 500 105 7
+a 1 1 10
+a 1 500 3
+a 1 2 4
+a 2 500 7
+a 1 3 6
+a 3 500 7
+a 1 4 8
+a 4 500 2
+a 1 5 10
+a 5 500 7
+a 1 6 8
+a 6 500 10
+a 1 7 9
+a 7 500 10
+a 1 8 8
+a 8 500 3
+a 1 9 3
+a 9 500 3
+a 1 10 6
+a 10 500 8
+a 1 11 6
+a 11 500 7
+a 1 12 8
+a 12 500 4
+a 1 13 5
+a 13 500 5
+a 1 14 6
+a 14 500 10
+a 1 15 5
+a 15 500 8
+a 1 16 10
+a 16 500 2
+a 1 17 4
+a 17 500 2
+a 1 18 2
+a 18 500 1
+a 1 19 4
+a 19 500 2
+a 1 20 6
+a 20 500 2
+a 1 21 4
+a 21 500 2
+a 1 22 2
+a 22 500 9
+a 1 23 5
+a 23 500 5
+a 1 24 3
+a 24 500 8
+a 1 25 10
+a 25 500 3
+a 1 26 4
+a 26 500 5
+a 1 27 8
+a 27 500 8
+a 1 28 5
+a 28 500 5
+a 1 29 2
+a 29 500 5
+a 1 30 10
+a 30 500 10
+a 1 31 2
+a 31 500 1
+a 1 32 11
+a 32 500 9
+a 1 33 2
+a 33 500 5
+a 1 34 6
+a 34 500 7
+a 1 35 3
+a 35 500 3
+a 1 36 10
+a 36 500 1
+a 1 37 4
+a 37 500 6
+a 1 38 5
+a 38 500 10
+a 1 39 10
+a 39 500 6
+a 1 40 11
+a 40 500 8
+a 1 41 10
+a 41 500 4
+a 1 42 10
+a 42 500 9
+a 1 43 6
+a 43 500 6
+a 1 44 9
+a 44 500 2
+a 1 45 8
+a 45 500 4
+a 1 46 5
+a 46 500 4
+a 1 47 6
+a 47 500 6
+a 1 48 5
+a 48 500 3
+a 1 49 6
+a 49 500 10
+a 1 50 2
+a 50 500 7
+a 1 51 8
+a 51 500 9
+a 1 52 11
+a 52 500 7
+a 1 53 9
+a 53 500 2
+a 1 54 11
+a 54 500 4
+a 1 55 8
+a 55 500 8
+a 1 56 5
+a 56 500 2
+a 1 57 8
+a 57 500 7
+a 1 58 11
+a 58 500 10
+a 1 59 11
+a 59 500 9
+a 1 60 9
+a 60 500 9
+a 1 61 6
+a 61 500 9
+a 1 62 4
+a 62 500 4
+a 1 63 11
+a 63 500 1
+a 1 64 4
+a 64 500 10
+a 1 65 5
+a 65 500 9
+a 1 66 11
+a 66 500 6
+a 1 67 6
+a 67 500 8
+a 1 68 4
+a 68 500 7
+a 1 69 8
+a 69 500 6
+a 1 70 9
+a 70 500 9
+a 1 71 10
+a 71 500 5
+a 1 72 9
+a 72 500 1
+a 1 73 2
+a 73 500 10
+a 1 74 9
+a 74 500 5
+a 1 75 7
+a 75 500 8
+a 1 76 9
+a 76 500 2
+a 1 77 5
+a 77 500 2
+a 1 78 10
+a 78 500 9
+a 1 79 7
+a 79 500 8
+a 1 80 5
+a 80 500 2
+a 1 81 7
+a 81 500 10
+a 1 82 9
+a 82 500 4
+a 1 83 3
+a 83 500 3
+a 1 84 5
+a 84 500 2
+a 1 85 3
+a 85 500 2
+a 1 86 10
+a 86 500 6
+a 1 87 6
+a 87 500 1
+a 1 88 9
+a 88 500 3
+a 1 89 10
+a 89 500 4
+a 1 90 4
+a 90 500 4
+a 1 91 9
+a 91 500 10
+a 1 92 11
+a 92 500 4
+a 1 93 3
+a 93 500 2
+a 1 94 6
+a 94 500 4
+a 1 95 6
+a 95 500 6
+a 1 96 6
+a 96 500 7
+a 1 97 2
+a 97 500 2
+a 1 98 8
+a 98 500 1
+a 1 99 7
+a 99 500 2
+a 1 100 4
+a 100 500 10
+a 1 101 5
+a 101 500 4
+a 1 102 6
+a 102 500 2
+a 1 103 2
+a 103 500 6
+a 1 104 5
+a 104 500 5
+a 1 105 11
+a 105 500 8
+a 1 106 11
+a 106 500 10
+a 1 107 11
+a 107 500 10
+a 1 108 7
+a 108 500 10
+a 1 109 5
+a 109 500 1
+a 1 110 6
+a 110 500 3
+a 1 111 9
+a 111 500 1
+a 1 112 10
+a 112 500 2
+a 1 113 10
+a 113 500 5
+a 1 114 6
+a 114 500 6
+a 1 115 11
+a 115 500 6
+a 1 116 4
+a 116 500 9
+a 1 117 3
+a 117 500 8
+a 1 118 9
+a 118 500 8
+a 1 119 11
+a 119 500 1
+a 1 120 8
+a 120 500 9
+a 1 121 8
+a 121 500 4
+a 1 122 9
+a 122 500 8
+a 1 123 9
+a 123 500 10
+a 1 124 8
+a 124 500 5
+a 1 125 3
+a 125 500 5
+a 1 126 10
+a 126 500 7
+a 1 127 4
+a 127 500 4
+a 1 128 2
+a 128 500 4
+a 1 129 9
+a 129 500 10
+a 1 130 2
+a 130 500 2
+a 1 131 6
+a 131 500 3
+a 1 132 10
+a 132 500 2
+a 1 133 4
+a 133 500 4
+a 1 134 6
+a 134 500 4
+a 1 135 4
+a 135 500 5
+a 1 136 9
+a 136 500 3
+a 1 137 9
+a 137 500 7
+a 1 138 5
+a 138 500 8
+a 1 139 3
+a 139 500 6
+a 1 140 8
+a 140 500 10
+a 1 141 8
+a 141 500 1
+a 1 142 11
+a 142 500 6
+a 1 143 11
+a 143 500 4
+a 1 144 8
+a 144 500 2
+a 1 145 3
+a 145 500 1
+a 1 146 5
+a 146 500 2
+a 1 147 4
+a 147 500 5
+a 1 148 7
+a 148 500 4
+a 1 149 4
+a 149 500 4
+a 1 150 6
+a 150 500 1
+a 1 151 3
+a 151 500 9
+a 1 152 6
+a 152 500 1
+a 1 153 4
+a 153 500 10
+a 1 154 11
+a 154 500 1
+a 1 155 3
+a 155 500 6
+a 1 156 8
+a 156 500 2
+a 1 157 5
+a 157 500 4
+a 1 158 8
+a 158 500 6
+a 1 159 2
+a 159 500 9
+a 1 160 2
+a 160 500 2
+a 1 161 7
+a 161 500 3
+a 1 162 4
+a 162 500 1
+a 1 163 9
+a 163 500 1
+a 1 164 5
+a 164 500 3
+a 1 165 3
+a 165 500 10
+a 1 166 9
+a 166 500 6
+a 1 167 8
+a 167 500 1
+a 1 168 5
+a 168 500 7
+a 1 169 6
+a 169 500 7
+a 1 170 9
+a 170 500 3
+a 1 171 11
+a 171 500 9
+a 1 172 2
+a 172 500 7
+a 1 173 2
+a 173 500 4
+a 1 174 2
+a 174 500 3
+a 1 175 6
+a 175 500 10
+a 1 176 11
+a 176 500 2
+a 1 177 8
+a 177 500 6
+a 1 178 8
+a 178 500 10
+a 1 179 2
+a 179 500 9
+a 1 180 4
+a 180 500 9
+a 1 181 4
+a 181 500 4
+a 1 182 7
+a 182 500 7
+a 1 183 2
+a 183 500 3
+a 1 184 11
+a 184 500 5
+a 1 185 3
+a 185 500 5
+a 1 186 7
+a 186 500 2
+a 1 187 7
+a 187 500 5
+a 1 188 3
+a 188 500 10
+a 1 189 2
+a 189 500 9
+a 1 190 6
+a 190 500 7
+a 1 191 8
+a 191 500 3
+a 1 192 9
+a 192 500 6
+a 1 193 2
+a 193 500 10
+a 1 194 2
+a 194 500 6
+a 1 195 9
+a 195 500 8
+a 1 196 6
+a 196 500 1
+a 1 197 11
+a 197 500 4
+a 1 198 9
+a 198 500 2
+a 1 199 4
+a 199 500 10
+a 1 200 5
+a 200 500 9
+a 1 201 11
+a 201 500 3
+a 1 202 11
+a 202 500 7
+a 1 203 2
+a 203 500 7
+a 1 204 4
+a 204 500 2
+a 1 205 3
+a 205 500 8
+a 1 206 6
+a 206 500 1
+a 1 207 11
+a 207 500 6
+a 1 208 8
+a 208 500 10
+a 1 209 10
+a 209 500 9
+a 1 210 2
+a 210 500 10
+a 1 211 9
+a 211 500 5
+a 1 212 2
+a 212 500 2
+a 1 213 10
+a 213 500 3
+a 1 214 3
+a 214 500 7
+a 1 215 4
+a 215 500 6
+a 1 216 10
+a 216 500 3
+a 1 217 2
+a 217 500 8
+a 1 218 11
+a 218 500 3
+a 1 219 9
+a 219 500 10
+a 1 220 8
+a 220 500 5
+a 1 221 11
+a 221 500 8
+a 1 222 5
+a 222 500 2
+a 1 223 8
+a 223 500 4
+a 1 224 10
+a 224 500 3
+a 1 225 6
+a 225 500 6
+a 1 226 10
+a 226 500 1
+a 1 227 4
+a 227 500 7
+a 1 228 4
+a 228 500 9
+a 1 229 11
+a 229 500 5
+a 1 230 8
+a 230 500 10
+a 1 231 2
+a 231 500 9
+a 1 232 2
+a 232 500 5
+a 1 233 5
+a 233 500 6
+a 1 234 9
+a 234 500 8
+a 1 235 5
+a 235 500 4
+a 1 236 7
+a 236 500 1
+a 1 237 4
+a 237 500 9
+a 1 238 7
+a 238 500 5
+a 1 239 4
+a 239 500 3
+a 1 240 5
+a 240 500 9
+a 1 241 3
+a 241 500 1
+a 1 242 11
+a 242 500 6
+a 1 243 2
+a 243 500 8
+a 1 244 8
+a 244 500 9
+a 1 245 5
+a 245 500 4
+a 1 246 11
+a 246 500 7
+a 1 247 3
+a 247 500 6
+a 1 248 6
+a 248 500 8
+a 1 249 9
+a 249 500 8
+a 1 250 3
+a 250 500 5
+a 1 251 6
+a 251 500 6
+a 1 252 6
+a 252 500 9
+a 1 253 3
+a 253 500 2
+a 1 254 4
+a 254 500 8
+a 1 255 11
+a 255 500 5
+a 1 256 8
+a 256 500 4
+a 1 257 8
+a 257 500 3
+a 1 258 11
+a 258 500 2
+a 1 259 8
+a 259 500 8
+a 1 260 3
+a 260 500 6
+a 1 261 4
+a 261 500 1
+a 1 262 5
+a 262 500 9
+a 1 263 4
+a 263 500 4
+a 1 264 8
+a 264 500 1
+a 1 265 10
+a 265 500 10
+a 1 266 8
+a 266 500 3
+a 1 267 10
+a 267 500 2
+a 1 268 11
+a 268 500 1
+a 1 269 7
+a 269 500 2
+a 1 270 7
+a 270 500 3
+a 1 271 2
+a 271 500 6
+a 1 272 11
+a 272 500 7
+a 1 273 3
+a 273 500 10
+a 1 274 4
+a 274 500 10
+a 1 275 10
+a 275 500 1
+a 1 276 10
+a 276 500 8
+a 1 277 10
+a 277 500 1
+a 1 278 8
+a 278 500 9
+a 1 279 2
+a 279 500 9
+a 1 280 9
+a 280 500 10
+a 1 281 11
+a 281 500 3
+a 1 282 2
+a 282 500 9
+a 1 283 6
+a 283 500 2
+a 1 284 3
+a 284 500 8
+a 1 285 11
+a 285 500 3
+a 1 286 5
+a 286 500 4
+a 1 287 7
+a 287 500 6
+a 1 288 10
+a 288 500 8
+a 1 289 5
+a 289 500 2
+a 1 290 7
+a 290 500 1
+a 1 291 6
+a 291 500 9
+a 1 292 10
+a 292 500 10
+a 1 293 5
+a 293 500 3
+a 1 294 6
+a 294 500 7
+a 1 295 9
+a 295 500 2
+a 1 296 7
+a 296 500 5
+a 1 297 3
+a 297 500 8
+a 1 298 11
+a 298 500 8
+a 1 299 4
+a 299 500 9
+a 1 300 7
+a 300 500 10
+a 1 301 6
+a 301 500 5
+a 1 302 11
+a 302 500 9
+a 1 303 4
+a 303 500 2
+a 1 304 2
+a 304 500 3
+a 1 305 2
+a 305 500 3
+a 1 306 2
+a 306 500 5
+a 1 307 3
+a 307 500 9
+a 1 308 7
+a 308 500 7
+a 1 309 3
+a 309 500 8
+a 1 310 8
+a 310 500 9
+a 1 311 2
+a 311 500 9
+a 1 312 2
+a 312 500 2
+a 1 313 2
+a 313 500 5
+a 1 314 10
+a 314 500 7
+a 1 315 11
+a 315 500 9
+a 1 316 8
+a 316 500 10
+a 1 317 6
+a 317 500 4
+a 1 318 7
+a 318 500 8
+a 1 319 5
+a 319 500 10
+a 1 320 2
+a 320 500 7
+a 1 321 2
+a 321 500 4
+a 1 322 2
+a 322 500 6
+a 1 323 6
+a 323 500 4
+a 1 324 5
+a 324 500 2
+a 1 325 7
+a 325 500 9
+a 1 326 6
+a 326 500 1
+a 1 327 10
+a 327 500 1
+a 1 328 5
+a 328 500 7
+a 1 329 5
+a 329 500 6
+a 1 330 3
+a 330 500 10
+a 1 331 9
+a 331 500 2
+a 1 332 10
+a 332 500 8
+a 1 333 2
+a 333 500 10
+a 1 334 10
+a 334 500 6
+a 1 335 4
+a 335 500 3
+a 1 336 10
+a 336 500 5
+a 1 337 8
+a 337 500 5
+a 1 338 9
+a 338 500 2
+a 1 339 5
+a 339 500 4
+a 1 340 3
+a 340 500 6
+a 1 341 9
+a 341 500 1
+a 1 342 10
+a 342 500 5
+a 1 343 7
+a 343 500 10
+a 1 344 10
+a 344 500 9
+a 1 345 11
+a 345 500 4
+a 1 346 2
+a 346 500 9
+a 1 347 10
+a 347 500 9
+a 1 348 11
+a 348 500 8
+a 1 349 8
+a 349 500 7
+a 1 350 4
+a 350 500 2
+a 1 351 9
+a 351 500 3
+a 1 352 4
+a 352 500 1
+a 1 353 7
+a 353 500 10
+a 1 354 6
+a 354 500 4
+a 1 355 6
+a 355 500 8
+a 1 356 6
+a 356 500 7
+a 1 357 10
+a 357 500 3
+a 1 358 10
+a 358 500 7
+a 1 359 7
+a 359 500 4
+a 1 360 10
+a 360 500 8
+a 1 361 9
+a 361 500 10
+a 1 362 11
+a 362 500 10
+a 1 363 11
+a 363 500 6
+a 1 364 4
+a 364 500 4
+a 1 365 10
+a 365 500 7
+a 1 366 3
+a 366 500 7
+a 1 367 7
+a 367 500 2
+a 1 368 8
+a 368 500 1
+a 1 369 7
+a 369 500 6
+a 1 370 2
+a 370 500 9
+a 1 371 6
+a 371 500 8
+a 1 372 4
+a 372 500 1
+a 1 373 6
+a 373 500 10
+a 1 374 4
+a 374 500 4
+a 1 375 10
+a 375 500 2
+a 1 376 11
+a 376 500 5
+a 1 377 8
+a 377 500 8
+a 1 378 7
+a 378 500 9
+a 1 379 6
+a 379 500 10
+a 1 380 9
+a 380 500 5
+a 1 381 2
+a 381 500 4
+a 1 382 11
+a 382 500 3
+a 1 383 8
+a 383 500 5
+a 1 384 11
+a 384 500 10
+a 1 385 7
+a 385 500 10
+a 1 386 3
+a 386 500 4
+a 1 387 9
+a 387 500 6
+a 1 388 8
+a 388 500 7
+a 1 389 3
+a 389 500 5
+a 1 390 6
+a 390 500 8
+a 1 391 4
+a 391 500 7
+a 1 392 9
+a 392 500 7
+a 1 393 10
+a 393 500 2
+a 1 394 4
+a 394 500 7
+a 1 395 10
+a 395 500 1
+a 1 396 2
+a 396 500 7
+a 1 397 2
+a 397 500 4
+a 1 398 4
+a 398 500 9
+a 1 399 8
+a 399 500 3
+a 1 400 10
+a 400 500 9
+a 1 401 7
+a 401 500 4
+a 1 402 5
+a 402 500 6
+a 1 403 9
+a 403 500 5
+a 1 404 6
+a 404 500 8
+a 1 405 6
+a 405 500 8
+a 1 406 2
+a 406 500 4
+a 1 407 8
+a 407 500 10
+a 1 408 6
+a 408 500 2
+a 1 409 5
+a 409 500 7
+a 1 410 2
+a 410 500 2
+a 1 411 4
+a 411 500 1
+a 1 412 7
+a 412 500 5
+a 1 413 6
+a 413 500 10
+a 1 414 2
+a 414 500 9
+a 1 415 6
+a 415 500 4
+a 1 416 10
+a 416 500 7
+a 1 417 8
+a 417 500 9
+a 1 418 7
+a 418 500 2
+a 1 419 2
+a 419 500 9
+a 1 420 10
+a 420 500 1
+a 1 421 5
+a 421 500 8
+a 1 422 6
+a 422 500 10
+a 1 423 3
+a 423 500 8
+a 1 424 4
+a 424 500 7
+a 1 425 5
+a 425 500 7
+a 1 426 5
+a 426 500 3
+a 1 427 9
+a 427 500 8
+a 1 428 7
+a 428 500 1
+a 1 429 7
+a 429 500 7
+a 1 430 11
+a 430 500 7
+a 1 431 5
+a 431 500 7
+a 1 432 4
+a 432 500 8
+a 1 433 11
+a 433 500 5
+a 1 434 5
+a 434 500 4
+a 1 435 3
+a 435 500 5
+a 1 436 5
+a 436 500 10
+a 1 437 11
+a 437 500 2
+a 1 438 3
+a 438 500 10
+a 1 439 3
+a 439 500 2
+a 1 440 9
+a 440 500 7
+a 1 441 3
+a 441 500 5
+a 1 442 5
+a 442 500 10
+a 1 443 2
+a 443 500 1
+a 1 444 2
+a 444 500 4
+a 1 445 10
+a 445 500 5
+a 1 446 10
+a 446 500 6
+a 1 447 5
+a 447 500 7
+a 1 448 3
+a 448 500 8
+a 1 449 10
+a 449 500 3
+a 1 450 3
+a 450 500 10
+a 1 451 11
+a 451 500 9
+a 1 452 4
+a 452 500 10
+a 1 453 3
+a 453 500 3
+a 1 454 11
+a 454 500 2
+a 1 455 5
+a 455 500 8
+a 1 456 3
+a 456 500 3
+a 1 457 2
+a 457 500 3
+a 1 458 6
+a 458 500 3
+a 1 459 7
+a 459 500 3
+a 1 460 8
+a 460 500 3
+a 1 461 3
+a 461 500 1
+a 1 462 10
+a 462 500 6
+a 1 463 7
+a 463 500 7
+a 1 464 10
+a 464 500 3
+a 1 465 3
+a 465 500 6
+a 1 466 10
+a 466 500 7
+a 1 467 8
+a 467 500 7
+a 1 468 10
+a 468 500 10
+a 1 469 2
+a 469 500 4
+a 1 470 5
+a 470 500 8
+a 1 471 7
+a 471 500 2
+a 1 472 2
+a 472 500 7
+a 1 473 11
+a 473 500 9
+a 1 474 7
+a 474 500 3
+a 1 475 5
+a 475 500 6
+a 1 476 11
+a 476 500 10
+a 1 477 2
+a 477 500 2
+a 1 478 4
+a 478 500 2
+a 1 479 3
+a 479 500 5
+a 1 480 10
+a 480 500 8
+a 1 481 4
+a 481 500 6
+a 1 482 11
+a 482 500 4
+a 1 483 7
+a 483 500 8
+a 1 484 8
+a 484 500 5
+a 1 485 6
+a 485 500 9
+a 1 486 5
+a 486 500 8
+a 1 487 7
+a 487 500 9
+a 1 488 2
+a 488 500 10
+a 1 489 4
+a 489 500 1
+a 1 490 3
+a 490 500 7
+a 1 491 2
+a 491 500 6
+a 1 492 7
+a 492 500 8
+a 1 493 6
+a 493 500 4
+a 1 494 9
+a 494 500 3
+a 1 495 8
+a 495 500 6
+a 1 496 9
+a 496 500 8
+a 1 497 11
+a 497 500 8
+a 1 498 11
+a 498 500 10
+a 1 499 3
+a 499 500 8
+a 1 500 6
+a 500 500 4
Added: hugo/trunk/src/test/preflow_test.cc
==============================================================================
--- (empty file)
+++ hugo/trunk/src/test/preflow_test.cc Mon Sep 13 12:50:28 2004
@@ -0,0 +1,166 @@
+#include <fstream>
+#include "test_tools.h"
+#include <hugo/smart_graph.h>
+#include <hugo/dimacs.h>
+#include <hugo/preflow.h>
+#include <hugo/skeletons/graph.h>
+#include <hugo/skeletons/maps.h>
+using namespace hugo;
+
+void check_Preflow()
+{
+ typedef int VType;
+ typedef skeleton::StaticGraphSkeleton Graph;
+
+ typedef Graph::Node Node;
+ typedef Graph::Edge Edge;
+ typedef skeleton::ReadMap<Edge,VType> CapMap;
+ typedef skeleton::ReadWriteMap<Edge,VType> FlowMap;
+ typedef skeleton::ReadWriteMap<Node,bool> CutMap;
+
+ typedef Preflow<Graph, int, CapMap, FlowMap> PType;
+
+ Graph G;
+ Node n;
+ CapMap cap;
+ FlowMap flow;
+ CutMap cut;
+
+ PType preflow_test(G,n,n,cap,flow);
+
+ preflow_test.run();
+ preflow_test.flowValue();
+ preflow_test.setSource(n);
+ preflow_test.setFlow(flow);
+
+ preflow_test.phase1(PType::NO_FLOW);
+ preflow_test.minCut(cut);
+
+ preflow_test.phase2();
+ preflow_test.setTarget(n);
+ preflow_test.setCap(cap);
+ preflow_test.minMinCut(cut);
+ preflow_test.maxMinCut(cut);
+}
+
+int cut_value ( SmartGraph& G, SmartGraph::NodeMap<bool>& cut,
+ SmartGraph::EdgeMap<int>& cap) {
+
+ int c=0;
+ for(SmartGraph::EdgeIt e(G); e!=INVALID; ++e) {
+ if (cut[G.tail(e)] && !cut[G.head(e)]) c+=cap[e];
+ }
+ return c;
+}
+
+int main() {
+
+ typedef SmartGraph Graph;
+
+ typedef Graph::NodeIt NodeIt;
+ typedef Graph::EdgeIt EdgeIt;
+ typedef Graph::EdgeMap<int> CapMap;
+ typedef Graph::EdgeMap<int> FlowMap;
+ typedef Graph::NodeMap<bool> CutMap;
+
+ typedef Preflow<Graph, int> PType;
+
+ std::ifstream file("preflow_graph");
+
+ Graph G;
+ NodeIt s, t;
+ CapMap cap(G);
+ readDimacs(file, G, cap, s, t);
+
+ FlowMap flow(G,0);
+
+ PType preflow_test(G, s, t, cap, flow);
+ preflow_test.run(PType::ZERO_FLOW);
+
+
+ CutMap mincut(G,false);
+ preflow_test.minCut(mincut);
+ int min_cut_value=cut_value(G,mincut,cap);
+
+ CutMap minmincut(G,false);
+ preflow_test.minMinCut(minmincut);
+ int min_min_cut_value=cut_value(G,minmincut,cap);
+
+ CutMap maxmincut(G,false);
+ preflow_test.maxMinCut(maxmincut);
+ int max_min_cut_value=cut_value(G,maxmincut,cap);
+
+ check(preflow_test.flowValue() == min_cut_value &&
+ min_cut_value == min_min_cut_value &&
+ min_min_cut_value == max_min_cut_value,
+ "The max flow value is not equal to the three min cut values.");
+
+ int flow_value=preflow_test.flowValue();
+
+
+ for(EdgeIt e(G); e!=INVALID; ++e) cap[e]=2*cap[e];
+ preflow_test.setCap(cap);
+ preflow_test.setTarget(++t); //the max flow value remains 2*flow_value
+ //warning: ++t must be a valid node. In preflow_graph, it is.
+
+ preflow_test.phase1(PType::PRE_FLOW);
+
+ CutMap mincut1(G,false);
+ preflow_test.minCut(mincut1);
+ min_cut_value=cut_value(G,mincut1,cap);
+
+ check(preflow_test.flowValue() == min_cut_value &&
+ min_cut_value == 2*flow_value,
+ "The max flow value or the min cut value is wrong.");
+
+ preflow_test.phase2();
+
+ CutMap mincut2(G,false);
+ preflow_test.minCut(mincut2);
+ min_cut_value=cut_value(G,mincut2,cap);
+
+ CutMap minmincut2(G,false);
+ preflow_test.minMinCut(minmincut2);
+ min_min_cut_value=cut_value(G,minmincut2,cap);
+
+
+ preflow_test.maxMinCut(maxmincut);
+
+ max_min_cut_value=cut_value(G,maxmincut,cap);
+
+ check(preflow_test.flowValue() == min_cut_value &&
+ min_cut_value == min_min_cut_value &&
+ min_min_cut_value == max_min_cut_value &&
+ min_cut_value == 2*flow_value,
+ "The max flow value or the three min cut values were not doubled");
+
+ EdgeIt e(G);
+ for( int i=1; i==1000; ++i ) {
+ flow[e]=0;
+ ++e;
+ }
+
+ preflow_test.setFlow(flow);
+ preflow_test.setSource(s);
+
+ preflow_test.run();
+
+ CutMap mincut3(G,false);
+ preflow_test.minCut(mincut3);
+ min_cut_value=cut_value(G,mincut3,cap);
+
+ CutMap minmincut3(G,false);
+ preflow_test.minMinCut(minmincut3);
+ min_min_cut_value=cut_value(G,minmincut3,cap);
+
+ preflow_test.maxMinCut(maxmincut);
+ max_min_cut_value=cut_value(G,maxmincut,cap);
+
+ check(preflow_test.flowValue() == min_cut_value &&
+ min_cut_value == min_min_cut_value &&
+ min_min_cut_value == max_min_cut_value,
+ "The max flow value or the three min cut values are incorrect.");
+}
+
+
+
More information about the Lemon-commits
mailing list