COIN-OR::LEMON - Graph Library

Changeset 436:561be42c4b99 in lemon-1.2 for lemon


Ignore:
Timestamp:
12/21/08 00:13:02 (15 years ago)
Author:
Balazs Dezso <deba@…>
Branch:
default
Children:
437:6c1ac149ebf8, 438:81d40f1c850c
Phase:
public
Message:

Bug fix in heap unionfind (ticket #197)

The minimum item in the unionfind tree might become inconsistent when
the split operation merges two subtrees which have equal keys. The
current changeset fix the problem. It also fix a wrong index.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • lemon/unionfind.h

    r236 r436  
    11781178            if (nodes[nodes[jd].next].size < cmax) {
    11791179              pushLeft(nodes[jd].next, nodes[jd].left);
    1180               if (less(nodes[jd].left, nodes[jd].next)) {
    1181                 nodes[nodes[jd].next].prio = nodes[nodes[jd].left].prio;
    1182                 nodes[nodes[jd].next].item = nodes[nodes[jd].left].item;
     1180              if (nodes[jd].item == nodes[pd].item) {
     1181                nodes[nodes[jd].next].prio = nodes[jd].prio;
     1182                nodes[nodes[jd].next].item = nodes[jd].item;
    11831183              }
    11841184              popLeft(pd);
     
    11891189              popLeft(nodes[jd].next);
    11901190              pushRight(jd, ld);
    1191               if (less(ld, nodes[jd].left)) {
     1191              if (less(ld, nodes[jd].left) ||
     1192                  nodes[ld].item == nodes[pd].item) {
    11921193                nodes[jd].item = nodes[ld].item;
    1193                 nodes[jd].prio = nodes[jd].prio;
     1194                nodes[jd].prio = nodes[ld].prio;
    11941195              }
    11951196              if (nodes[nodes[jd].next].item == nodes[ld].item) {
     
    12201221            if (nodes[nodes[jd].prev].size < cmax) {
    12211222              pushRight(nodes[jd].prev, nodes[jd].right);
    1222               if (less(nodes[jd].right, nodes[jd].prev)) {
    1223                 nodes[nodes[jd].prev].prio = nodes[nodes[jd].right].prio;
    1224                 nodes[nodes[jd].prev].item = nodes[nodes[jd].right].item;
     1223              if (nodes[jd].item == nodes[pd].item) {
     1224                nodes[nodes[jd].prev].prio = nodes[jd].prio;
     1225                nodes[nodes[jd].prev].item = nodes[jd].item;
    12251226              }
    12261227              popRight(pd);
     
    12311232              popRight(nodes[jd].prev);
    12321233              pushLeft(jd, ld);
    1233               if (less(ld, nodes[jd].right)) {
     1234              if (less(ld, nodes[jd].right) ||
     1235                  nodes[ld].item == nodes[pd].item) {
    12341236                nodes[jd].item = nodes[ld].item;
    1235                 nodes[jd].prio = nodes[jd].prio;
     1237                nodes[jd].prio = nodes[ld].prio;
    12361238              }
    12371239              if (nodes[nodes[jd].prev].item == nodes[ld].item) {
     
    14011403              push(new_id, right_id);
    14021404              pushRight(new_id, ~(classes[r].parent));
    1403               setPrio(new_id);
     1405
     1406              if (less(~classes[r].parent, right_id)) {
     1407                nodes[new_id].item = nodes[~classes[r].parent].item;
     1408                nodes[new_id].prio = nodes[~classes[r].parent].prio;
     1409              } else {
     1410                nodes[new_id].item = nodes[right_id].item;
     1411                nodes[new_id].prio = nodes[right_id].prio;
     1412              }
    14041413
    14051414              id = nodes[id].parent;
     
    14411450              push(new_id, left_id);
    14421451              pushLeft(new_id, ~(classes[l].parent));
    1443               setPrio(new_id);
     1452
     1453              if (less(~classes[l].parent, left_id)) {
     1454                nodes[new_id].item = nodes[~classes[l].parent].item;
     1455                nodes[new_id].prio = nodes[~classes[l].parent].prio;
     1456              } else {
     1457                nodes[new_id].item = nodes[left_id].item;
     1458                nodes[new_id].prio = nodes[left_id].prio;
     1459              }
    14441460
    14451461              id = nodes[id].parent;
Note: See TracChangeset for help on using the changeset viewer.