... | ... |
@@ -408,106 +408,106 @@ |
408 | 408 |
|
409 | 409 |
/// \brief Sets the flow map. |
410 | 410 |
/// |
411 | 411 |
/// Sets the flow map. |
412 | 412 |
/// If you don't use this function before calling \ref run() or |
413 | 413 |
/// \ref init(), an instance will be allocated automatically. |
414 | 414 |
/// The destructor deallocates this automatically allocated map, |
415 | 415 |
/// of course. |
416 | 416 |
/// \return <tt>(*this)</tt> |
417 | 417 |
Circulation& flowMap(FlowMap& map) { |
418 | 418 |
if (_local_flow) { |
419 | 419 |
delete _flow; |
420 | 420 |
_local_flow = false; |
421 | 421 |
} |
422 | 422 |
_flow = ↦ |
423 | 423 |
return *this; |
424 | 424 |
} |
425 | 425 |
|
426 | 426 |
/// \brief Sets the elevator used by algorithm. |
427 | 427 |
/// |
428 | 428 |
/// Sets the elevator used by algorithm. |
429 | 429 |
/// If you don't use this function before calling \ref run() or |
430 | 430 |
/// \ref init(), an instance will be allocated automatically. |
431 | 431 |
/// The destructor deallocates this automatically allocated elevator, |
432 | 432 |
/// of course. |
433 | 433 |
/// \return <tt>(*this)</tt> |
434 | 434 |
Circulation& elevator(Elevator& elevator) { |
435 | 435 |
if (_local_level) { |
436 | 436 |
delete _level; |
437 | 437 |
_local_level = false; |
438 | 438 |
} |
439 | 439 |
_level = &elevator; |
440 | 440 |
return *this; |
441 | 441 |
} |
442 | 442 |
|
443 | 443 |
/// \brief Returns a const reference to the elevator. |
444 | 444 |
/// |
445 | 445 |
/// Returns a const reference to the elevator. |
446 | 446 |
/// |
447 | 447 |
/// \pre Either \ref run() or \ref init() must be called before |
448 | 448 |
/// using this function. |
449 | 449 |
const Elevator& elevator() const { |
450 | 450 |
return *_level; |
451 | 451 |
} |
452 | 452 |
|
453 | 453 |
/// \brief Sets the tolerance used by algorithm. |
454 | 454 |
/// |
455 | 455 |
/// Sets the tolerance used by algorithm. |
456 |
Circulation& tolerance(const Tolerance& tolerance) |
|
456 |
Circulation& tolerance(const Tolerance& tolerance) { |
|
457 | 457 |
_tol = tolerance; |
458 | 458 |
return *this; |
459 | 459 |
} |
460 | 460 |
|
461 | 461 |
/// \brief Returns a const reference to the tolerance. |
462 | 462 |
/// |
463 | 463 |
/// Returns a const reference to the tolerance. |
464 | 464 |
const Tolerance& tolerance() const { |
465 |
return |
|
465 |
return _tol; |
|
466 | 466 |
} |
467 | 467 |
|
468 | 468 |
/// \name Execution Control |
469 | 469 |
/// The simplest way to execute the algorithm is to call \ref run().\n |
470 | 470 |
/// If you need more control on the initial solution or the execution, |
471 | 471 |
/// first you have to call one of the \ref init() functions, then |
472 | 472 |
/// the \ref start() function. |
473 | 473 |
|
474 | 474 |
///@{ |
475 | 475 |
|
476 | 476 |
/// Initializes the internal data structures. |
477 | 477 |
|
478 | 478 |
/// Initializes the internal data structures and sets all flow values |
479 | 479 |
/// to the lower bound. |
480 | 480 |
void init() |
481 | 481 |
{ |
482 | 482 |
LEMON_DEBUG(checkBoundMaps(), |
483 | 483 |
"Upper bounds must be greater or equal to the lower bounds"); |
484 | 484 |
|
485 | 485 |
createStructures(); |
486 | 486 |
|
487 | 487 |
for(NodeIt n(_g);n!=INVALID;++n) { |
488 | 488 |
(*_excess)[n] = (*_supply)[n]; |
489 | 489 |
} |
490 | 490 |
|
491 | 491 |
for (ArcIt e(_g);e!=INVALID;++e) { |
492 | 492 |
_flow->set(e, (*_lo)[e]); |
493 | 493 |
(*_excess)[_g.target(e)] += (*_flow)[e]; |
494 | 494 |
(*_excess)[_g.source(e)] -= (*_flow)[e]; |
495 | 495 |
} |
496 | 496 |
|
497 | 497 |
// global relabeling tested, but in general case it provides |
498 | 498 |
// worse performance for random digraphs |
499 | 499 |
_level->initStart(); |
500 | 500 |
for(NodeIt n(_g);n!=INVALID;++n) |
501 | 501 |
_level->initAddItem(n); |
502 | 502 |
_level->initFinish(); |
503 | 503 |
for(NodeIt n(_g);n!=INVALID;++n) |
504 | 504 |
if(_tol.positive((*_excess)[n])) |
505 | 505 |
_level->activate(n); |
506 | 506 |
} |
507 | 507 |
|
508 | 508 |
/// Initializes the internal data structures using a greedy approach. |
509 | 509 |
|
510 | 510 |
/// Initializes the internal data structures using a greedy approach |
511 | 511 |
/// to construct the initial solution. |
512 | 512 |
void greedyInit() |
513 | 513 |
{ |
... | ... |
@@ -329,106 +329,106 @@ |
329 | 329 |
/// \brief Sets the source node. |
330 | 330 |
/// |
331 | 331 |
/// Sets the source node. |
332 | 332 |
/// \return <tt>(*this)</tt> |
333 | 333 |
Preflow& source(const Node& node) { |
334 | 334 |
_source = node; |
335 | 335 |
return *this; |
336 | 336 |
} |
337 | 337 |
|
338 | 338 |
/// \brief Sets the target node. |
339 | 339 |
/// |
340 | 340 |
/// Sets the target node. |
341 | 341 |
/// \return <tt>(*this)</tt> |
342 | 342 |
Preflow& target(const Node& node) { |
343 | 343 |
_target = node; |
344 | 344 |
return *this; |
345 | 345 |
} |
346 | 346 |
|
347 | 347 |
/// \brief Sets the elevator used by algorithm. |
348 | 348 |
/// |
349 | 349 |
/// Sets the elevator used by algorithm. |
350 | 350 |
/// If you don't use this function before calling \ref run() or |
351 | 351 |
/// \ref init(), an instance will be allocated automatically. |
352 | 352 |
/// The destructor deallocates this automatically allocated elevator, |
353 | 353 |
/// of course. |
354 | 354 |
/// \return <tt>(*this)</tt> |
355 | 355 |
Preflow& elevator(Elevator& elevator) { |
356 | 356 |
if (_local_level) { |
357 | 357 |
delete _level; |
358 | 358 |
_local_level = false; |
359 | 359 |
} |
360 | 360 |
_level = &elevator; |
361 | 361 |
return *this; |
362 | 362 |
} |
363 | 363 |
|
364 | 364 |
/// \brief Returns a const reference to the elevator. |
365 | 365 |
/// |
366 | 366 |
/// Returns a const reference to the elevator. |
367 | 367 |
/// |
368 | 368 |
/// \pre Either \ref run() or \ref init() must be called before |
369 | 369 |
/// using this function. |
370 | 370 |
const Elevator& elevator() const { |
371 | 371 |
return *_level; |
372 | 372 |
} |
373 | 373 |
|
374 | 374 |
/// \brief Sets the tolerance used by algorithm. |
375 | 375 |
/// |
376 | 376 |
/// Sets the tolerance used by algorithm. |
377 |
Preflow& tolerance(const Tolerance& tolerance) |
|
377 |
Preflow& tolerance(const Tolerance& tolerance) { |
|
378 | 378 |
_tolerance = tolerance; |
379 | 379 |
return *this; |
380 | 380 |
} |
381 | 381 |
|
382 | 382 |
/// \brief Returns a const reference to the tolerance. |
383 | 383 |
/// |
384 | 384 |
/// Returns a const reference to the tolerance. |
385 | 385 |
const Tolerance& tolerance() const { |
386 |
return |
|
386 |
return _tolerance; |
|
387 | 387 |
} |
388 | 388 |
|
389 | 389 |
/// \name Execution Control |
390 | 390 |
/// The simplest way to execute the preflow algorithm is to use |
391 | 391 |
/// \ref run() or \ref runMinCut().\n |
392 | 392 |
/// If you need more control on the initial solution or the execution, |
393 | 393 |
/// first you have to call one of the \ref init() functions, then |
394 | 394 |
/// \ref startFirstPhase() and if you need it \ref startSecondPhase(). |
395 | 395 |
|
396 | 396 |
///@{ |
397 | 397 |
|
398 | 398 |
/// \brief Initializes the internal data structures. |
399 | 399 |
/// |
400 | 400 |
/// Initializes the internal data structures and sets the initial |
401 | 401 |
/// flow to zero on each arc. |
402 | 402 |
void init() { |
403 | 403 |
createStructures(); |
404 | 404 |
|
405 | 405 |
_phase = true; |
406 | 406 |
for (NodeIt n(_graph); n != INVALID; ++n) { |
407 | 407 |
(*_excess)[n] = 0; |
408 | 408 |
} |
409 | 409 |
|
410 | 410 |
for (ArcIt e(_graph); e != INVALID; ++e) { |
411 | 411 |
_flow->set(e, 0); |
412 | 412 |
} |
413 | 413 |
|
414 | 414 |
typename Digraph::template NodeMap<bool> reached(_graph, false); |
415 | 415 |
|
416 | 416 |
_level->initStart(); |
417 | 417 |
_level->initAddItem(_target); |
418 | 418 |
|
419 | 419 |
std::vector<Node> queue; |
420 | 420 |
reached[_source] = true; |
421 | 421 |
|
422 | 422 |
queue.push_back(_target); |
423 | 423 |
reached[_target] = true; |
424 | 424 |
while (!queue.empty()) { |
425 | 425 |
_level->initNewLevel(); |
426 | 426 |
std::vector<Node> nqueue; |
427 | 427 |
for (int i = 0; i < int(queue.size()); ++i) { |
428 | 428 |
Node n = queue[i]; |
429 | 429 |
for (InArcIt e(_graph, n); e != INVALID; ++e) { |
430 | 430 |
Node u = _graph.source(e); |
431 | 431 |
if (!reached[u] && _tolerance.positive((*_capacity)[e])) { |
432 | 432 |
reached[u] = true; |
433 | 433 |
_level->initAddItem(u); |
434 | 434 |
nqueue.push_back(u); |
0 comments (0 inline)