811312A Tietorakenteet ja algoritmit, 2018-2019, Harjoitus 6, Ratkaisu Harjoituksen aiheet ovat verkkojen leveys- ja syvyyshakualgoritmit Tehtävä 6.1 Hae leveyshakualgoritmia käyttäen lyhin polku seuraavan sokkelon läpi, kun sokkeloon mennään vasemmasta yläkulmasta ja poistutaan oikeasta alakulmasta. Muodosta verkko (solmu jokaiseen sokkelon risteyskohtaan, jotka on alla merkitty kirjaimilla) ja suorita algoritmi yksityiskohtaisesti. a b e c h i d k j f g Ratkaisu. Saadaan verkko, jonka vieruslistaesitys on a b h b a c c b d e d c e c f f e g g f h a i i h j j i k k j Suoritetaan nyt leveyshaku lähtien solmusta a. Seuraavassa näkyy, miten taulukot color, d ja p täytetään. Taulukossa color tyhjä paikka tarkoittaa valkoista väriä, kirjain G harmaata ja kirjain B mustaa. color G d 0 p IL
Solmun a naapurit ovat b ja h joten ne väritetään harmaaksi, päivitetään taulukot d sekä p ja laitetaan solmut jonoon, minkä jälkeen solmu a väritetään mustaksi. Jono: b,h. color B G G d 0 1 1 p IL a a yt solmu b otetaan jonosta ja käsitellään sen naapurit a ja c. äistä a ei enää ole valkoinen, joten sille ei tehdä mitään. Jono: h,c color B B G G d 0 1 2 1 p IL a b a Solmu h otetaan jonosta ja käsitellään sen naapurit a ja i. Jono: c,i. color B B G B G d 0 1 2 1 2 p IL a b a h Solmu c otetaan jonosta ja käsitellään sen naapurit b,d ja e. Jono: i,d,e. color B B B G G B G d 0 1 2 3 3 1 2 p IL a b c c a h Solmu i otetaan jonosta ja käsitellään sen naapurit h ja j. Jono: d,e,j. color B B B G G B B G d 0 1 2 3 3 1 2 3 p IL a b c c a h i Solmu d otetaan jonosta ja käsitellään sen naapuri c (ei valkoinen). Sitten otetaan jonosta e ja käsitellään sen naapurit. c ja f. Jono: j,f. color B B B B B G B B G d 0 1 2 3 3 4 1 2 3 p IL a b c c e a h i
Solmu j otetaan jonosta ja käsitellään sen naapuri i ja k. Jono: f,k. color B B B B B G B B B G d 0 1 2 3 3 4 1 2 3 4 p IL a b c c e a h i j Solmu f otetaan jonosta ja käsitellään sen naapuri e ja g. Jono: k,g. color B B B B B B G B B B G d 0 1 2 3 3 4 5 1 2 3 4 p IL a b c c e f a h i j Lopulta solmut k ja g otetaan jonosta ja väritetään mustiksi, jolloin algoritmi päättyy jonon tyhjetessä. color B B B B B B B B B B B d 0 1 2 3 3 4 5 1 2 3 4 p IL a b c c e f a h i j yt voidaan edeltäjätaulukosta p lukea polku solmusta a solmuun g. Lopusta alkuun luettuna polku on g,p[g]=f,p[f]=e,p[e]=c,p[c]=b,p[b]=a. Siis polku alusta loppuun on a,b,c,e,f,g.
Tehtävä 6.2 Kuten luennoista muistetaan, syvyyshakualgoritmi on seuraavan lainen: DFS(G) 1.for each u in V 2. color[u] = WHITE 3. p[u] = IL 4. time = 0 5.for each u in V 6. if color[u]==white 7. DFS_VISIT(u) 8.return DFS_VISIT(u) 1. color[u] = GRAY 2. time = time+1 3. d[u] = time 4. for each v in Adj[u] 5. if color[v]==white 6. p[v] = u 7. DFS_VISIT(v) 8. color[u] = BLACK 9. time = time+1 10.f[u] = time 11.return Suorita syvyyshaku seuraavalle suunnatulle verkolle lähtien solmusta a ja luokittele verkon välit puuväleihin, eteneviin väleihin, takautuviin väleihin ja poikittaisväleihin. Tarkista myös, voiko algoritmin suorituksen aikana havaita verkossa sykliä. a b c d e f h g Ratkaisu. Verkon G vieruslistaesitys on a d e h b c g c g d f e g f h g h d
Aloitetaan syvyyshaku solmusta a, jonka naapuri d käsitellään ensin, jolloin pinossa ovat solmut d ja a. Taulukkojen sisältö color G G p IL a d 1 2 f Sitten käsitellään solmun d naapuri f, ja sen naapuri h. Pinossa on nyt h,f,d,a ja taulukoissa color G G G G p IL a d f d 1 2 3 4 f Solmulla h ei enää ole valkeita naapureita, sen sijaan huomataan, että sillä on harmaa naapuri d, joten verkossa havaitaan sykli. Solmun h käsittely lopetetaan ja palataan solmuun f. Tälläkään ei enää ole valkeita naapureita, joten palataan solmuun d, jonka naapurit myös ovat jo käsittelyssä. Pinossa on enää solmu a: color G B B B p IL a d f d 1 2 3 4 f 7 6 5 Ollaan solmussa a, jolla on vielä valkea naapuri e, jota siirrytään käsittelemään; pinossa a ja e. color G B G B B p IL a a d f d 1 2 8 3 4 f 7 6 5 Solmulla e on valkea naapuri g, joka menee pinoon: color G B G B G B p IL a a d e f d 1 2 8 3 9 4 f 7 6 5
Solmuilla g,e ja a ei ole valkeita naapureita, joten pino tyhjenee ja taulukkoihin päivitetään arvot color B B B B B B p IL a a d e f d 1 2 8 3 9 4 f 12 7 11 6 10 5 Seuraavaksi siirrytään vielä valkeaan solmuun b, jolla on ainoana valkeana naapurina c. ämä käsitellään ja algoritmi päättyy: color B B B B B B B B p IL IL b a a d e f d 1 13 14 2 8 3 9 4 f 12 16 15 7 11 6 10 5 Syvyyssuuntaisen virittävän metsän muodostavat puut a b d e c f g h Luokitellaan nyt verkon välit. Välit (a,d),(d,f),(f,h),(a,e),(e,g) ja (b,c) ovat puuvälejä, koska niitä tutkimalla löydetään uudet solmut. ämä välit näkyvät myös ylläolevissa puissa. Väli (a,h) on etenevä väli, koska solmu a on solmun h edeltäjä ja väli ei ole puuväli. Väli (h,d) on takautuva väli, koska h on solmun d jälkeläinen. Välit (b,g) ja (c,g) ovat sivuttaisvälejä, koska ne eivät ole puuvälejä eivätkä eteneviä tai takautuvia välejä.
Tehtävä 6.3 Ohjelmoi (joko C- tai Python-kielellä) muokattu leveyshakualgoritmi niin, että algoritmi havaitsee, onko verkko kaksijakoinen (bipartite). Kaksijakoiseksi sanotaan suuntaamatonta verkkoa, jonka solmut halutaan värittää punaisella ja sinisellä värillä niin, että verkon jokaisen välin toinen solmu on punainen ja toinen sininen. Algoritmin tulisi myös tehdä väritys, mikäli se on mahdollinen. Sovella ohjelmaasi seuraaviin verkkoihin 1 7 8 2 5 3 6 4 1 7 8 2 5 3 6 4 Ratkaisu. Kun sovelletaan leveyshakua verkkoon lähtien solmusta s, voidaan solmu s värittää punaiseksi. yt solmun s naapurit, jotka algoritmi löytää ensin, on väritettävä sinisiksi. äiden naapurit, joita ei vielä ole havaittu, ovat etäisyydellä 2 lähtösolmusta; nämä on taas väritettävä punaisiksi. äin solmut, joiden etäisyys on parillinen, väritetään punaisiksi ja solmut joiden etäisyys on pariton, väritetään sinisiksi. Luonnollisesti voi tapahtua niin, että kaksi parillisen tai parittoman etäisyyden solmua ovat naapureita, jolloin värittäminen ei ole mahdollista. Muokataan leveyshaun algoritmia niin, että kun solmu otetaan jonosta ja tutkitaan sen naapureita, tarkistetaan, onko niiden joukossa samanvärisiä (siis akselilla
punainen/sininen). Mikäli naapureissa on tällainen, ei värittäminen ole mahdollista; muuten väritetään naapurit. Lisätään algoritmiin taulukko redblue, johon tallennetaan solmun väri (R/B). Lisäksi on käytävä verkon kaikki solmut läpi, jotta kaikki komponentit käsiteltäisiin. Seuraavassa on leveyshakualgoritmi muokattuna havaitsemaan kaksijakoisuus. Syöte: Verkko G=(V,E). Verkolle oletetaan käytettävän vieruslistaesitystä. Tulostus: Muuten kuten leveyshakualgoritmissa, paitsi että nyt käydään kaikki solmut läpi. Taulukkoon redblue tehdään väritys, jos se on mahdollinen. Palauttaa arvon TRUE jos väritys onnistuu ja FALSE muuten. BIPARTITE(G) 1. for each u in V 2. color[u] = WHITE 3. d[u] = IF 4. p[u] = IL 5. redblue[u]=x // Epämääräinen väri aluksi taulukossa 6. bipart = TRUE 7. for each s in V 8. if color[s]==white 9. d[s] = 0 10. color[s] = GRAY 11. redblue[s] = RED 12. JOO Q = EMPTY // Aluksi tyhjä jono 13. EQUEUE(Q,s) 14. while Q!= EMPTY() // Toistetaan kunnes jono tyhjenee 15. u = DEQUEUE(Q) 16. for each v in Adj[u] 17. if color[v] == WHITE 18. color[v] = GRAY 19. d[v] = d[u]+1 20. if d[v] mod 2 == 0 21. reblue[v] = RED 22. else 23. reblue[v] = BLUE 24. p[v] = u 25. EQUEUE(Q,v) 26. else 27. if redblue[v] == redblue[u] 28. bipart = FALSE 29. color[u] = BLACK 30. return bipart Leveyshakualgoritmiin on lisätty ainoastaan yhden taulukon käsittelyä ja takuu siitä, että kaikki solmut käsitellään. äin ollen kompleksisuusluokka on ( M ). Toteutus on alla olevassa linkissä. Algoritmin toteuttava funktio on nimeltään bicoloring. C-ohjelmassa värityksen sisältävä taulukko redblue annetaan funktiolle parametrina. Funktion paluuarvo on nolla, mikäli väritys ei ole mahdollinen. Python-toteutuksessa taulukko saadaan funktion paluuarvona; paluuarvo on one, jos väritystä ei voi tehdä. Kun ohjelmaa sovelletaan esimerkkiverkkoihin, huomataan, että ensimmäinen verkko voidaan värittää mutta toinen ei.