Gebalanceerde bomen Zoekbomen: weglaten in rood-zwart-bomen.

Presentatie over: "Gebalanceerde bomen Zoekbomen: weglaten in rood-zwart-bomen."— Transcript van de presentatie:

1 Gebalanceerde bomen Zoekbomen: weglaten in rood-zwart-bomen

2 Dit onderwerp We zagen: Veel operaties op zoekbomen gaan in O(h) met h de hoogte van de zoekboom Gebalanceerde bomen: AVL en rood-zwart Deze hebben O(log n) hoogte Je kan knopen invoegen in O(hoogte) tijd en er daarbij voor zorgen dat de eigenschap behouden blijft Techniek: rotaties Hier: weglaten van knopen in rood-zwart-boom

3 Zoekbomen herhaling Allerlei operaties kunnen in O(h) tijd op een zoekboom met hoogte h: Bepaal of element aanwezig is (en geef sateliet-data) Minimum Maximum Voorganger Opvolger Dynamic order statistics: Rang Aantal elementen met waarde tussen bepaalde grenzen En er zijn er meer …

4 Rotatie Idee: verander de zoekboom lokaal zodat Eigenschappen van zoekboom behouden blijft Hij beter in balans komt 14 17 14 17

5 3 5 8 13 5 3 8 Root(T) Door rotatie kan je de boom meer in balans brengen

6 AVL-bomen Genoemd naar uitvinders: Adel’son-Vel’skii en Landis Elke knoop houdt zijn hoogte bij en Broers hebben verschillen nooit meer dan 1 in hoogte 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 14 3 21 2 16 2 35 1 19 1 23 1 39 1 15 1 7171 12 1 43 1

7 Over AVL-bomen Een AVL-boom is een binaire zoekboom met de eigenschap dat voor elke knoop de hoogtes van zijn kinderen hooguit 1 verschillen Als een knoop maar 1 kind heeft, dan heeft dat kind hoogte 1 (d.w.z., is een blad) Stelling Een AVL-boom met n knopen heeft diepte O(log n). We zagen: 2 log n+2

8 Hoe zorgen we dat een AVL-boom een AVL-boom blijft? 1.Houd de hoogtes bij: 1.Bij elke knoop x hebben we een variabele hoogte(x) 2.Knoop zonder kinderen heeft hoogte(x)=1 3.Knoop x met 1 kind y heeft hoogte(x) = hoogte(y)+1 4.Knoop x met 2 kinderen y en z heeft hoogte(x) = max(hoogte(y),hoogte(z))+1 5.Als we de boom veranderen moeten we de hoogtes herberekenen: ALLEEN voor die plekken waar wat verandert en alle voorgangers hiervan 2.Als we een knoop tegenkomen waar de AVL-boom eigenschap niet langer geldt dan gaan we roteren om de eigenschap te herstellen

9 Invoegen van een knoop in AVL-boom Zoek een blad waar de knoop kan worden ingevoegd Voeg de knoop daar in Nu herstellen van de AVL-boom eigenschap Loop van de knoop omhoog de boom in Bereken steeds de juiste hoogtes opnieuw voor de knopen die betrokken zijn Als de AVL-boom eigenschap niet geldt dan: hoogteverschil tussen broers is precies 2: roteer Roteer zodat de knoop met grootste hoogte omhoog gaat Herhaal dit totdat je klaar bent: Klaar als je bij de wortel bent Klaar als er niets verandert (hoogte onveranderd en geen rotatie)

10 Stel we voegen 14 toe Een voorbeeld 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 13 3 21 2 16 2 35 1 19 1 23 1 39 1 15 1 7171 12 1 43 1 14

11 14 is toegevoegd 1 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 13 3 21 2 16 2 35 1 19 1 23 1 39 1 15 1 7171 12 1 43 1 14 1 Herbereken hoogte

12 2 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 13 3 21 2 16 2 35 1 19 1 23 1 39 1 15 2 7171 12 1 43 1 14 1 Herbereken hoogte hoogte wordt 2 15 is in balans

13 Een stap omhoog 3 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 13 3 21 2 16 2 35 1 19 1 23 1 39 1 15 2 7171 12 1 43 1 14 1 Herbereken hoogte

14 Opnieuw balanceren 4 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 13 3 21 2 16 3 35 1 19 1 23 1 39 1 15 2 7171 12 1 43 1 14 1 Herbereken diepte hoogte is 3 16 is NIET in balans

15 Opnieuw balanceren 5 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 13 3 21 2 16 3 35 1 19 1 23 1 39 1 15 2 7171 12 1 43 1 14 1 16 is NIET in balans We gaan roteren

16 6 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 13 3 21 2 16 3 35 1 19 1 23 1 39 1 15 2 7171 12 1 43 1 14 1 Na rotatie (hoogtes tijdelijk fout)

17 7 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 13 3 21 2 16 1 35 1 19 1 23 1 39 1 15 2 7171 12 1 43 1 14 1 Herbereken hoogtes voor geroteerde knopen

18 8 26 5 17 4 41 4 47 2 30 3 28 1 38 2 10 2 13 3 21 2 16 1 35 1 19 1 23 1 39 1 15 2 7171 12 1 43 1 14 1 Een stap omhoog: 13 in balans en correcte hoogte Klaar

19 Rood-zwart-bomen Binaire zoekboom Iedere knoop heeft de volgende velden: Kleurbit: rood of zwart Key Left (pointer naar linkerkind) Right (pointer naar rechterkind) P (Parent) (pointer naar ouder) Met een Boolean kunnen we de kleur bijhouden. We schrijven hier: rood en zwart ipv. bitwaarde voor notatiegemak.

20 Rood-zwart eigenschappen Een binaire zoekboom is een rood-zwart-boom, als de volgende rood-zwart eigenschappen gelden: 1.Elke knoop is rood of zwart 2.De wortel is zwart 3.Bladeren (die NIL zijn) zijn zwart 4.Als een knoop rood is, dan zijn allebei zijn kinderen zwart 5.Voor elke knoop v geldt: elk pad van v naar een blad onder v heeft hetzelfde aantal zwarte knopen

21 NIL Een voorbeeld van een rood-zwart-boom 26 17 41 47 30 283810 1421 16 35 1923 39 1571220 3 NIL

22 We tekenen de boom zonder de NIL-knopen 26 17 41 47 30 283810 1421 16 35 1923 39 1571220 3

23 Implementatie van NIL-knopen Er zijn verschillende implementaties van de NIL-knopen mogelijk: Gewoon aparte knoop voor elke NIL-knoop Geen object-verwijzing in NIL-knoop (extra test bij bijv. Zoekacties op dit soort verwijzingen) Boolean’s In het boek wordt het volgende gedaan: Alle NIL-knopen worden door een en hetzelfde object gerepresenteerd Die ene NIL-knoop is ook de parent van de root Deze knoop heet NIL[T] Verschillende implementaties kunnen in de constante, verstopt in de O-notatie, uitmaken

24 Implementatie boek 26 17 41 47 30 283810 1421 16 35 1923 39 1571220 3

25 Hoogte-analyse van rood-zwartbomen 1 Definitie: de zwart-hoogte (black-height) van een knoop x, notatie zh(x) is het aantal zwarte knopen van x naar een blad. We tellen x zelf niet mee, het blad wel. Vanwege eigenschappen van rood-zwartbomen: het hangt niet af welk blad we bekijken (eigenschap 5) Lemma Laat x een knoop zijn. Als x zwarthoogte r heeft, dan bevat de deelboom, gevormd door x en al zijn afstammelingen tenminste 2 r -1 niet-NIL knopen. Lemma De wortel van een rood-zwartboom met n interne knopen heeft zwarthoogte hooguit log (n+1). Stelling De hoogte van een rood-zwartboom is hooguit 2 log(n+1).

26 zh(x) 26 17 41 47 30 283810 1421 16 35 1923 39 1571220 3 1 1 11 11 1 11 11 1 1 2 2 2 2 2 3 3

27 Rotaties 1 Bij INSERTIONs en DELETIONs moeten we zorgen dat rood-zwart-eigenschap behouden blijft Hoe? Weer met rotaties: Links-rotatie en rechts-rotatie Kunnen rood-zwart eigenschap verknoeien of herstellen Behouden de zoekboom-eigenschappen Links-rotatie: 14 17 14 17

28 Invoegen Voeg de knoop weer “gewoon” in op een blad Kleur de nieuwe knoop rood Nu een “fixup”: herstel de rood-zwart-eigenschappen Dit hoeft alleen als: Nieuwe knoop de wortel was (rode wortel; boom was leeg) Ouder van de nieuwe knoop rood is

29 Welke eigenschappen kunnen veranderen Kijk eens naar de rood-zwart-eigenschappen: 1.Elke knoop is rood of zwart 2.De wortel is zwart Kan veranderen, maar makkelijk op te lossen: kleur de wortel zwart 3.Bladeren (die NIL zijn) zijn zwart 4.Als een knoop rood is, dan zijn allebei zijn kinderen zwart Kan veranderen, maar altijd op hooguit 1 plek Eerst alleen voor de knoop die we invoegen en zijn ouder, maar later hoger in de boom 5.Voor elke knoop v geldt: elk pad van v naar een blad onder v heeft hetzelfde aantal zwarte knopen Gaan we invariant houden

30 Duw het probleem omhoog Ons algoritme gebruikt als invariant z is rood Als p[z] de wortel is, dan is p[z] zwart Als de rood-zwart-eigenschappen niet gelden, dan gelden ze op precies 1 punt niet, nl. bij z, en 1 van de volgende 2 gevallen geldt: z is de wortel en z is rood OF z is rood en p[z] is rood Als z de wortel of kind van de wortel: los op door de wortel zwart te kleuren: klaar Anders: verschillende gevallen

31 6 gevallen 1 (en 2): rode oom 3 – 6: zwarte oom 3: linkerkind van een linkerkind 4 (gespiegeld van 3): rechterkind van een rechterkind 5: rechterkind van een linkerkind 6 (gespiegeld van 5): linkerkind van een rechterkind

32 Geval 1: rode oom Geval 1: vader is linkerkind en rechterkind van opa is rood Geval 2: vader is rechterkind en linkerkind van opa is rood 50 48 38 35 z

33 Geval 1 (en 2): Herkleur en ga verder bij de opa Kleur ouder en oom van z zwart Kleur grootouder van z rood Herhaal de stap met z = parent(parent(z)) 50 62 38 35 z 50 62 38 35 z

34 Geval 5: p[z] is een linkerkind, de oom van z is zwart, en z is een linkerkind z is linkerkind Ouder van z is linkerkind Rechterkind van opa van z is zwart Geval 6 is gespiegeld: z is rechterkind Ouder van z is rechterkind Linkerkind van opa van z is zwart 50 62 38 35 z

35 Geval 6: rotatie en herkleuren Doe rechterrotatie en herkleur 50 62 38 35 50 62 38 35 z Je bent nu klaar: rood-zwart eigenschap is hersteld

36 Geval 3: z is rechterkind, ouder van z is linkerkind, oom is zwart z is rechterkind Ouder van z is linkerkind Rechterkind van opa van z is zwart Geval 4 gespiegeld z is linkerkind Ouder van z is linkerkind Rechterkind van opa van z is zwart 50 28 35 z 71

37 50 28 35 z 71 50 28 35 z 71 Geval 3: doe een linkerrotatie Hiermee kom je in geval 5 Los op als in geval 5 (rechterrotatie en herkleur) en klaar

38 Dit heet: Dubbele rotatie 50 28 35 z 71 50 28 35 71 50 28 35 71

39 Tijd van invoeging De diepte van de boom is en blijft O(log n) Eerst gaan we van de wortel naar een blad, en dan weer terug omhoog Op elke positie doen we een constant aantal acties O(log n) tijd

40 Welke knopen worden beinvloed Alleen knopen op het pad van de ingevoegde knoop naar de wortel, en af en toe een broer van zo’n knoop: O(log n) knopen totaal

41 Weglaten / deletion Weglaten lijkt er een beetje op: iets meer gevallen Weglaten heeft twee stappen: 1.Verwijderen van de knoop, ongeveer als in “gewone” zoekboom 2.Fixup, die rood-zwart eigenschappen herstelt, met herkleuringen en rotaties Bij het weglaten kan gebeuren: Een knoop a wordt verplaatst naar een andere plek waar een knoop b stond die weggelaten werd Geef verplaatste knoop a de kleur van de weggelaten knoop b Een blad wordt weggelaten Een knoop met 1 kind wordt overgeslagen

42 Wat gebeurt er bij weglaten Verschillende gevallen: 1.Weggelaten knoop is blad: gewoon weglaten 2.Weggelaten knoop heeft 1 kind: overslaan 3.Weggelaten knoop heeft 2 kinderen: opvolger verplaatsen en die opvolger weglaten Lemma: opvolger van knoop met 2 kinderen heeft geen linkerkind

43 Weglaten van blad Blad wordt gewoon weggelaten Bij rood-zwart-boom: opletten als de weggelaten knoop zwart is! 15 8 7 17 2910 15 8 7 17 29

44 Weglaten van knoop met 1 kind Knoop met 1 kind wordt “overgeslagen” als hij weggelaten wordt: zijn ouder wordt de ouder van zijn kind Opletten als de weggelaten knoop zwart is: rood-zwart- eigenschappen kunnen verknoeid worden 15 8 7 17 29 15 7 17 29 z is niet de wortel z

45 Weglaten van wortel met 1 kind We laten de wortel weg: kind wordt nieuwe wortel Opletten als nieuwe wortel rood is… 15 8 7 17 29 4215 8 7 17 29 z is de wortel

46 Opvolger van weggelaten knoop is rechterkind van weggelaten knoop Twee operaties: Eerst een verplaatsing Dan overslaan van een knoop 20 8 7 37 39 x y 20 8 7 37 39 y

47 Weggelaten knoop is niet opvolger van weggelaten knoop Nog steeds dezelfde twee operaties: Verplaatsen Weglaten van knoop met hooguit 1 kind 15 8 7 37 20 x y 39 29 15 8 7 37 20 39 29 y

48 Dus… Weglaten is altijd: Misschien een verplaatsing Weglaten van een knoop met geen of 1 kind Verplaatsen is makkelijk: geef de knoop de kleur van de knoop waar hij heen gaat! Dus we moeten vooral kijken naar weglaten van een knoop met geen of 1 kind

49 RB-DELETE(T,z) Pseudocode is gegeven in het boek Eerst gewoon weglaten Dan een FIXUP: herstel de rood-zwart eigenschappen

50 RB-Fixup-Delete Alle gevallen: We kunnen een blad weglaten Rood of zwart We kunnen een knoop met 1 kind “overslaan” Rood of zwart Bij het verplaatsen: knoop kan nieuwe kleur krijgen: Kleur van de knoop die weggelaten was op wiens plek hij komt Verplaatsen is makkelijk (evt. herkleuren) dus we kijken nog alleen naar weglaten / overslaan

51 Rode knopen zijn makkelijk De rood-zwart-boom eigenschappen blijven geldig als we een rood blad weggooien of overslaan 1.Elke knoop is rood of zwart 2.De wortel is zwart 3.Bladeren (die NIL zijn) zijn zwart 4.Als een knoop rood is, dan zijn allebei zijn kinderen zwart 5.Voor elke knoop v geldt: elk pad van v naar een blad onder v heeft hetzelfde aantal zwarte knopen Dus we hoeven alleen een “fixup” te doen als we een zwarte knoop overslaan of weglaten

52 Gevallen Weglaten van een zwarte knoop Wortel (heeft dan 1 kind) Oplossen door nieuwe wortel zwart te maken (als ie ‘t niet al was) Knoop met 1 kind middenin, kind is zwart Oplossen met rotaties Knoop met 1 kind middenin, kind is rood Kleur kind zwart Blad Oplossen met rotaties

53 Geval 1 Geval 1: de wortel heeft 1 kind, en we laten de wortel weg Mogelijk probleem: conditie 2: wortel kan rood wortel Oplossing: kleur de wortel zwart. Condities gelden nu 15 4215

54 Geval 2: Overslaan van zwarte knoop met 1 rood kind Als we een zwarte knoop x met 1 rood kind y overslaan, dan doen we: Kleur het kind y zwart Controleer dat we weer een rood-zwart-boom hebben aan de eisen Elk pad dat langs y gaat ziet evenveel zwarte knopen als eerst 15 8 7 17 29 15 7 17 297

55 Geval 2B: Overslaan van zwarte knoop met 1 zwart kind Als we een zwarte knoop x met 1 zwart kind overslaan, dan was de boom geen rood- zwart-boom! In het voorbeeld: linksaf heeft “8” een grotere zwartdiepte dan rechtsaf… Dus, dit geval doet zich niet voor 15 8 7 17 29 15 7 17 297 ?

56 Geval 3: Weglaten van zwart blad Lastiger! Alleen eigenschap 5 is verknoeid: voorouders van weggelaten knoop x hebben verschillend aantal zwarte knopen op paden naar bladeren Oplossen door omhoog te lopen en door rotaties e.e.a. op te lossen Preciezer: 1 knoop en al zijn voorouders hebben eigenschap 5 niet vervuld 15 8 7 17 2910 15 8 7 17 29

57 … en links en rechts kunnen anders zitten Samenvatting probleem z x y i-1 zwarte knopeni zwarte knopen Deze namen blijf ik gebruiken Kan zowel bij weglaten van blad als bij overslaan van knoop zich voordoen

58 Weer verschillende gevallen gevallen x is een knoop die te weinig zwart heeft naar beneden, vergeleken met z’n broer 1.De broer van x is rood 2.De broer van x is zwart en heeft twee zwarte kinderen 3.De broer van x is zwart, heeft een zwart kind en een rood kind, en het rode kind “zit aan de kant van x” 4.De broer van x is zwart, heeft een zwart kind en een rood kind, en het zwarte kind “zit aan de kant van x” OF: De broer van x is zwart en heeft twee rode kinderen NB: nil-bladeren tellen hier ook als zwarte kinderen

59 z, a en b moeten zwart zijn… Geval 1: de broer van x is rood Roteer en herkleur om ervoor te zorgen dat de broer van x zwart is Nu kom je in geval 2-4: de broer van x is zwart z x y a b y bz x a i-1 i i i i i Getallen: aantal zwarte knopen op bladpaden, inclusief

60 Geval 2: zwarte broer die twee zwarte kinderen heeft Stel x heeft zwarte broer, en die heeft twee zwarte kinderen Oplossing: kleur de broer van x rood Nu heb je het probleem 1 omhoog geschoven in de boom Het probleem kan zich mogelijk nog bij z voordoen (niet altijd) Herhaal de analyse met z=x z x y a b i i-1 i z x y a b i

61 Geval 3: broer heeft dichtbij rood kind en ver zwart kind Stel x is linkerkind van z, broer y van x is rechterkind Stel linkerkind a van y is rood Stel rechterkind b van y is zwart Nu roteren we y en a en herkleuren Zelfde soort geval met links en rechts gespiegeld Je zit nu in geval 4: de wortel van de paarse boom is zwart want hing onder rood z x y a b i i-1 i z x y a b i i

62 Geval 4: broer heeft veraf rood kind Stel x is linkerkind van z, broer y van x is rechterkind Stel rechterkind b van y is rood Roteer Controleer verder 1 hoger in de boom Zelfde soort geval met links en rechts gespiegeld z x y a b i i-1 i y z b xa i i i

63 Algemeen Door herkleuren en roteren schuif je probleem steeds 1 hoger de boom in Probleem: knoop met verschillend aantal zwarte knopen op paden via linkerkind en via rechterkind Als we bij de wortel zijn, ben je klaar Soms ben je eerder klaar O(1) werk per niveau van de boom, dus O(log n) totaal

64 Stelling Operaties: zoeken, invoegen, weglaten, minimum, opvolger, voorganger (en de rest), kunnen allemaal in O(log n) tijd op rood-zwart-bomen

65 Conclusies Technieken: Invariant houden van eigenschappen van de boom Gevalsanalyse Probleem (tijdelijke overtreding van invariante eigenschappen) duwen naar wortel, of duwen naar blad toe en zo oplossen Diepte boom blijft O(log n) Dus operaties gaan in O(diepte) = O(log n)