# HG changeset patch # User jacint # Date 1095072628 0 # Node ID 512e5fd7d38b496d9fbb6a748d02beccf14112a4 # Parent fbee94295d754dc8c236d4e5050a3c61986d2861 preflow test diff -r fbee94295d75 -r 512e5fd7d38b src/test/Makefile.am --- a/src/test/Makefile.am Sun Sep 12 22:12:29 2004 +0000 +++ b/src/test/Makefile.am Mon Sep 13 10:50:28 2004 +0000 @@ -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 diff -r fbee94295d75 -r 512e5fd7d38b src/test/dijkstra_heap_test.cc --- a/src/test/dijkstra_heap_test.cc Sun Sep 12 22:12:29 2004 +0000 +++ b/src/test/dijkstra_heap_test.cc Mon Sep 13 10:50:28 2004 +0000 @@ -31,7 +31,7 @@ typedef Graph::Node Node; typedef Graph::EdgeIt EdgeIt; typedef Graph::NodeIt NodeIt; - typedef Graph::EdgeMap LengthMap; + typedef Graph::template EdgeMap LengthMap; Graph G; Node s, t; diff -r fbee94295d75 -r 512e5fd7d38b src/test/preflow_graph --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/test/preflow_graph Mon Sep 13 10:50:28 2004 +0000 @@ -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 diff -r fbee94295d75 -r 512e5fd7d38b src/test/preflow_test.cc --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/test/preflow_test.cc Mon Sep 13 10:50:28 2004 +0000 @@ -0,0 +1,166 @@ +#include +#include "test_tools.h" +#include +#include +#include +#include +#include +using namespace hugo; + +void check_Preflow() +{ + typedef int VType; + typedef skeleton::StaticGraphSkeleton Graph; + + typedef Graph::Node Node; + typedef Graph::Edge Edge; + typedef skeleton::ReadMap CapMap; + typedef skeleton::ReadWriteMap FlowMap; + typedef skeleton::ReadWriteMap CutMap; + + typedef Preflow 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& cut, + SmartGraph::EdgeMap& 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 CapMap; + typedef Graph::EdgeMap FlowMap; + typedef Graph::NodeMap CutMap; + + typedef Preflow 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."); +} + + +