Graafin virittävä puu 1 / 20



Samankaltaiset tiedostot
7.4. Eulerin graafit 1 / 22

0 v i v j / E, M ij = 1 v i v j E.

Todistus (2.2) Todistus (2.2) jatkoa. (2.2): Oletetaan, että0 n 1,1 n 1 / P i (F) aina kuni = 1,2,...,n. Olkoonf F painoltaan pienin joukonf alkio.

Kysymys: Voidaanko graafi piirtää tasoon niin, että sen viivat eivät risteä muualla kuin pisteiden kohdalla?

Pisteet ja viivat. Multigraafi

GRAAFITEORIA. Keijo Ruohonen

A TIETORAKENTEET JA ALGORITMIT

Johdatus graafiteoriaan

8.5. Järjestyssuhteet 1 / 19

10. Painotetut graafit

6.4. Järjestyssuhteet

Johdatus graafiteoriaan

811312A Tietorakenteet ja algoritmit V Verkkojen algoritmeja Osa 2 : Kruskalin ja Dijkstran algoritmit

Kokonaislukukapasiteetti. Max-Flow Min-Cut

Algoritmit 1. Luento 13 Ti Timo Männikkö

Luku 7. Verkkoalgoritmit. 7.1 Määritelmiä

10. Painotetut graafit

Königsbergin sillat. Königsberg 1700-luvulla. Leonhard Euler ( )

Malliratkaisut Demot

PARITUS KAKSIJAKOISESSA

v 8 v 9 v 5 C v 3 v 4

V. V. Vazirani: Approximation Algorithms, luvut 3-4 Matti Kääriäinen

Graafit ja verkot. Joukko solmuja ja joukko järjestämättömiä solmupareja. eli haaroja. Joukko solmuja ja joukko järjestettyjä solmupareja eli kaaria

b) Olkoon G vähintään kaksi solmua sisältävä puu. Sallitaan verkon G olevan

9. Graafit Graafin abstrakti tietotyyppi

Algoritmi on periaatteellisella tasolla seuraava:

Liite 2: Verkot ja todennäköisyyslaskenta

Suora. Määritelmä. Oletetaan, että n = 2 tai n = 3. Avaruuden R n suora on joukko. { p + t v t R},

A TIETORAKENTEET JA ALGORITMIT

Valitaan alkio x 1 A B ja merkitään A 1 = A { x 1 }. Perinnöllisyyden nojalla A 1 I.

verkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120

Suunnatut, etumerkilliset ja arvotetut graafit Sosiaalisten verkostojen analysoinnin näkökulmalla

Diskreetit rakenteet

58131 Tietorakenteet ja algoritmit (kevät 2014) Uusinta- ja erilliskoe, , vastauksia

13 Lyhimmät painotetut polut

Olkoon seuraavaksi G 2 sellainen tasan n solmua sisältävä suunnattu verkko,

TIETOTEKNIIKAN MATEMATIIKKA

Algoritmit 1. Luento 8 Ke Timo Männikkö

Luentorunko Kevät Matti Peltola.

Antti Rasila. Kevät Matematiikan ja systeemianalyysin laitos Aalto-yliopisto. Antti Rasila (Aalto-yliopisto) MS-A0204 Kevät / 16

Miten osoitetaan joukot samoiksi?

Topologia Syksy 2010 Harjoitus 9

58131 Tietorakenteet ja algoritmit Uusinta- ja erilliskoe ratkaisuja (Jyrki Kivinen)

1 Kertaus. Lineaarinen optimointitehtävä on muotoa:

Solmu 3/2001 Solmu 3/2001. Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä:

RAKKAUS MATEMAATTISENA RELAATIONA

Ratkaisu. Tulkitaan de Bruijnin jonon etsimiseksi aakkostossa S := {0, 1} sanapituudelle n = 4. Neljän pituisia sanoja on N = 2 n = 16 kpl.

58131 Tietorakenteet ja algoritmit (syksy 2015) Toinen välikoe, malliratkaisut

Eräs keskeinen algoritmien suunnittelutekniikka on. Palauta ongelma johonkin tunnettuun verkko-ongelmaan.

Voidaanko verkkoteoriaa opettaa lukiolaisille?

Puiden karakterisointi

Diofantoksen yhtälön ratkaisut

811312A Tietorakenteet ja algoritmit V Verkkojen algoritmeja Osa1 : Leveys- ja syvyyshaku

TKT20001 Tietorakenteet ja algoritmit Erilliskoe , malliratkaisut (Jyrki Kivinen)

Harjoitus 3 ( )

Heikki Junnila VERKOT JOUKOISTA JA RELAATIOISTA

T : Max-flow / min-cut -ongelmat

Tietorakenteet ja algoritmit. Verkot. Ari Korhonen

Algoritmit 1. Luento 13 Ma Timo Männikkö

Markov-ketjut pitkällä aikavälillä

Rakenteellinen tasapaino ja transitiivisyys

Ei-yhteydettömät kielet [Sipser luku 2.3]

Graafiteoria matematiikkaako?

Johdatus graafiteoriaan

MS-A0207 Differentiaali- ja integraalilaskenta 2 Luento 5: Gradientti ja suunnattu derivaatta. Vektoriarvoiset funktiot. Taylor-approksimaatio.

1 Lukujen jaollisuudesta

7. Tasaisen rajoituksen periaate

isomeerejä yhteensä yhdeksän kappaletta.

58131 Tietorakenteet ja algoritmit (kevät 2013) Kurssikoe 2, , vastauksia

Harjoitus 3 ( )

GRAAFITEORIAA. Pertti Koivisto Riitta Niemistö

Yhtäpitävyys. Aikaisemmin osoitettiin, että n on parillinen (oletus) n 2 on parillinen (väite).

14. Luennon sisältö. Kuljetustehtävä. Verkkoteoria ja optimointi. esimerkki. verkkoteorian optimointitehtäviä verkon virittävä puu lyhimmät polut

Kiinalaisen postimiehen ongelma

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

Palmikkoryhmät kryptografiassa

AVL-puut. eräs tapa tasapainottaa binäärihakupuu siten, että korkeus on O(log n) kun puussa on n avainta

Mallintarkastus. Mallin generointi. Esimerkki mallin SMV-kuvauksesta. Tila-avaruuden symbolinen esitys (I)

Algoritmit 2. Luento 5 Ti Timo Männikkö

Näytetään nyt relaatioon liittyvien ekvivalenssiluokkien olevan verkon G lohkojen särmäjoukkoja. Olkoon siis f verkon G jokin särmä.

811312A Tietorakenteet ja algoritmit Kertausta jälkiosasta

Näin ollen saadaan tulos rad(g) diam(g). Toisaalta huomataan, että verkon G kaikilla solmuilla x ja y pätee kolmioepäyhtälön nojalla havainto

Pertti Koivisto ja Riitta Niemistö. Graafiteoriaa

Kahden suoran leikkauspiste ja välinen kulma (suoraparvia)

VERKKOTEORIAN ALKEITA. Martti E. Pesonen

Harjoitus 4 ( )

Silmukkaoptimoinnista

Pienin virittävä puu (minimum spanning tree)

10. Globaali valaistus

PERUSASIOITA ALGEBRASTA

Seuraava topologisluonteinen lause on nk. Bairen lause tai Bairen kategorialause, n=1

Luku 4. Derivoituvien funktioiden ominaisuuksia.

Hamiltonin sykleistä graateoriassa

811312A Tietorakenteet ja algoritmit Kertausta jälkiosasta

Matematiikan tukikurssi

Esipuhe Tämä gradu on tehty Teknologian tutkimuskeskus VTT:llä tietoturvan tutkimustiimissä vuosien aikana. Opinnäytetyöni on osa Tekesin ja

Taulun avoimista haaroista saadaan kelvolliset lausejoukot

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

Algoritmit 1. Luento 7 Ti Timo Männikkö

Transkriptio:

Graafin virittävä puu 1 / 20 Graafin virittävä puu PuuT on graafingvirittävä puu (spanning tree), jos se sisältää kaikkig:n pisteet. Virittäviä puita: 2 / 20 Yhdistämisongelma Yhdistämisongelma:(Connector problem): Yhdistettävänsolmua mahdollisimman pienin kustannuksin/linkkien lukumäärin. Löydettävä painotetun graafin kevein virittävä puu. JosG α on painotettu graafi, missäα : E G R + painofunktio, niin virittävän puun paino α(t) = e T α(e). 3 / 20 1

Primin/Jarnikin algoritmi Primin algoritmi OlkoonG α = (V,E) painotettu graafi ja V = n. (i) Olkoonu 1 V eräs piste,v 1 = {u 1 } jae 1 =. (ii)aina kuni = 2,3,...,n (tässä järjestyksessä)e i = uv on kevein sellainen viiva, ettäu V i 1 jav / V i 1. Olkoon E i = E i 1 {e i } jav i = V i 1 {v}. Lopulta saadaan yhtenäinen graafit = (V n,e n ). Koskauv E i (v / V i 1 jau V i 1 ), niint ei sisällä piiriä Koska E n = n 1 ja V n = n, niint ong α :n virittävä puu lauseen 10.1 perusteella. 4 / 20 Esimerkki Primin algoritmista Esimerkki. Määrää allaolevan painotetun graafin kevein virittävä puu Primin algoritmilla. Ratk.... 5 / 20 2

Primin algoritmin täydellisyys Lause 7.15. Koko Primin algoritmin suorituksen ajan puut i = (V i,e i ) on jonking α :n virittävän keveimmän puun alipuu. Todistus. Sivuutetaan. Seuraus. Primin algoritmi tuottaa painotetun graafing α keveimmän virittävän puun. 6 / 20 7.10. Suunnatut graafit 7 / 20 Johdanto Vuorovaikutus epäsymmetristä (esim. tiedonsiirto, nesteen virtaus, yksisuuntainen liikenne jne.) Mallina suunnattu graafi. Viivojen kapasiteetilla merkitystä/rajoituksia painotettu suunnattu graafi. Määritellään aluksi suunnattu graafi Muunnetaan aikaisempia graafeihin liittyviä käsitteitä suunnatuille graafeille sopiviksi. 8 / 20 3

Määritelmiä ja perustuloksia Suunnattu graafi (digraph, directed graph)d = (V D,E D ) on järjestetty pari, missäv D on äärellinen pisteiden joukko jae D V D V D on (suunnattujen) viivojen eli nuolien joukko ilmanvv tyyppisiä viivoja. Viivojen joukkoe D on järjestettyjen parien joukko, eli yleisesti(u,v) (v,u). Viiva(u,v) kirjoitetaan edelleen muodossauv, mutta nytuv vu. Suunnatun viivan (nuolen)e = uv käänteisviiva (inverse ofe) on suunnattu viivae 1 = vu. Suunnattuja viivoja kutsutaan myös nuoliksi. 9 / 20 Esimerkki Esimerkki. Suunnattu graafi D = ({a,b,c,d},{ab,bc,bd,cb,cd}) Nuolicb on nuolenbc käänteisviiva. 10 / 20 4

Suunnatut aligraafit OlkoonD = (V D,E D ) suunnattu graafi. SilloinAon graafind (i) suunnattu aligraafi (subdiagraph), josv A V D jae A E D, (ii)indusoitu suunnattu aligraafi, jos on olemassa sellainenx V D, ettäv A = X jae A = E D (X X). Silloin merkitääna = D[X]. D[{b,c}] = ({b,c},{bc,cb}). 11 / 20 Alusgraafi ja orientaatio Suunnatun graafind = (V D,E D ) alusgraafi (underlying graph)u(d) = (V D,E D ) on graafi, joka saadaan tulkitsemalla graafindviivat viivoiksi ilman suuntaa. Suunnattu graafid on graafingorientaatio (orientation), josg=u(d) ja aina kune E D, niine 1 / E D. SilloinD on orientoitu graafi 12 / 20 5

Suunnattu kulku OlkoonD = (V D,E D ) suunnattu graafi. Silloin graafinu(d) kulku W : e 1 e 2 e k : u v on suunnatun graafind suunnattu kulku (directed walk), jose i E D aina kuni = 1,2,...,k. Suunnattu polku: Suunnattu kulku ilman pisteiden toistoa. Suunnattu piiri: Suljettu suunnattu kulku ilman pisteiden toistoa. 13 / 20 Yhtenäisyys Suunnattu graafid (i) yhtenäinen, jos graafiu(d) on yhtenäinen, (ii) unilateraalinen (unilateral), jos aina kunu,v V D on olemassa suunnattu polkuu v tai polkuv u, (iii)vahvasti yhtenäinen (strongly connected) jos aina kunu,v V D on olemassa suunnatut polutu v ja v u. Maksimaalinen vahvasti yhtenäinen indusoitu suunnattu aligraafi on suunnatun graafind vahva komponentti (di-component). 14 / 20 6

Aste Suunnatussa graafissad pisteenv V D (i) tuloaste (indegree) on pisteeseen tulevien viivojen lukumäärä eli degd I (v) = {e E D e = xv} (ii) lähtöaste (outdegree) on pisteestä lähtevien viivojen lukumäärä, eli deg O D(v) = {e E D e = vx}. 15 / 20 Handshaking Suunnatuille graafeille on voimassa Handshaking lemmaa vastaava tulos (joko tarjoat tai hyväksyt kättelyn). Apulause: Suunnatulle graafilledon voimassa: v Ddeg I D (v) = E D = v D deg O D (v). 16 / 20 7

Yksisuuntainen liikenne Yksisuuntainen liikenne-ongelma: Minkälaisen katuverkoston kadut voidaan muuntaa yksisuuntaisiksi niin, että jokaiseen kaupunginosan rakennukseen on pääsy? Katujen risteykset pisteitä Kadut nuolia Ongelman uusi muotoilu: Milloin graafillagon vahvasti yhtenäinen orientaatio? Ongelman ratkaisi Robbins: 17 / 20 Robbins Lause 7.16. Yhtenäisellä graafillagon vahvasti yhtenäinen orientaatio G ei sisällä siltaa. Todistus "". Oletus:Gon vahvasti yhtenäinen Vastaoletus:Gsisältää sillane = uv MilläänG:n orientaatiolla ei ole molempia polkujau v jav u. EliGei ole vahvasti yhtenäinen. Ristiriita oletuksen kanssa. 18 / 20 8

Todistus jatkoa " "Oletus:Gei sisällä siltaa. G sisältää piirin Piirillä aina vahvasti yhtenäinen orientaatio. Olkoon nyth G pistemäärältään suuring:n indusoitu aligraafi, jolla on vahvasti yhtenäinen orientaatio,d H. Vastaoletus:H G G yhtenäinen.h ong:n indusoitu aligraafi.h G. On olemassa sellainen viivae = vu E G, että u V H jav / V H. 19 / 20 Todistus jatkoa 2 G ei sisällä siltaa On olemassag:n piiri C : epq : v u w v, missäp : u w on graafinh polku ja polun muut pisteet paitsiwovat joukonv G \V H pisteitä. (H on indusoitu aligraafi, joten piiri löytyy) Q : w v GraafinH orientaatio D H sisältää suunnatun polunp : u w. Orientoidaane = uv suuntaane : v u ja polussaqesiintyvät viivat suuntaanq : w v.... 20 / 20 9