catch(...){ printf( "Assignment::SolveProblem() AAAA!"); }

Transcription

1 catch(...){ printf( "Assignment::SolveProblem() AAAA!"); }

2 ADD SLIDES ON DISJOINT SETS

3 2-3 Tree SE286/2-3Trees-mod.ppt

4 Outline q Balanced Search Trees 2-3 Trees Trees Slide 4

5 Why care about advanced implementations? Same entries, different insertion sequence: à Not good! Would like to keep tree balanced. Slide 5

6 B-TREE B-tree keeps data sorted and allows searches, sequential access, insertions, and deletions in log(n). The B-tree is a generalization of a BST (node can have more than two children) Unlike balanced BST, the B-tree is optimized for systems that read and write. Used in databases and filesystems. Slide 6

7 2-3 Trees Features Ø each internal node has either 2 or 3 children Ø all leaves are at the same level Slide 7

8 2-3 Trees with Ordered Nodes 2-node 3-node leaf node can be either a 2-node or a 3-node Slide 8

9 Example of 2-3 Tree Slide 9

10 What did we gain? What is the time efficiency of searching for an item? Slide 10

11 Gain: Ease of Keeping the Tree Balanced Binary Search Tree both trees after inserting items 39, 38, Tree Slide 11

12 Inserting Items Insert 39 Slide 12

13 Inserting Items Insert 38 insert in leaf divide leaf and move middle value up to parent result Slide 13

14 Inserting Items Insert 37 Slide 14

15 Inserting Items Insert 36 insert in leaf divide leaf and move middle value up to parent overcrowded node Slide 15

16 ... still inserting 36 Inserting Items divide overcrowded node, move middle value up to parent, attach children to smallest and largest result Slide 16

17 Inserting Items After Insertion of 35, 34, 33 Slide 17

18 Inserting so far Slide 18

19 Inserting so far Slide 19

20 How do we insert 32? Inserting Items Slide 20

21 Inserting Items à creating a new root if necessary à tree grows at the root Slide 21

22 Inserting Items Final Result Slide 22

23 Deleting Items Delete Slide 23

24 Deleting Items Deleting 70: swap 70 with inorder successor (80) Slide 24

25 Deleting Items Deleting 70:... get rid of 70 Slide 25

26 Deleting Items Result Slide 26

27 Deleting Items Delete 100 Slide 27

28 Deleting Items Deleting 100 Slide 28

29 Deleting Items Result Slide 29

30 Deleting Items Delete 80 Slide 30

31 Deleting Items Deleting Slide 31

32 Deleting Items Deleting Slide 32

33 Deleting Items Deleting Slide 33

34 Deleting Items Final Result comparison with binary search tree Slide 34

35 Deletion Algorithm I Deleting item I: 1. Locate node n, which contains item I 2. If node n is not a leaf à swap I with inorder successor à deletion always begins at a leaf 3. If leaf node n contains another item, just delete item I else try to redistribute nodes from siblings (see next slide) if not possible, merge node (see next slide) Slide 35

36 Deletion Algorithm II Redistribution A sibling has 2 items: à redistribute item between siblings and parent Merging No sibling has 2 items: à merge node à move item from parent to sibling Slide 36

37 Deletion Algorithm III Redistribution Internal node n has no item left à redistribute Merging Redistribution not possible: à merge node à move item from parent to sibling à adopt child of n If n's parent ends up without item, apply process recursively Slide 37

38 Deletion Algorithm IV If merging process reaches the root and root is without item à delete root Slide 38

39 Operations of 2-3 Trees all operations have time complexity of log n Slide 39

40 2-3-4 Trees similar to 2-3 trees 4-nodes can have 3 items and 4 children 4-node Slide 40

41 2-3-4 Tree Example Slide 41

42 2 3 4 Trees and Red-Black Trees trees are an isometry of red-black trees for every tree, there exists red black tree with data elements in the same order. operations on trees that cause node expansions, splits and merges are equivalent to the color-flipping and rotations in red black trees trees, difficult to implement in most programming languages so RB-trees tend to be used instead. Slide 42

43 2-3-4 Tree: Insertion Insertion procedure: similar to insertion in 2-3 trees items are inserted at the leafs since a 4-node cannot take another item, 4-nodes are split up during insertion process Strategy on the way from the root down to the leaf: split up all 4-nodes "on the way" à insertion can be done in one pass (remember: in 2-3 trees, a reverse pass might be necessary) Slide 43

44 2-3-4 Tree: Insertion Inserting 60, 30, 10, 20, 50, 40, 70, 80, 15, 90, 100 Slide 44

45 2-3-4 Tree: Insertion Inserting 60, 30, 10, , Slide 45

46 2-3-4 Tree: Insertion Inserting 50, ,... Slide 46

47 2-3-4 Tree: Insertion Inserting , Slide 47

48 2-3-4 Tree: Insertion Inserting 80, Slide 48

49 2-3-4 Tree: Insertion Inserting Slide 49

50 2-3-4 Tree: Insertion Inserting Slide 50

51 2-3-4 Tree: Insertion Procedure Splitting 4-nodes during Insertion Slide 51

52 2-3-4 Tree: Insertion Procedure Splitting a 4-node whose parent is a 2-node during insertion Slide 52

53 2-3-4 Tree: Insertion Procedure Splitting a 4-node whose parent is a 3-node during insertion Slide 53

54 2-3-4 Tree: Deletion Deletion procedure: similar to deletion in 2-3 trees items are deleted at the leafs à swap item of internal node with inorder successor note: a 2-node leaf creates a problem Strategy (different strategies possible) on the way from the root down to the leaf: turn 2-nodes (except root) into 3-nodes à deletion can be done in one pass (remember: in 2-3 trees, a reverse pass might be necessary) Slide 54

55 2-3-4 Tree: Deletion Turning a 2-node into a 3-node... Case 1: an adjacent sibling has 2 or 3 items à "steal" item from sibling by rotating items and moving subtree "rotation" Slide 55

56 2-3-4 Tree: Deletion Turning a 2-node into a 3-node... Case 2: each adjacent sibling has only one item à "steal" item from parent and merge node with sibling (note: parent has at least two items, unless it is the root) merging Slide 56

57 2-3-4 Tree: Deletion Practice Delete 32, 35, 40, 38, 39, 37, 60 Slide 57

58 Red-Black tree Recall binary search tree Key values in the left subtree <= the node value Key values in the right subtree >= the node value Operations: insertion, deletion Search, maximum, minimum, successor, predecessor. O(h), h is the height of the tree. Slide 58

59 Red-black trees Definition: a binary tree, satisfying: 1. Every node is red or black 2. The root is black 3. Every leaf is NIL and is black 4. If a node is red, then both its children are black 5. For each node, all paths from the node to descendant leaves contain the same number of black nodes. Purpose: keep the tree balanced. Other balanced search tree: AVL tree, tree, Splay tree, Treap Slide 59

60 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Slide 60

61 Fields and property Left, right,,parent, color, key bh(x), black-height of x, the number of black nodes on any path from x (excluding x) to a leaf. A red-black tree with n internal nodes has height at most 2log(n+1). Note: internal nodes: all normal key-bearing nodes. External nodes: Nil nodes or the Nil Sentinel. A subtree rooted at x contains at least 2 bh(x) -1 internal nodes. By property 4, bh(root) h/2. n 2 h/2-1 Slide 61

62 Some operations in log(n) Search, minimum, maximum, successor, predecessor. Let us discuss insert or delete. Slide 62

63 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Right rotation: x=left[y]; left[y]=right[x]; If(right[x]!=nil) p[right[x]]=y; p[x]=p[y]; if(p[y]==nil) root=x; If(left[p[y]]=y) left[p[y]]=x; else right[p[y]]=x; right[x]=y; p[y]=x; Left rotation: y=right[x]; right[x] left[y]; If(left[y]!=nil) p[left[y]]=x; p[y]=p[x]; if(p[x]==nil) {root=y;} else if (left[p[x]]==x) left[p[x]]=y; else right[p[x]]=y; left[y]=x; p[x]=y; Slide 63

64 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Slide 64

65 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Slide 65

66 Properties violations Property 1 (each node black or red): hold Proper 3: (each leaf is black sentinel): hold. Property 5: same number of blacks: hold Property 2: (root is black), not, if z is root (and colored red). Property 4: (the child of a red node must be black), not, if z s parent is red. Slide 66

67 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Case 1,2,3: p[z] is the left child of p[p[ Correspondingly, there are 3 other cas In which p[z] is the right child of p[p[z Slide 67

68 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Slide 68

69 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. case 1: z s uncle is red. Slide 69

70 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Case 2: z s uncle is black and z is a right child. Case 3: z s uncle is black and z is a left child What is the running time of RB_INSERT_FIX? And RB_INSERT? Slide 70

71 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Slide 71

72 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Slide 72

73 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Slide 73