7. Tasapainoitetut hakupuut

Transkriptio

1 7.1. Monitiehakpt 7. Tasapainoitett hakpt Tässä lssa jatketaan järjestetyn sanakirjan tarkastela esittämällä kehittynyt ptietorakenne. Lssa 7.1. 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 yksityiskohtaisesti määrättyä monitiehakpta, (2,4)-pta, josta käytetään myös nimityksiä 2-4-p tai 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 364 Tässä kataan, kinka monilapsisia monitiepita käytetään hakpina. Jälleen phn talletettaa tieto esitetään tietoyksikköinä, pareina (k,x), jossa k onaainjaxtä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.1.): 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 onaainjaxalkio. Jokainen pn Td-solm, jonka lapset oat 1,, d, sisältää d-1 tietoyksikköä (k 1, x 1 ),,(k d-1, x d-1 ), missä k 1 k d-1. Määritellään lisäksi k 0 =- ja k d =+. Jokaiselle tietoyksikölle (k,x), joka on talletett solmn :n aliphn jreltaan i, i = 1,, d, on k i-1 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 d-1 arsinaista aainta, ja se modostaa samalla perstan han sorittamiseksi monitiepssa Ka 7.1. (alk) Monitiehakp T. 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ä. Lase 7.1. Monitiehakplla, joka sisältää n tietoyksikköä, on n+1 lehteä. 7. lk 366 Persteln oi esittää harjoitstehtäänä. 7. lk 367

2 Hak monitiepssa Hak tapaht soraiiaisesti monitiepssa aaimella k. Lähdetään pollle pn jresta (ka 7.1.-). Oltaessa d-solmssa han aikana errataan aainta k aaimiin k 1,, k d-1, jotka on talletett solmn. Jos on k = k i jollekin i:lle, hak onnist. Mtoin jatketaan haka solmn lapsessa i, missä k i-1 < 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 Lssa 4 esitettyjä yleisten piden esitystapoja oidaan soeltaa myös monitiehakpille. Lisätietona niissä pitää tallettaa khnkin solmn pelkästään tietoyksiköiden (tai aainten) jokko. Ka 7.1. (jatkoa) Aaimen (epäonnistnt hak) hakpolk pssa T. 7. lk 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ä primääritietorakenne Ka 7.1. (lopp) Aaimen 24 (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 1,, d ja tietoyksiköt (k 1, x 1 ),,(k d-1, x d-1 ), oat talletettina tietoyksiköt (k 1, x 1, 1 ),(k 2,x 2, 2 ),,(k d-1, x d-1, d-1 ), (+, nll, d ). Sanakirjan D() tietoyksiköllä (k i, x i, i ) on aain k i ja alkio (x i, i ) (iimeisessä tietoyksikössä erikoisaain + ). Haettaessa aaimen k alkiota psta T d-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 371

3 Jos on k i-1 < k < k i, haka jatketaan käsittelemällä lasta i. (Jos palatetaan erikoisaain k d =+,kon 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. 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 n logaritmisena fnktiona. Tämä aikaansaa tasapainoitetn hakpn (balanced search tree), jota pohditaan seraaaksi. 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 7.2. (2,4)-p 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ä. O(h log d max ) riippen sekndääritietorakenteen 7. lk D() totetksesta lk Solmjen koosta kiinnipitäminen tekee solmista monitiehassa yksinkertaisia. Siitä tlee myös aihtoehtoinen nimi, p, koska jokaisella sisäsolmlla on joko 2, 3 tai 4 lasta. Lisäksi solmn sanakirja D() sisältää sekenssin, jossa kaikki operaatiot tehdään akioajassa O(1), sillä d max = 4. Korkesominaisdesta seraa raja plle: Lase 7.2. (2,4)-pn korkes on (log n), kn tietoyksiköitä on n. Ka 7.2. (2,4)-p. Perstel: Olkoon h (2,4)-pn T korkes, kn tietoyksiköitä on n. Lase osoitetaan todeksi seraaien epäyhtälöjen alla: (log(n + 1))/2 h log(n + 1). (7.1) Koon ja syyyden nojalla lehtien lkmäärä pssa T on ähintään 2 h ja enintään 4 h. Laseen 7.1. persteella lehtien määrä pssa T on n lk lk 37

4 Täten saadaan 2 h n h. Ottamalla 2-kantainen logaritmi jokaisesta osasta saadaan h log(n + 1) 2h, josta tlee tämän laseen tlos (7.1). Lase 7.2. sanoo, että koko- ja syyysominaisdet riittäät pitämään monitiepn tasapainoitettna. Lisäksi se osoittaa han (2,4)-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,4)-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,4)- phn. Tarkastellaan yksityiskohtaisesti aaimen lisäystä phn kassa 7.3(g), josta saadaan ka 7.3.(i). 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 4-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,4). 7. lk w z (d) (g) (h) (e) (f) Ka 7.3. (alk) Lisäyksiä (2,4)-phn: Lähtötilanteen p, jossa on yksi tietoyksikkö, aaimen 6 lisäys, aaimen lisäys, (d) aaimen 1 lisäys, joka aihettaa yliodon, (e) jako, joka tottaa den jren ja (f) jaon jälkeen. 7. lk 378 (i) Ka 7.3 (jatkoa) (g) Aaimen 3 lisäys, (h) aaimen lisäys, joka aihettaa yliodon, (i) jako ja (j) jaon jälkeen. (j) 7. lk 379

5 Olkoot 1,, solmn lapset ja k 1,, k 4 solmn talletett aaimet. Yliodon korjaamiseksi solmsta jaetaan (split) -solm seraaasti (ka 7.4.): (k) z (l) 1 Solm korataan kahdella solmlla ja, missä on 3-solm lapsinaan 1, 2, 3 ja aaiminaan k 1 ja k 2. on 2-solm lapsinaan 4 ja ja aaimenaan k 4. Jos on pn T jri, lodaan si jri. Mtoin olkoon solmn anhempi. Ka 7.3. (lopp) (k) Aaimen 10 lisäys ja (l) aaimen 8 lisäys. 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+1:nneksi lapseksi. Jako-operaatio soritetaan selästi ajassa O(1). 7. lk lk 381 h 1 h 2 1 = 2 3 k 1 k 2 k 3 k Ka 7.4. (2,4)-pn solmn jako: ylioto -solmssa, :n kolmas aain lisätään :n anhempaan ja korataan 3-solmlla ja 2-solmlla. h 1 h 2 k 3 = k 1 k 2 k h 1 k 3 h k 1 k 2 k 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 jako-operaatioiden lkmäärää rajoittaa pn korkes, joka on laseen 7.2. mkaisesti O(log n). Lisäyksen sorittaminen (2,4)-phn aatii kaikkiaan aikaa O(log n) Ka 7.. (alk) Lisäys (2,4)-phn aihettaen sarjan jakoja: Ennen lisäystä. 7. lk 383

6 (e) (f) (d) Ka 7.. (jatkoa) Aaimen 17 lisäys, joka aihettaa yliodon, jako ja (d) jaon aihettama si ylioto. Ka 7.. (lopp) (e) Toinen jako, joka tottaa den jrisolmn, sekä (f) lopllinen p. 7. lk lk 38 Poisto Kn edellinen aihto on tehty, tietoyksikkö poistetaan solmsta sanakirjasta D() ja poistetaan myös :n i:s lehtilapsi. eli Nyt tarkastellaan tietoyksikön poistamista (2,4)-psta T. Ensiksi pitää lonnollisesti sorittaa hak aaimella k. Tietoyksikön poisto (2,4)- 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, siirretään alksi tietoyksikön (k i, x i ) sijaan sellainen, joka on talletettna solmssa ja tämän lapset oat lehtiä (ka 7.6.(d)): 1. 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. Siirretään solmn z tietoyksikön (k i,x i ) sijaan solmn iimeinen tietoyksikkö. 7. lk 386 Tietoyksikön ja lapsen poistaminen solmsta säilyttää syyysominaisden, mtta ei ältämättä koko-ominaistta. Jos on ennen poistoa 2-solm, siitä tlisi 1-solm, mikä ei ole sallitta (2,4)- pssa. Tällöin esiintyy alioto (nderflow). Aliodon korjaamiseksi tarkistetaan, onko solmn iereinen sisars 3-solm tai 4-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.-). 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 Ka 7.6. Poistojen sarja (2,4)-psta: aaimen 4 poisto aihettaen aliodon, siirto ja siirron jälkeen w lk 388 (d) Ka 7.6. (d) Aaimen poisto, (e) slattaminen ja (f) tämän jälkeen. (f) (e) lk (g) (h) Ka 7.6. (g) Aaimen 13 poisto ja (h) tämän jälkeen. 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 leiää jreen saakka, niin jri yksinkertaisesti poistetaan (ka (d)). Analyysi (2,4)-pna totetetn sanakirjan pääoperaatiot findelement, insertitem ja remoe oat kaikki lokkaa O(log n). Soritsajat tleat seraaista seikoista. (2,4)-pn korkes, kn pssa on n tietoyksikköä, on O(log n) laseen 7.1. mkaan. Jako, siirto ja slattaminen aatiat ajan O(1). Tietoyksikön hak, lisäys ja poisto käyät O(log n) solmssa. 7. lk lk 391

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