lecture 22: the rolling stones, masters of the balanced tree
DESCRIPTION
CSC 213 – Large Scale Programming. Lecture 22: The Rolling Stones, Masters of the Balanced Tree. Red-Black Tree Properties. Root Property: Root node painted black External Property: Leaves are painted black Internal Property: Red node s’ children are black - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/1.jpg)
LECTURE 22:THE ROLLING STONES, MASTERS OF THE BALANCED TREE
CSC 213 – Large Scale Programming
![Page 2: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/2.jpg)
Red-Black Tree Properties
Root Property: Root node painted black External Property: Leaves are painted
black Internal Property: Red nodes’ children are
black Depth Property: Leaves have identical
black depth Number of black ancestors for the node
9
154
62 12
7
21
![Page 3: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/3.jpg)
Insertion
Begins as BST insertion (just like splay & AVL)
New node’s initial color set by where it is If node is root, paint it black Other nodes colored red when insertion
completes
![Page 4: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/4.jpg)
Insertion
Begins as BST insertion (just like splay & AVL)
New node’s initial color set by where it is If node is root, paint it black Other nodes colored red when insertion
completes Example: insert(3)
68
![Page 5: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/5.jpg)
Insertion
Begins as BST insertion (just like splay & AVL)
New node’s initial color set by where it is If node is root, paint it black Other nodes colored red when insertion
completes Example: insert(3)
683
![Page 6: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/6.jpg)
Insertion
Begins as BST insertion (just like splay & AVL)
New node’s initial color set by where it is If node is root, paint it black Other nodes colored red when insertion
completes Example: insert(3)
683
![Page 7: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/7.jpg)
Insertion
New node’s initial color set by where it is If node is root, paint it black Other nodes colored red when insertion
completes If node’s parent is red, violates internal
property Must reorganize tree to remove double
red Example: insert(4)
683
4
![Page 8: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/8.jpg)
Insertion
New node’s initial color set by where it is If node is root, paint it black Other nodes colored red when insertion
completes If node’s parent is red, violates internal
property Must reorganize tree to remove double
red Example: insert(4)makes tree
unbalanced
683
4
![Page 9: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/9.jpg)
Double Red With Red Aunt
Double red represents creation of 5-node
Perform recoloring to find if balance really off
6
83
4
![Page 10: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/10.jpg)
Double Red With Red Aunt
Parent & uncle painted black, grandparent red When grandparent is root, must paint it
black When easier, promote 2nd Entry to parent
Must continue check, double red can propagate4
672
![Page 11: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/11.jpg)
Double Red With Red Aunt
Parent & uncle painted black, grandparent red When grandparent is root, must paint it
black When easier, promote 2nd Entry to parent
Must continue check, double red can propagate4
672
4
672
![Page 12: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/12.jpg)
Double Red With Red Aunt
Parent & uncle painted black, grandparent red When grandparent is root, must paint it
black When easier, promote 2nd Entry to parent
Must continue check, double red can propagate4
672
4
672
![Page 13: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/13.jpg)
Double Red With Black Aunt
Poorly balanced tree causes this double red Restore tree balance to use AVL tree
restructuring Preserves overall balance of the tree6
83
4
![Page 14: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/14.jpg)
Double Red With Black Aunt
Rebalance tree using AVL tree restructuring
Recolors nodes also, but changes are very small
4
672
![Page 15: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/15.jpg)
Double Red With Black Aunt
Rebalance tree using AVL tree restructuring
Recolors nodes also, but changes are very small
4
672 4
67
2
![Page 16: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/16.jpg)
Double Red Restructuring
4 different restructures needed to remedy Differ in how node, parent, & grandparent
related Identical result no matter where we start4
67
7
46
7
64
4
76
![Page 17: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/17.jpg)
Double Red Restructuring
4 different restructures needed to remedy Differ in how node, parent, & grandparent
related Identical result no matter where we start4
67
7
46
7
64
4
76
4 76
![Page 18: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/18.jpg)
Deletion
Start with normal BST deletion If Entry in red node or leafs’s sibling
red Leaf’s sibling is painted black
Example: remove(1)6
3 8
41
![Page 19: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/19.jpg)
Deletion
Start with normal BST deletion If Entry in red node or leafs’s sibling
red Leaf’s sibling is painted black
Example: remove(1)6
3 8
41
![Page 20: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/20.jpg)
Deletion
Start with normal BST deletion If Entry in red node or leafs’s sibling
red Leaf’s sibling is painted black
Example: remove(1)6
3 8
4
![Page 21: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/21.jpg)
Deletion
Start with normal BST deletion If Entry in red node or leafs’s sibling
red Leaf’s sibling is painted black
Example: remove(1)6
3 8
4
![Page 22: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/22.jpg)
What’s Blacker Than Black?
If removed Entry & leaf’s sibling already black Paint sibling double black This is an illegal state – violates internal
property Example: remove(8)6
3 8
4
![Page 23: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/23.jpg)
What’s Blacker Than Black?
If removed Entry & leaf’s sibling already black Paint sibling double black This is an illegal state – violates internal
property Example: remove(8)6
3 8
4
![Page 24: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/24.jpg)
What’s Blacker Than Black?
If removed Entry & leaf’s sibling already black Paint sibling double black This is an illegal state – violates internal
property Example: remove(8)6
3
4
![Page 25: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/25.jpg)
What’s Blacker Than Black?
If removed Entry & leaf’s sibling already black Paint sibling double black This is an illegal state – violates internal
property Example: remove(8) causes double
black6
3
4
![Page 26: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/26.jpg)
Remedying Double Black
Case 1: sibling is black with red child Reorder nodes using AVL tree restructure
Case 2: sibling and its children are black Equal to (2,4) tree underflow, so recolor
nodes
![Page 27: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/27.jpg)
Remedying Double Black
Case 1: sibling is black with red child Reorder nodes using AVL tree restructure
Case 2: sibling and its children are black Just a bad balance, so just recolor nodes
Case 3: sibling is red Adjust subtree to better balance tree Once complete apply case 1 or case 2
![Page 28: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/28.jpg)
Black Sibling With Red Niece Solve double black using AVL
restructuring
9
6 10
8
![Page 29: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/29.jpg)
Black Sibling With Red Niece Solve double black using AVL
restructuring
9
6
8
![Page 30: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/30.jpg)
Black Sibling With Red Niece Solve double black using AVL
restructuring
9
6
8
8
6 9
![Page 31: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/31.jpg)
Sibling & Children are Black Solve double black recoloring
parent & sibling
5
10
9
6
…
![Page 32: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/32.jpg)
Sibling & Children are Black Solve double black recoloring
parent & sibling
5
9
6
…
![Page 33: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/33.jpg)
Sibling & Children are Black Solve double black recoloring
parent & sibling
5
9
6
…
5
9
6
…
![Page 34: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/34.jpg)
Sibling & Children are Black Solve double black recoloring
parent & sibling
5
9
6
…
5
9
6
…
![Page 35: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/35.jpg)
Sibling is Red
Adjusting double black stalls for time Transforms situation into something we can
fix
9
5 10
4
![Page 36: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/36.jpg)
Sibling is Red
Adjusting double black stalls for time Transforms situation into something we can
fix
9
5 10
4
![Page 37: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/37.jpg)
Sibling is Red
Adjusting double black stalls for time Transforms situation into something we can
fix
9
5
4
![Page 38: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/38.jpg)
Sibling is Red
Adjusting double black stalls for time Transforms situation into something we can
fix
9
5
4
![Page 39: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/39.jpg)
Sibling is Red
Adjusting double black stalls for time Transforms situation into something we can
fix Once completed, re-examine double black
node9
5
4
54 9
![Page 40: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/40.jpg)
Do the Activity
![Page 41: Lecture 22: The Rolling Stones, Masters of the Balanced Tree](https://reader035.vdocuments.net/reader035/viewer/2022062521/56816758550346895ddc15a3/html5/thumbnails/41.jpg)
For Next Lecture
Weekly assignment available to test skills Due at regular time Tuesday after break Talk to me if struggling on problems
Last idea from Map/Dictionary after break What are Sets? Why are we getting to
them now? It may not appear related, but how are they
used? Reminder: lab phase #2 due Monday
after break