| ... | ... |
@@ -27,7 +27,8 @@ |
| 27 | 27 |
///for labeling items in push-relabel type algorithms. |
| 28 | 28 |
/// |
| 29 | 29 |
|
| 30 |
#include < |
|
| 30 |
#include <lemon/bits/traits.h> |
|
| 31 |
|
|
| 31 | 32 |
namespace lemon {
|
| 32 | 33 |
|
| 33 | 34 |
///Class for handling "labels" in push-relabel type algorithms. |
| ... | ... |
@@ -44,9 +45,9 @@ |
| 44 | 45 |
/// |
| 45 | 46 |
///\sa LinkedElevator |
| 46 | 47 |
/// |
| 47 |
///\param Graph the underlying graph |
|
| 48 |
///\param Graph Type of the underlying graph. |
|
| 48 | 49 |
///\param Item Type of the items the data is assigned to (Graph::Node, |
| 49 |
///Graph:: |
|
| 50 |
///Graph::Arc, Graph::Edge). |
|
| 50 | 51 |
template<class Graph, class Item> |
| 51 | 52 |
class Elevator |
| 52 | 53 |
{
|
| ... | ... |
@@ -100,15 +101,15 @@ |
| 100 | 101 |
|
| 101 | 102 |
///Constructor with given maximum level. |
| 102 | 103 |
/// |
| 103 |
///\param g The underlying graph |
|
| 104 |
///\param max_level Set the range of the possible labels to |
|
| 105 |
///[0...\c max_level] |
|
| 106 |
Elevator(const Graph &g,int max_level) : |
|
| 107 |
|
|
| 104 |
///\param graph The underlying graph. |
|
| 105 |
///\param max_level The maximum allowed level. |
|
| 106 |
///Set the range of the possible labels to <tt>[0..max_level]</tt>. |
|
| 107 |
Elevator(const Graph &graph,int max_level) : |
|
| 108 |
_g(graph), |
|
| 108 | 109 |
_max_level(max_level), |
| 109 | 110 |
_item_num(_max_level), |
| 110 |
_where(g), |
|
| 111 |
_level(g,0), |
|
| 111 |
_where(graph), |
|
| 112 |
_level(graph,0), |
|
| 112 | 113 |
_items(_max_level), |
| 113 | 114 |
_first(_max_level+2), |
| 114 | 115 |
_last_active(_max_level+2), |
| ... | ... |
@@ -117,15 +118,15 @@ |
| 117 | 118 |
|
| 118 | 119 |
///Constructor. |
| 119 | 120 |
/// |
| 120 |
///\param g The underlying graph |
|
| 121 |
///The range of the possible labels is [0...\c max_level], |
|
| 121 |
///\param graph The underlying graph. |
|
| 122 |
///Set the range of the possible labels to <tt>[0..max_level]</tt>, |
|
| 122 | 123 |
///where \c max_level is equal to the number of labeled items in the graph. |
| 123 |
Elevator(const Graph &g) : |
|
| 124 |
_g(g), |
|
| 125 |
|
|
| 124 |
Elevator(const Graph &graph) : |
|
| 125 |
_g(graph), |
|
| 126 |
_max_level(countItems<Graph, Item>(graph)), |
|
| 126 | 127 |
_item_num(_max_level), |
| 127 |
_where(g), |
|
| 128 |
_level(g,0), |
|
| 128 |
_where(graph), |
|
| 129 |
_level(graph,0), |
|
| 129 | 130 |
_items(_max_level), |
| 130 | 131 |
_first(_max_level+2), |
| 131 | 132 |
_last_active(_max_level+2), |
| ... | ... |
@@ -167,7 +168,7 @@ |
| 167 | 168 |
{
|
| 168 | 169 |
return _first[l+1]-_first[l]; |
| 169 | 170 |
} |
| 170 |
///Return true if |
|
| 171 |
///Return true if level \c l is empty. |
|
| 171 | 172 |
bool emptyLevel(int l) const |
| 172 | 173 |
{
|
| 173 | 174 |
return _first[l+1]-_first[l]==0; |
| ... | ... |
@@ -182,7 +183,7 @@ |
| 182 | 183 |
{
|
| 183 | 184 |
return _last_active[l]-_first[l]+1; |
| 184 | 185 |
} |
| 185 |
///Return true if there is |
|
| 186 |
///Return true if there is no active item on level \c l. |
|
| 186 | 187 |
bool activeFree(int l) const |
| 187 | 188 |
{
|
| 188 | 189 |
return _last_active[l]<_first[l]; |
| ... | ... |
@@ -201,20 +202,16 @@ |
| 201 | 202 |
|
| 202 | 203 |
///Return a highest level active item. |
| 203 | 204 |
|
| 204 |
///Return a highest level active item. |
|
| 205 |
/// |
|
| 206 |
/// |
|
| 205 |
///Return a highest level active item or INVALID if there is no active |
|
| 207 | 206 |
///item. |
| 208 | 207 |
Item highestActive() const |
| 209 | 208 |
{
|
| 210 | 209 |
return _highest_active>=0?*_last_active[_highest_active]:INVALID; |
| 211 | 210 |
} |
| 212 | 211 |
|
| 213 |
///Return |
|
| 212 |
///Return the highest active level. |
|
| 214 | 213 |
|
| 215 |
///Return a highest active level. |
|
| 216 |
/// |
|
| 217 |
/// |
|
| 214 |
///Return the level of the highest active item or -1 if there is no active |
|
| 218 | 215 |
///item. |
| 219 | 216 |
int highestActiveLevel() const |
| 220 | 217 |
{
|
| ... | ... |
@@ -233,7 +230,7 @@ |
| 233 | 230 |
--_first[++_highest_active]; |
| 234 | 231 |
} |
| 235 | 232 |
|
| 236 |
///Lift the highest active item. |
|
| 233 |
///Lift the highest active item to the given level. |
|
| 237 | 234 |
|
| 238 | 235 |
///Lift the item returned by highestActive() to level \c new_level. |
| 239 | 236 |
/// |
| ... | ... |
@@ -255,14 +252,10 @@ |
| 255 | 252 |
_highest_active=new_level; |
| 256 | 253 |
} |
| 257 | 254 |
|
| 258 |
///Lift the highest active item. |
|
| 255 |
///Lift the highest active item to the top level. |
|
| 259 | 256 |
|
| 260 | 257 |
///Lift the item returned by highestActive() to the top level and |
| 261 |
///deactivates it. |
|
| 262 |
/// |
|
| 263 |
///\warning \c new_level must be strictly higher |
|
| 264 |
///than the current level. |
|
| 265 |
/// |
|
| 258 |
///deactivate it. |
|
| 266 | 259 |
void liftHighestActiveToTop() |
| 267 | 260 |
{
|
| 268 | 261 |
const Item li = *_last_active[_highest_active]; |
| ... | ... |
@@ -289,20 +282,18 @@ |
| 289 | 282 |
|
| 290 | 283 |
///@{
|
| 291 | 284 |
|
| 292 |
/// |
|
| 285 |
///Return an active item on level \c l. |
|
| 293 | 286 |
|
| 294 |
///Returns an active item on level \c l. |
|
| 295 |
/// |
|
| 296 |
/// |
|
| 287 |
///Return an active item on level \c l or \ref INVALID if there is no such |
|
| 297 | 288 |
///an item. (\c l must be from the range [0...\c max_level]. |
| 298 | 289 |
Item activeOn(int l) const |
| 299 | 290 |
{
|
| 300 | 291 |
return _last_active[l]>=_first[l]?*_last_active[l]:INVALID; |
| 301 | 292 |
} |
| 302 | 293 |
|
| 303 |
/// |
|
| 294 |
///Lift the active item returned by \c activeOn(level) by one. |
|
| 304 | 295 |
|
| 305 |
/// |
|
| 296 |
///Lift the active item returned by \ref activeOn() "activeOn(level)" |
|
| 306 | 297 |
///by one. |
| 307 | 298 |
Item liftActiveOn(int level) |
| 308 | 299 |
{
|
| ... | ... |
@@ -312,9 +303,9 @@ |
| 312 | 303 |
if (level+1>_highest_active) ++_highest_active; |
| 313 | 304 |
} |
| 314 | 305 |
|
| 315 |
/// |
|
| 306 |
///Lift the active item returned by \c activeOn(level) to the given level. |
|
| 316 | 307 |
|
| 317 |
/// |
|
| 308 |
///Lift the active item returned by \ref activeOn() "activeOn(level)" |
|
| 318 | 309 |
///to the given level. |
| 319 | 310 |
void liftActiveOn(int level, int new_level) |
| 320 | 311 |
{
|
| ... | ... |
@@ -331,10 +322,10 @@ |
| 331 | 322 |
if (new_level>_highest_active) _highest_active=new_level; |
| 332 | 323 |
} |
| 333 | 324 |
|
| 334 |
/// |
|
| 325 |
///Lift the active item returned by \c activeOn(level) to the top level. |
|
| 335 | 326 |
|
| 336 |
///Lifts the active item returned by \c activeOn() member function |
|
| 337 |
///to the top level. |
|
| 327 |
///Lift the active item returned by \ref activeOn() "activeOn(level)" |
|
| 328 |
///to the top level and deactivate it. |
|
| 338 | 329 |
void liftActiveToTop(int level) |
| 339 | 330 |
{
|
| 340 | 331 |
const Item ai = *_last_active[level]; |
| ... | ... |
@@ -384,18 +375,19 @@ |
| 384 | 375 |
|
| 385 | 376 |
///Move an inactive item to the top but one level (in a dirty way). |
| 386 | 377 |
|
| 387 |
///This function moves an inactive item to the top but one level. |
|
| 388 |
///It makes the underlying datastructure corrupt, so use is only if |
|
| 389 |
/// |
|
| 378 |
///This function moves an inactive item from the top level to the top |
|
| 379 |
///but one level (in a dirty way). |
|
| 380 |
///\warning It makes the underlying datastructure corrupt, so use it |
|
| 381 |
///only if you really know what it is for. |
|
| 390 | 382 |
///\pre The item is on the top level. |
| 391 | 383 |
void dirtyTopButOne(Item i) {
|
| 392 | 384 |
_level.set(i,_max_level - 1); |
| 393 | 385 |
} |
| 394 | 386 |
|
| 395 |
///Lift all items on and above |
|
| 387 |
///Lift all items on and above the given level to the top level. |
|
| 396 | 388 |
|
| 397 |
///This function lifts all items on and above level \c l to \c |
|
| 398 |
///maxLevel(), and also deactivates them. |
|
| 389 |
///This function lifts all items on and above level \c l to the top |
|
| 390 |
///level and deactivates them. |
|
| 399 | 391 |
void liftToTop(int l) |
| 400 | 392 |
{
|
| 401 | 393 |
const Vit f=_first[l]; |
| ... | ... |
@@ -420,18 +412,16 @@ |
| 420 | 412 |
public: |
| 421 | 413 |
|
| 422 | 414 |
///\name Initialization |
| 423 |
///Using |
|
| 415 |
///Using these functions you can initialize the levels of the items. |
|
| 424 | 416 |
///\n |
| 425 |
///This initializatios is started with calling \c initStart(). |
|
| 426 |
///Then the |
|
| 427 |
///items should be listed levels by levels statring with the lowest one |
|
| 428 |
///(with level 0). This is done by using \c initAddItem() |
|
| 429 |
///and \c initNewLevel(). Finally \c initFinish() must be called. |
|
| 430 |
///The items not listed will be put on the highest level. |
|
| 417 |
///The initialization must be started with calling \c initStart(). |
|
| 418 |
///Then the items should be listed level by level starting with the |
|
| 419 |
///lowest one (level 0) using \c initAddItem() and \c initNewLevel(). |
|
| 420 |
///Finally \c initFinish() must be called. |
|
| 421 |
///The items not listed are put on the highest level. |
|
| 431 | 422 |
///@{
|
| 432 | 423 |
|
| 433 | 424 |
///Start the initialization process. |
| 434 |
|
|
| 435 | 425 |
void initStart() |
| 436 | 426 |
{
|
| 437 | 427 |
_init_lev=0; |
| ... | ... |
@@ -449,7 +439,6 @@ |
| 449 | 439 |
} |
| 450 | 440 |
|
| 451 | 441 |
///Add an item to the current level. |
| 452 |
|
|
| 453 | 442 |
void initAddItem(Item i) |
| 454 | 443 |
{
|
| 455 | 444 |
swap(_where[i],_init_num); |
| ... | ... |
@@ -469,7 +458,6 @@ |
| 469 | 458 |
} |
| 470 | 459 |
|
| 471 | 460 |
///Finalize the initialization process. |
| 472 |
|
|
| 473 | 461 |
void initFinish() |
| 474 | 462 |
{
|
| 475 | 463 |
for(_init_lev++;_init_lev<=_max_level;_init_lev++) |
| ... | ... |
@@ -500,9 +488,9 @@ |
| 500 | 488 |
/// |
| 501 | 489 |
///\sa Elevator |
| 502 | 490 |
/// |
| 503 |
///\param Graph the underlying graph |
|
| 491 |
///\param Graph Type of the underlying graph. |
|
| 504 | 492 |
///\param Item Type of the items the data is assigned to (Graph::Node, |
| 505 |
///Graph:: |
|
| 493 |
///Graph::Arc, Graph::Edge). |
|
| 506 | 494 |
template <class Graph, class Item> |
| 507 | 495 |
class LinkedElevator {
|
| 508 | 496 |
public: |
| ... | ... |
@@ -533,9 +521,9 @@ |
| 533 | 521 |
|
| 534 | 522 |
///Constructor with given maximum level. |
| 535 | 523 |
/// |
| 536 |
///\param g The underlying graph |
|
| 537 |
///\param max_level Set the range of the possible labels to |
|
| 538 |
/// |
|
| 524 |
///\param graph The underlying graph. |
|
| 525 |
///\param max_level The maximum allowed level. |
|
| 526 |
///Set the range of the possible labels to <tt>[0..max_level]</tt>. |
|
| 539 | 527 |
LinkedElevator(const Graph& graph, int max_level) |
| 540 | 528 |
: _graph(graph), _max_level(max_level), _item_num(_max_level), |
| 541 | 529 |
_first(_max_level + 1), _last(_max_level + 1), |
| ... | ... |
@@ -546,8 +534,8 @@ |
| 546 | 534 |
|
| 547 | 535 |
///Constructor. |
| 548 | 536 |
/// |
| 549 |
///\param g The underlying graph |
|
| 550 |
///The range of the possible labels is [0...\c max_level], |
|
| 537 |
///\param graph The underlying graph. |
|
| 538 |
///Set the range of the possible labels to <tt>[0..max_level]</tt>, |
|
| 551 | 539 |
///where \c max_level is equal to the number of labeled items in the graph. |
| 552 | 540 |
LinkedElevator(const Graph& graph) |
| 553 | 541 |
: _graph(graph), _max_level(countItems<Graph, Item>(graph)), |
| ... | ... |
@@ -657,7 +645,7 @@ |
| 657 | 645 |
return num; |
| 658 | 646 |
} |
| 659 | 647 |
|
| 660 |
///Return true if there is |
|
| 648 |
///Return true if there is no active item on level \c l. |
|
| 661 | 649 |
bool activeFree(int l) const {
|
| 662 | 650 |
return _first[l] == INVALID || !_active[_first[l]]; |
| 663 | 651 |
} |
| ... | ... |
@@ -675,20 +663,16 @@ |
| 675 | 663 |
|
| 676 | 664 |
///Return a highest level active item. |
| 677 | 665 |
|
| 678 |
///Return a highest level active item. |
|
| 679 |
/// |
|
| 680 |
///\return the highest level active item or INVALID if there is no |
|
| 681 |
///active item. |
|
| 666 |
///Return a highest level active item or INVALID if there is no active |
|
| 667 |
///item. |
|
| 682 | 668 |
Item highestActive() const {
|
| 683 | 669 |
return _highest_active >= 0 ? _first[_highest_active] : INVALID; |
| 684 | 670 |
} |
| 685 | 671 |
|
| 686 |
///Return |
|
| 672 |
///Return the highest active level. |
|
| 687 | 673 |
|
| 688 |
///Return a highest active level. |
|
| 689 |
/// |
|
| 690 |
///\return the level of the highest active item or -1 if there is |
|
| 691 |
///no active item. |
|
| 674 |
///Return the level of the highest active item or -1 if there is no active |
|
| 675 |
///item. |
|
| 692 | 676 |
int highestActiveLevel() const {
|
| 693 | 677 |
return _highest_active; |
| 694 | 678 |
} |
| ... | ... |
@@ -719,7 +703,7 @@ |
| 719 | 703 |
} |
| 720 | 704 |
} |
| 721 | 705 |
|
| 722 |
///Lift the highest active item. |
|
| 706 |
///Lift the highest active item to the given level. |
|
| 723 | 707 |
|
| 724 | 708 |
///Lift the item returned by highestActive() to level \c new_level. |
| 725 | 709 |
/// |
| ... | ... |
@@ -747,11 +731,10 @@ |
| 747 | 731 |
} |
| 748 | 732 |
} |
| 749 | 733 |
|
| 750 |
///Lift the highest active to top. |
|
| 734 |
///Lift the highest active item to the top level. |
|
| 751 | 735 |
|
| 752 | 736 |
///Lift the item returned by highestActive() to the top level and |
| 753 |
///deactivates the item. |
|
| 754 |
/// |
|
| 737 |
///deactivate it. |
|
| 755 | 738 |
void liftHighestActiveToTop() {
|
| 756 | 739 |
Item i = _first[_highest_active]; |
| 757 | 740 |
_level.set(i, _max_level); |
| ... | ... |
@@ -773,20 +756,18 @@ |
| 773 | 756 |
|
| 774 | 757 |
///@{
|
| 775 | 758 |
|
| 776 |
/// |
|
| 759 |
///Return an active item on level \c l. |
|
| 777 | 760 |
|
| 778 |
///Returns an active item on level \c l. |
|
| 779 |
/// |
|
| 780 |
/// |
|
| 761 |
///Return an active item on level \c l or \ref INVALID if there is no such |
|
| 781 | 762 |
///an item. (\c l must be from the range [0...\c max_level]. |
| 782 | 763 |
Item activeOn(int l) const |
| 783 | 764 |
{
|
| 784 | 765 |
return _active[_first[l]] ? _first[l] : INVALID; |
| 785 | 766 |
} |
| 786 | 767 |
|
| 787 |
/// |
|
| 768 |
///Lift the active item returned by \c activeOn(l) by one. |
|
| 788 | 769 |
|
| 789 |
/// |
|
| 770 |
///Lift the active item returned by \ref activeOn() "activeOn(l)" |
|
| 790 | 771 |
///by one. |
| 791 | 772 |
Item liftActiveOn(int l) |
| 792 | 773 |
{
|
| ... | ... |
@@ -813,10 +794,10 @@ |
| 813 | 794 |
} |
| 814 | 795 |
} |
| 815 | 796 |
|
| 816 |
/// \brief Lifts the active item returned by \c activeOn() member function. |
|
| 817 |
/// |
|
| 818 |
/// Lifts the active item returned by \c activeOn() member function |
|
| 819 |
/// to the given level. |
|
| 797 |
///Lift the active item returned by \c activeOn(l) to the given level. |
|
| 798 |
|
|
| 799 |
///Lift the active item returned by \ref activeOn() "activeOn(l)" |
|
| 800 |
///to the given level. |
|
| 820 | 801 |
void liftActiveOn(int l, int new_level) |
| 821 | 802 |
{
|
| 822 | 803 |
Item i = _first[l]; |
| ... | ... |
@@ -842,10 +823,10 @@ |
| 842 | 823 |
} |
| 843 | 824 |
} |
| 844 | 825 |
|
| 845 |
/// |
|
| 826 |
///Lift the active item returned by \c activeOn(l) to the top level. |
|
| 846 | 827 |
|
| 847 |
///Lifts the active item returned by \c activeOn() member function |
|
| 848 |
///to the top level. |
|
| 828 |
///Lift the active item returned by \ref activeOn() "activeOn(l)" |
|
| 829 |
///to the top level and deactivate it. |
|
| 849 | 830 |
void liftActiveToTop(int l) |
| 850 | 831 |
{
|
| 851 | 832 |
Item i = _first[l]; |
| ... | ... |
@@ -900,18 +881,19 @@ |
| 900 | 881 |
|
| 901 | 882 |
///Move an inactive item to the top but one level (in a dirty way). |
| 902 | 883 |
|
| 903 |
///This function moves an inactive item to the top but one level. |
|
| 904 |
///It makes the underlying datastructure corrupt, so use is only if |
|
| 905 |
/// |
|
| 884 |
///This function moves an inactive item from the top level to the top |
|
| 885 |
///but one level (in a dirty way). |
|
| 886 |
///\warning It makes the underlying datastructure corrupt, so use it |
|
| 887 |
///only if you really know what it is for. |
|
| 906 | 888 |
///\pre The item is on the top level. |
| 907 | 889 |
void dirtyTopButOne(Item i) {
|
| 908 | 890 |
_level.set(i, _max_level - 1); |
| 909 | 891 |
} |
| 910 | 892 |
|
| 911 |
///Lift all items on and above |
|
| 893 |
///Lift all items on and above the given level to the top level. |
|
| 912 | 894 |
|
| 913 |
///This function lifts all items on and above level \c l to \c |
|
| 914 |
///maxLevel(), and also deactivates them. |
|
| 895 |
///This function lifts all items on and above level \c l to the top |
|
| 896 |
///level and deactivates them. |
|
| 915 | 897 |
void liftToTop(int l) {
|
| 916 | 898 |
for (int i = l + 1; _first[i] != INVALID; ++i) {
|
| 917 | 899 |
Item n = _first[i]; |
| ... | ... |
@@ -936,18 +918,16 @@ |
| 936 | 918 |
public: |
| 937 | 919 |
|
| 938 | 920 |
///\name Initialization |
| 939 |
///Using |
|
| 921 |
///Using these functions you can initialize the levels of the items. |
|
| 940 | 922 |
///\n |
| 941 |
///This initializatios is started with calling \c initStart(). |
|
| 942 |
///Then the |
|
| 943 |
///items should be listed levels by levels statring with the lowest one |
|
| 944 |
///(with level 0). This is done by using \c initAddItem() |
|
| 945 |
///and \c initNewLevel(). Finally \c initFinish() must be called. |
|
| 946 |
///The items not listed will be put on the highest level. |
|
| 923 |
///The initialization must be started with calling \c initStart(). |
|
| 924 |
///Then the items should be listed level by level starting with the |
|
| 925 |
///lowest one (level 0) using \c initAddItem() and \c initNewLevel(). |
|
| 926 |
///Finally \c initFinish() must be called. |
|
| 927 |
///The items not listed are put on the highest level. |
|
| 947 | 928 |
///@{
|
| 948 | 929 |
|
| 949 | 930 |
///Start the initialization process. |
| 950 |
|
|
| 951 | 931 |
void initStart() {
|
| 952 | 932 |
|
| 953 | 933 |
for (int i = 0; i <= _max_level; ++i) {
|
| ... | ... |
@@ -962,7 +942,6 @@ |
| 962 | 942 |
} |
| 963 | 943 |
|
| 964 | 944 |
///Add an item to the current level. |
| 965 |
|
|
| 966 | 945 |
void initAddItem(Item i) {
|
| 967 | 946 |
_level.set(i, _init_level); |
| 968 | 947 |
if (_last[_init_level] == INVALID) {
|
| ... | ... |
@@ -987,7 +966,6 @@ |
| 987 | 966 |
} |
| 988 | 967 |
|
| 989 | 968 |
///Finalize the initialization process. |
| 990 |
|
|
| 991 | 969 |
void initFinish() {
|
| 992 | 970 |
_highest_active = -1; |
| 993 | 971 |
} |
0 comments (0 inline)