paweld/lazarus
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/lazarus/lazarus.git synced 2025-08-12 22:40:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

avglvltree: use rotateleft/right for delete

Browse Source 
git-svn-id: trunk@36139 -
This commit is contained in:
mattias 2012-03-17 21:11:41 +00:00
parent 55c2b15076
commit 23abaf2eae
1 changed files with 20 additions and 171 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

191
components/lazutils/avglvltree.pas
View File

@ -834,9 +834,7 @@ end;
procedure TAvgLvlTree.BalanceAfterDelete(ANode: TAvgLvlTreeNode); procedure TAvgLvlTree.BalanceAfterDelete(ANode: TAvgLvlTreeNode);
var var
OldParent, OldRight, OldRightLeft, OldLeft, OldLeftRight, OldParent, OldRight, OldRightLeft, OldLeft, OldLeftRight: TAvgLvlTreeNode;
OldRightLeftLeft, OldRightLeftRight, OldLeftRightLeft, OldLeftRightRight
: TAvgLvlTreeNode;
begin begin
while ANode<>nil do begin while ANode<>nil do begin
if ((ANode.Balance=+1) or (ANode.Balance=-1)) then exit; if ((ANode.Balance=+1) or (ANode.Balance=-1)) then exit;
@ -856,20 +854,7 @@ begin
if (OldRight.Balance>=0) then begin if (OldRight.Balance>=0) then begin
// OldRight.Balance is 0 or -1 // OldRight.Balance is 0 or -1
// rotate ANode,OldRight left // rotate ANode,OldRight left
OldRightLeft:=OldRight.Left; RotateLeft(ANode);
if (OldParent<>nil) then begin
if (OldParent.Left=ANode) then
OldParent.Left:=OldRight
else
OldParent.Right:=OldRight;
end else
fRoot:=OldRight;
ANode.Parent:=OldRight;
ANode.Right:=OldRightLeft;
OldRight.Parent:=OldParent;
OldRight.Left:=ANode;
if (OldRightLeft<>nil) then
OldRightLeft.Parent:=ANode;
ANode.Balance:=(1-OldRight.Balance); // toggle 0 and 1 ANode.Balance:=(1-OldRight.Balance); // toggle 0 and 1
Dec(OldRight.Balance); Dec(OldRight.Balance);
ANode:=OldRight; ANode:=OldRight;
@ -889,26 +874,8 @@ begin
OldRightLeftLeft OldRightLeftRight OldRightLeftLeft OldRightLeftRight
} }
OldRightLeft:=OldRight.Left; OldRightLeft:=OldRight.Left;
OldRightLeftLeft:=OldRightLeft.Left; RotateRight(OldRight);
OldRightLeftRight:=OldRightLeft.Right; RotateLeft(ANode);
if (OldParent<>nil) then begin
if (OldParent.Left=ANode) then
OldParent.Left:=OldRightLeft
else
OldParent.Right:=OldRightLeft;
end else
fRoot:=OldRightLeft;
ANode.Parent:=OldRightLeft;
ANode.Right:=OldRightLeftLeft;
OldRight.Parent:=OldRightLeft;
OldRight.Left:=OldRightLeftRight;
OldRightLeft.Parent:=OldParent;
OldRightLeft.Left:=ANode;
OldRightLeft.Right:=OldRight;
if (OldRightLeftLeft<>nil) then
OldRightLeftLeft.Parent:=ANode;
if (OldRightLeftRight<>nil) then
OldRightLeftRight.Parent:=OldRight;
if (OldRightLeft.Balance<=0) then if (OldRightLeft.Balance<=0) then
ANode.Balance:=0 ANode.Balance:=0
else else
@ -926,28 +893,15 @@ begin
OldLeft:=ANode.Left; OldLeft:=ANode.Left;
if (OldLeft.Balance<=0) then begin if (OldLeft.Balance<=0) then begin
// rotate OldLeft,ANode right // rotate OldLeft,ANode right
OldLeftRight:=OldLeft.Right; RotateRight(ANode);
if (OldParent<>nil) then begin
if (OldParent.Left=ANode) then
OldParent.Left:=OldLeft
else
OldParent.Right:=OldLeft;
end else
fRoot:=OldLeft;
ANode.Parent:=OldLeft;
ANode.Left:=OldLeftRight;
OldLeft.Parent:=OldParent;
OldLeft.Right:=ANode;
if (OldLeftRight<>nil) then
OldLeftRight.Parent:=ANode;
ANode.Balance:=(-1-OldLeft.Balance); // toggle 0 and -1 ANode.Balance:=(-1-OldLeft.Balance); // toggle 0 and -1
Inc(OldLeft.Balance); Inc(OldLeft.Balance);
ANode:=OldLeft; ANode:=OldLeft;
end else begin end else begin
// OldLeft.Balance = 1 // OldLeft.Balance = 1
{ double rotate left right { double rotate left right
= rotate OldRightLeft,OldRight right = rotate OldLeft,OldLeftRight left
and then rotate ANode,OldRightLeft left and then rotate OldLeft,ANode right
OldParent OldParent OldParent OldParent
| | | |
ANode OldLeftRight ANode OldLeftRight
@ -959,26 +913,8 @@ begin
OldLeftRightLeft OldLeftRightRight OldLeftRightLeft OldLeftRightRight
} }
OldLeftRight:=OldLeft.Right; OldLeftRight:=OldLeft.Right;
OldLeftRightLeft:=OldLeftRight.Left; RotateLeft(OldLeft);
OldLeftRightRight:=OldLeftRight.Right; RotateRight(ANode);
if (OldParent<>nil) then begin
if (OldParent.Left=ANode) then
OldParent.Left:=OldLeftRight
else
OldParent.Right:=OldLeftRight;
end else
fRoot:=OldLeftRight;
ANode.Parent:=OldLeftRight;
ANode.Left:=OldLeftRightRight;
OldLeft.Parent:=OldLeftRight;
OldLeft.Right:=OldLeftRightLeft;
OldLeftRight.Parent:=OldParent;
OldLeftRight.Left:=OldLeft;
OldLeftRight.Right:=ANode;
if (OldLeftRightLeft<>nil) then
OldLeftRightLeft.Parent:=OldLeft;
if (OldLeftRightRight<>nil) then
OldLeftRightRight.Parent:=ANode;
if (OldLeftRight.Balance>=0) then if (OldLeftRight.Balance>=0) then
ANode.Balance:=0 ANode.Balance:=0
else else
@ -1001,7 +937,7 @@ begin
OldParent:=ANode.Parent; OldParent:=ANode.Parent;
while (OldParent<>nil) do begin while (OldParent<>nil) do begin
if (OldParent.Left=ANode) then begin if (OldParent.Left=ANode) then begin
// Node is left son // Node is left child
dec(OldParent.Balance); dec(OldParent.Balance);
if (OldParent.Balance=0) then exit; if (OldParent.Balance=0) then exit;
if (OldParent.Balance=-1) then begin if (OldParent.Balance=-1) then begin
@ -1020,25 +956,6 @@ begin
\ / \ /
OldRight OldRight } OldRight OldRight }
RotateRight(OldParent); RotateRight(OldParent);
{OldRight:=ANode.Right;
OldParentParent:=OldParent.Parent;
if (OldParentParent<>nil) then begin
// OldParent has GrandParent. GrandParent gets new child
if (OldParentParent.Left=OldParent) then
OldParentParent.Left:=ANode
else
OldParentParent.Right:=ANode;
end else begin
// OldParent was fRoot node. New fRoot node
fRoot:=ANode;
end;
ANode.Parent:=OldParentParent;
ANode.Right:=OldParent;
OldParent.Parent:=ANode;
OldParent.Left:=OldRight;
if (OldRight<>nil) then
OldRight.Parent:=OldParent;}
ANode.Balance:=0; ANode.Balance:=0;
OldParent.Balance:=0; OldParent.Balance:=0;
end else begin end else begin
@ -1058,31 +975,6 @@ begin
OldRight:=ANode.Right; OldRight:=ANode.Right;
RotateLeft(ANode); RotateLeft(ANode);
RotateRight(OldParent); RotateRight(OldParent);
{OldParentParent:=OldParent.Parent;
OldRightLeft:=OldRight.Left;
OldRightRight:=OldRight.Right;
if (OldParentParent<>nil) then begin
// OldParent has GrandParent. GrandParent gets new child
if (OldParentParent.Left=OldParent) then
OldParentParent.Left:=OldRight
else
OldParentParent.Right:=OldRight;
end else begin
// OldParent was fRoot node. new fRoot node
fRoot:=OldRight;
end;
OldRight.Parent:=OldParentParent;
OldRight.Left:=ANode;
OldRight.Right:=OldParent;
ANode.Parent:=OldRight;
ANode.Right:=OldRightLeft;
OldParent.Parent:=OldRight;
OldParent.Left:=OldRightRight;
if (OldRightLeft<>nil) then
OldRightLeft.Parent:=ANode;
if (OldRightRight<>nil) then
OldRightRight.Parent:=OldParent;}
if (OldRight.Balance<=0) then if (OldRight.Balance<=0) then
ANode.Balance:=0 ANode.Balance:=0
else else
@ -1095,7 +987,7 @@ begin
end; end;
exit; exit;
end else begin end else begin
// Node is right son // Node is right child
Inc(OldParent.Balance); Inc(OldParent.Balance);
if (OldParent.Balance=0) then exit; if (OldParent.Balance=0) then exit;
if (OldParent.Balance=+1) then begin if (OldParent.Balance=+1) then begin
@ -1114,24 +1006,6 @@ begin
/ \ / \
OldLeft OldLeft } OldLeft OldLeft }
RotateLeft(OldParent); RotateLeft(OldParent);
{OldLeft:=ANode.Left;
OldParentParent:=OldParent.Parent;
if (OldParentParent<>nil) then begin
// Parent has GrandParent. GrandParent gets new child
if(OldParentParent.Left=OldParent) then
OldParentParent.Left:=ANode
else
OldParentParent.Right:=ANode;
end else begin
// OldParent was fRoot node. new fRoot node
fRoot:=ANode;
end;
ANode.Parent:=OldParentParent;
ANode.Left:=OldParent;
OldParent.Parent:=ANode;
OldParent.Right:=OldLeft;
if (OldLeft<>nil) then
OldLeft.Parent:=OldParent;}
ANode.Balance:=0; ANode.Balance:=0;
OldParent.Balance:=0; OldParent.Balance:=0;
end else begin end else begin
@ -1151,32 +1025,6 @@ begin
OldLeft:=ANode.Left; OldLeft:=ANode.Left;
RotateRight(ANode); RotateRight(ANode);
RotateLeft(OldParent); RotateLeft(OldParent);
{OldParentParent:=OldParent.Parent;
OldLeftLeft:=OldLeft.Left;
OldLeftRight:=OldLeft.Right;
if (OldParentParent<>nil) then begin
// OldParent has GrandParent. GrandParent gets new child
if (OldParentParent.Left=OldParent) then
OldParentParent.Left:=OldLeft
else
OldParentParent.Right:=OldLeft;
end else begin
// OldParent was fRoot node. new fRoot node
fRoot:=OldLeft;
end;
OldLeft.Parent:=OldParentParent;
OldLeft.Left:=OldParent;
OldLeft.Right:=ANode;
ANode.Parent:=OldLeft;
ANode.Left:=OldLeftRight;
OldParent.Parent:=OldLeft;
OldParent.Right:=OldLeftLeft;
if (OldLeftLeft<>nil) then
OldLeftLeft.Parent:=OldParent;
if (OldLeftRight<>nil) then
OldLeftRight.Parent:=ANode;}
if (OldLeft.Balance>=0) then if (OldLeft.Balance>=0) then
ANode.Balance:=0 ANode.Balance:=0
else else
@ -1231,7 +1079,8 @@ begin
end; end;
procedure TAvgLvlTree.Delete(ANode: TAvgLvlTreeNode); procedure TAvgLvlTree.Delete(ANode: TAvgLvlTreeNode);
var OldParent, OldLeft, OldRight, Successor, OldSuccParent, OldSuccLeft, var
OldParent, OldLeft, OldRight, Successor, OldSuccParent, OldSuccLeft,
OldSuccRight: TAvgLvlTreeNode; OldSuccRight: TAvgLvlTreeNode;
OldBalance: integer; OldBalance: integer;
begin begin
@ -1244,11 +1093,11 @@ begin
if (OldParent<>nil) then begin if (OldParent<>nil) then begin
// Node has parent // Node has parent
if (OldParent.Left=ANode) then begin if (OldParent.Left=ANode) then begin
// Node is left Son of OldParent // Node is left child of OldParent
OldParent.Left:=nil; OldParent.Left:=nil;
Inc(OldParent.Balance); Inc(OldParent.Balance);
end else begin end else begin
// Node is right Son of OldParent // Node is right child of OldParent
OldParent.Right:=nil; OldParent.Right:=nil;
Dec(OldParent.Balance); Dec(OldParent.Balance);
end; end;
@ -1262,7 +1111,7 @@ begin
exit; exit;
end; end;
if (ANode.Right=nil) then begin if (ANode.Right=nil) then begin
// Left is only son // Left is only child
// and because DelNode is AVL, Right has no childrens // and because DelNode is AVL, Right has no childrens
// replace DelNode with Left // replace DelNode with Left
OldLeft:=ANode.Left; OldLeft:=ANode.Left;
@ -1285,7 +1134,7 @@ begin
exit; exit;
end; end;
if (ANode.Left=nil) then begin if (ANode.Left=nil) then begin
// Right is only son // Right is only child
// and because DelNode is AVL, Left has no childrens // and because DelNode is AVL, Left has no childrens
// replace DelNode with Right // replace DelNode with Right
OldRight:=ANode.Right; OldRight:=ANode.Right;
@ -1327,7 +1176,7 @@ begin
Successor.Right:=OldRight; Successor.Right:=OldRight;
OldRight.Parent:=Successor; OldRight.Parent:=Successor;
end else begin end else begin
// Successor is right son of ANode // Successor is right child of ANode
ANode.Parent:=Successor; ANode.Parent:=Successor;
Successor.Right:=ANode; Successor.Right:=ANode;
end; end;
@ -1892,7 +1741,7 @@ var
LeftDepth: SizeInt; LeftDepth: SizeInt;
RightDepth: SizeInt; RightDepth: SizeInt;
begin begin
// test left son // test left child
if Left<>nil then begin if Left<>nil then begin
if Left.Parent<>Self then if Left.Parent<>Self then
E('Left.Parent<>Self'); E('Left.Parent<>Self');
@ -1900,7 +1749,7 @@ begin
E('Compare(Left.Data,Data)>0'); E('Compare(Left.Data,Data)>0');
Left.ConsistencyCheck(Tree); Left.ConsistencyCheck(Tree);
end; end;
// test right son // test right child
if Right<>nil then begin if Right<>nil then begin
if Right.Parent<>Self then if Right.Parent<>Self then
E('Right.Parent<>Self'); E('Right.Parent<>Self');