7. Tasapainoitetut hakupuut

Transkriptio

1 7.. Monitiehakpt 7. Tasapainoitett hakpt Tässä lssa jatketaan järjestetyn sanakirjan tarkastela esittämällä kehittynyt ptietorakenne. Lssa 7.. esitetään monitiehakpn käsite. Se on järjestetty p, jonka jokaisessa sisäsolmssa oi olla seita tietoyksiköitä ja solmlla seita lapsia. Se on binäärihakpn (lk 6.3.) yleistys. Yksi sen hyödyistä on sisäsolmjen määrän äheneminen binäärihakphn errattna. Lssa 7.2. tarkastellaan 2 yksityiskohtaisesti määrättyä monitiehakpta, (2,) pta, josta käytetään myös nimityksiä 2 p tai 2 3 p, koska sillä oi olla kahdesta neljään lasta. Kaikki sen lehdet oat samalla tasolla. Se on tehokas haka käsittäille operaatioille yltäen tällöin samaan kin AVL p eli aikakompleksisteen O(log n). Näitä ielä kehittyneempiä ptyyppejä oat pna mstat pt (red black tree) ja iistopt (splay tree), joita ei tässä tarkastella. 7. lk 36 Tässä kataan, kinka monilapsisia monitiepita käytetään hakpina. Jälleen phn talletettaa tieto esitetään tietoyksikköinä, pareina (k,x), 00 jossa 0 k on 000 aain 000 ja x0 tähän liittyä alkio. Olkoon järjestetyn pn solm. Se on d solm, jos sillä on d lasta. Monitiehakp (mlti way search tree) on järjestetty p T, jolla on seraaat ominaisdet (ka 7..(a)): 2 Jokaisella pn T sisäsolmlla on ähintään kaksi lasta. Jokainen pn T sisäsolm sisältää kokoelman tietoyksiköitä motoa (k,x), jossa k on aain ja x alkio. Jokainen pn T d solm, jonka lapset oat,, d, sisältää d tietoyksikköä (k, x ),, (k d, x d ), missä k k d. Määritellään lisäksi k 0 = ja k d = +. Jokaiselle tietoyksikölle (k,x), joka on talletett solmn :n aliphn jreltaan i, i =,, d, on k i k k i. 7. lk Kn siis solmn ajatellaan talletetksi jokko aaimia mkaanlkien kitteelliset erikoisaaimet k 0 = ja k d = + (rajoittimia), niin aliphn T jreltaan i talletetn aaimen k täytyy olla solmn talletetn kahden aaimen älissä. Tällöin d lapsen solmssa on talletettna 00 0 d 000 arsinaista aainta, ja se modostaa samalla perstan han sorittamiseksi monitiepssa Ka 7.. (alk) (a) Monitiehakp T lk 366 Jälleen pn lehdet oat ainoastaan paikanpitäjiä. Täten binäärihakpta oidaan pitää monitiehakpn erikoistapaksena. Toisessa ääripäässä yhden sisäsolmn monitiehakp oi käsittää seita tietoyksiköitä. Sillä, että käsittääkö monitiehakpn sisäsolm kaksi ai seampia lapsia, on seraaa shde tietoyksiköiden määrän ja lehtisolmjen määrän älillä. 2 Lase 7.. Monitiehakplla, joka sisältää n tietoyksikköä, on n+ lehteä. Persteln oi esittää harjoitstehtäänä. 7. lk 367

2 Hak monitiepssa Hak tapaht soraiiaisesti monitiepssa aaimella k. Lähdetään pollle 00 0 pn 000 jresta 000 (ka 0 7..(b) (c)). Oltaessa d solmssa han aikana errataan aainta k aaimiin k,, k d, jotka on talletett solmn. Jos on k = k i jollekin i:lle, hak onnist. Mtoin jatketaan haka solmn lapsessa i, missä k i < k < k i. (määriteltiin k 0 = ja k d = + ). Jos tllaan lehteen, tiedetään, ettei haettaaa aainta ole pssa eli hak epäonnist. Monitiehakpiden tietorakenteita 2 Lssa esitettyjä yleisten piden esitystapoja oidaan soeltaa myös monitiehakpille. Lisätietona niissä pitää tallettaa khnkin solmn pelkästään tietoyksiköiden (tai aainten) jokko. 7. lk Ka 7.. (jatkoa) (b) Aaimen 2 (epäonnistnt hak) hakpolk pssa T lk Käytettäessä monitiehakpta T edstamaan sanakirjaa D khnkin sisäsolmn talletetaan iittas järjestettyyn tietoyksiköiden jokkoon. Solmn talletetta sanakirjaa ktstaan sekndääritietorakenteeksi. Tämä tkee laajempaa kokonaistta, pta, joka on tässä 00 primääritietorakenne Ka 7.. (lopp) (c) Aaimen 2 (onnistnt hak) hakpolk pssa T lk 370 Solmn talletett sanakirja esitetään merkinnällä D(). Tähän talletetaan tietoyksiköt. Näiden persteella löydetään lapsisolm, johon siirrytään han seraaassa aiheessa. Pn T jokaisessa solmssa, jonka lapset oat,, d ja tietoyksiköt (k, x ),, (k d, x d ), oat talletettina tietoyksiköt (k, x, ), (k 2, x 2, 2 ),, (k d, x d, d ), (+, nll, d ). Sanakirjan D() tietoyksiköllä (k i, x i, i ) on aain k i ja alkio (x i, i ) (iimeisessä tietoyksikössä erikoisaain + ). 2 Haettaessa aaimen k alkiota psta Td solmn prosessointi oidaan tehdä sorittamalla hak tietoyksikön (k i, x i, i ) löytämiseksi sanakirjasta D() pienimmällä aaimella, joka on srempi tai yhtä sri kin k. On olemassa kaksi tapasta: 7. lk 37

3 Jos on k i < k < k i, haka jatketaan käsittelemällä lasta i. (Jos palatetaan erikoisaain k d = +, k on silloin srempi kin kaikki aaimet, jotka on talletett solmn ja haka jatketaan käsitellen lasta d.) Mssa tapaksessa (k = k i ) hak päättyy onnistneena. 2 Monitiehakpn tilaaatims n tietoyksikölle on O(n) taallisten sanakirjatotetsten kera sekndääritietorakenteita arten pssa T. Soritsaika, joka on käytettää d solmssa han aikana, riipp siitä, miten sekndääritietorakenne D() totetetaan. Jos se totetetaan talkkopohjaisena järjestettynä sekenssinä tai AVL pna, on prosessoitaissa ajassa O(log d). Jos se sen sijaan totetetaan järjestämättömän sekenssin tai listapohjaisen järjestetyn sekenssin alla, solmn prosessointi kestää ajan O(d). Viitatkoon d max pn T minkä tahansa solmn lasten maksimimäärään. Olkoon h pn korkes. Näin ollen hakaika monitiehakpssa on joko O(hd max ) tai O(h log d max ) riippen sekndääritietorakenteen D() totetksesta. 7. lk 372 Jos d max on akio, han soritsaika on O(h) riippmatta sekndääritietorakenteen totetksesta. Sen mkaisesti päätaoitteena on pitää pn korkes mahdollisimman matalana, ts. h tietoyksiköiden määrän 00 0 n logaritmisena fnktiona. 0 Tämä aikaansaa tasapainoitetn hakpn (balanced search tree), jota pohditaan seraaaksi (2,) p 2 Tämä on monitiehakplaji, joka pitää solmihin talletett sekndääritietorakenteet kooltaan sppeina ja pn tasapainoitettna. Nämä taoitteet saatetaan ylläpitämällä ominaisdet (ka 7.2): Koko ominaiss: Jokaisella sisäsolmlla on enintään neljä lasta ja ähintään kaksi. Syyysominaiss: Kaikki lehdet oat samalla syyydellä. 7. lk Solmjen koosta kiinnipitäminen tekee solmista monitiehassa yksinkertaisia. Siitä tlee myös aihtoehtoinen nimi, 2 3 p, koska jokaisella sisäsolmlla on joko 2, 3 tai lasta. Lisäksi solmn sanakirja D() sisältää sekenssin, jossa kaikki operaatiot tehdään akioajassa 00 0 O(), 000 sillä 000 d max 0 =. Korkesominaisdesta seraa raja plle: Ka 7.2. (2,) p lk 37 Lase 7.2. (2,) pn korkes on Θ(log n), kn tietoyksiköitä on n. 2 Perstel: Olkoon h (2,) pn T korkes, kn tietoyksiköitä on n. Lase osoitetaan todeksi seraaien epäyhtälöjen alla: (log(n + ))/2 h log(n + ). (7.) Koon ja syyyden nojalla lehtien lkmäärä pssa T on ähintään 2 h ja enintään h. Laseen 7.. persteella lehtien määrä pssa T on n lk 37

4 Täten saadaan 2 h n + h Ottamalla 2 kantainen logaritmi jokaisesta osasta saadaan h log(n + ) 2h, josta tlee tämän laseen tlos (7.). 2 Lase 7.2. sanoo, että koko ja syyysominaisdet riittäät pitämään monitiepn tasapainoitettna. Lisäksi se osoittaa han (2,) pssa toimian ajassa O(log n) ja ettei sekndäärirakenteen totets ole ratkaisea seikka (yksinkertaisin paras, talkko tai lista), koska lasten maksimimäärä on akio d max. 7. lk 376 Lisäys Uden tietoyksikön (k,x) lisäämiseksi (2,) phn T on alksi haettaa aain k. Olettaen, ettei pssa ole tätä aainta k, hak päättyy epäonnistneena lehteen z. Olkoon tämän anhempi. Usi tietoyksikkö lisätään solmn ja samoin si lapsi w (lehti) solmlle solmn z asemmalle polelle. Näin ollen lisätään (k,x,w) sanakirjaan D(). Kissa 7.3. ja 7.. esitetään sarja perättäisiä lisäyksiä (2,) phn. Tarkastellaan yksityiskohtaisesti aaimen lisäystä phn kassa 7.3(g), josta saadaan ka 7.3.(i). 2 Lisäysmenetelmä säilyttää syyysominaisden, koska si lehti lisätään samalle tasolle kin olemassa oleat lehdet ja si aain alimmalle sisäsolmtasolle. Se saattaa silti ahingoittaa kokoominaistta. Jos solm on solm ennen lisäystä, siitä tlisi solm sen jälkeen, mikä ei ole sallitta. Tällöin esiintyy ylioto (oerflow), joka on ratkaistaa sopiasti pn säilyttämiseksi lajissa (2,). 7. lk w z (a) (b) (c) (d) (e) Ka 7.3. (alk) Lisäyksiä (2,) phn: (a) Lähtötilanteen p, jossa on yksi tietoyksikkö, (b) aaimen 6 lisäys, (c) aaimen 2 lisäys, (d) aaimen lisäys, joka aihettaa yliodon, (e) jako, joka tottaa den jren ja (f) jaon jälkeen. (f) 2 7. lk 378 (g) (i) 3 (h) 2 Ka 7.3 (jatkoa) (g) Aaimen 3 lisäys, (h) aaimen lisäys, joka aihettaa yliodon, (i) jako ja (j) jaon jälkeen. 6 (j) 2 7. lk 379

5 (k) z Ka 7.3. (lopp) (k) Aaimen 0 lisäys ja (l) aaimen 8 lisäys. (l) 2 7. lk 380 Olkoot,, solmn lapset ja k,, k solmn talletett aaimet. Yliodon korjaamiseksi solmsta jaetaan (split) solm seraaasti (ka 7..): Solm korataan kahdella solmlla ja, missä on 3 solm lapsinaan, 2, 3 ja aaiminaan k ja k 2. on 2 solm lapsinaan ja ja aaimenaan k. 2 Jos on pn T jri, lodaan si jri. Mtoin olkoon solmn anhempi. Lisätään aain k 3 solmn ja asetetaan ja solmn lapsiksi niin, että jos oli i:s :n lapsi, niin ja tleat :n i:nneksi ja i+:nneksi lapseksi. Jako operaatio soritetaan selästi ajassa O(). 7. lk 38 h h 2 = k 0 k 2 k 3 k (a) Ka 7.. (2,) pn solmn jako: (a) ylioto solmssa, (b) :n kolmas aain lisätään :n anhempaan ja (c) korataan 3 solmlla ja 2 solmlla. h h 2 k 3 = 2 3 k k 2 k 2 3 (b) h k 3 h 2 3 k k 2 k 2 3 (c) 2 7. lk 382 Solmn jaon seraksena si ylioto oi esiintyä :n anhemmassa. Jos sellainen esiintyy, se sysää polestaan jaon solmn (ka 7..). Jako joko poistaa yliodon tai leittää sitä nykyisen solmn anhempaan Näin 000 jako operaatioiden 0 lkmäärää rajoittaa pn korkes, joka on laseen 7.2. mkaisesti O(log n). Lisäyksen sorittaminen (2,) phn aatii kaikkiaan aikaa O(log n) (a) Ka 7.. (alk) Lisäys (2,) phn aihettaen sarjan jakoja: (a) Ennen lisäystä lk 383

6 (b) (c) (d) 3 7 Ka 7.. (jatkoa) (b) Aaimen 7 lisäys, joka aihettaa yliodon, (c) jako ja (d) jaon aihettama si ylioto lk 38 (e) Ka 7.. (lopp) (e) Toinen jako, joka tottaa den jrisolmn, sekä (f) lopllinen p. (f) 2 7. lk 38 Poisto Kn edellinen aihto on tehty, tietoyksikkö poistetaan solmsta sanakirjasta D() ja poistetaan myös :n i:s lehtilapsi. eli Nyt 00 tarkastellaan tietoyksikön 000 0poistamista (2,) psta T. Ensiksi pitää lonnollisesti sorittaa hak aaimella k. Tietoyksikön poisto (2,) psta oidaan aina redsoida tapakseksi, jossa poistettaa tietoyksikkö sijaitsee alimmalla sisäsolmtasolla, ts. sen lapset oat lehtiä. Jos poistettaa tietoyksikkö (k i, x i ) sijaitsee tätä ylempänä pn solmssa z, aihdetaan alksi tietoyksikkö (k i, x i ) sellaisen kanssa, joka on talletettna solmssa ja tämän lapset oat lehtiä (ka 7.6.(d)): 2. Etsitään oikeanpolimmainen sisäsolm alipsta, jonka jri on solmn zi:s lapsi, kn solmn kaikki lapset oat lehtiä. Solmn aain on tällöin alipn i srin, ts. alhaaltapäin lähin poistetlle k i. 2. Vaihdetaan solmn z tietoyksikkö (k i,x i ) solmn iimeisen tietoyksikön kanssa. 7. lk Tietoyksikön ja lapsen poistaminen solmsta säilyttää syyysominaisden, mtta ei ältämättä koko ominaistta. Jos on ennen poistoa 2 solm, siitä tlisi solm, mikä ei ole sallitta (2,) pssa. Tällöin esiintyy alioto (nderflow). 2 Aliodon korjaamiseksi tarkistetaan, onko solmn iereinen sisars 3 solm tai solm. Jos tällainen iereinen sisars w on olemassa, soritetaan siirto (transfer), jossa siirretään solmn w lapsi solmn, w:n aain :n ja w:n anhempaan sekä :n aain solmn (ka 7.6.(b) (c)). Jos solmlla on ainoastaan yksi ierekkäinen sisars, joka on 2 solm, tai molemmat ierekkäiset sirarkset oat 2 solmja, soritetaan slattaminen (fsion), jossa lomitetaan sisarksensa kanssa lomalla si solm ja siirretään aain solmn anhemmasta solmn (ka 7.6. (e) (f)). 7. lk 387

7 w (a) Ka 7.6. Poistojen sarja (2,) psta: (a) aaimen poisto aihettaen aliodon, (b) siirto ja (c) siirron jälkeen (g) (b) 6 0 w (c) Ka 7.6. (g) Aaimen 3 poisto ja (h) tämän jälkeen lk 388 (h) lk 390 (d) Ka 7.6. (d) Aaimen 2 poisto, (e) slattaminen ja (f) tämän jälkeen. (f) (e) lk 389 Slattaminen solmssa saattaa aikaansaada den aliodon solmn anhemmassa, mikä polestaan tottaa siirron tai slattamisen solmssa (ka 7.7.). Tästä johten slattamisoperaatioiden määrää rajoittaa pn korkes, joka on laseen 7.2. mkaan O(log n). Jos alioto 00 0 leiää 000 jreen 000 saakka, 0 niin jri yksinkertaisesti poistetaan (ka 7.7. (c) (d)). Analyysi 2 (2,) pna totetetn sanakirjan pääoperaatiot findelement, insertitem ja remoe oat kaikki lokkaa O(log n). Soritsajat tleat seraaista seikoista. (2,) pn korkes, kn pssa on n tietoyksikköä, on O(log n) laseen 7.. mkaan. Jako, siirto ja slattaminen aatiat ajan O(). Tietoyksikön hak, lisäys ja poisto käyät O(log n) solmssa. 7. lk 39

8 (a) Ka 7.7. Slattamisten leiäminen (2,) pssa: (a) aaimen poisto, joka aihettaa aliodon, ja (b) slattaminen. (b) 2 7. lk 392 (c) Ka 7.7. (lopp) (c) Toinen slattaminen, joka aihettaa jren poistamisen, ja (d) lopllinen p. (d) 2 7. lk 393