Johdatus verkkoteoriaan luento Netspace

Samankaltaiset tiedostot
Viikolla 47 läpikäydyt käsitteet

Johdatus verkkoteoriaan 4. luento

Johdatus verkkoteoriaan luento Netspace

Johdatus graafiteoriaan

Algoritmit 1. Luento 9 Ti Timo Männikkö

Johdatus graafiteoriaan

Malliratkaisut Demot

Harjoitus 2 ( )

Diskreetit rakenteet

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

Liite: Verkot. TKK (c) Ilkka Mellin (2004) 1

Algoritmit 1. Luento 8 Ke Timo Männikkö

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

Harjoitus 2 ( )

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

Projektin hallinta. Mistä on kysymys? Luennon sisältö. Projektityöskentelyssä monia hyviä puolia... ja valitettavan monia varjopuolia!

Luku 7. Verkkoalgoritmit. 7.1 Määritelmiä

keskenään isomorfiset? (Perustele!) Ratkaisu. Ovat. Tämän näkee indeksoimalla kärjet kuvan osoittamalla tavalla: a 1 b 3 a 5

Algoritmit 2. Luento 11 Ti Timo Männikkö

Ohjelmistoprojektien hallinta Tuloksen arvo menetelmä ja toimintoverkkotekniikka

Projektin hallinta. Mistä on kysymys? Luennon sisältö. Projektit varsin yleisiä yritysmaailmassa. Projektityöskentelyssä monia hyviä puolia...

Projektin hallinta. Projektit varsin yleisiä yritysmaailmassa. Luennon sisältö. Mistä on kysymys? Projektityöskentelyssä monia hyviä puolia...

VERKKOTEORIAN ALKEITA. Martti E. Pesonen

Johdatus verkkoteoriaan luento Netspace

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

Induktiotodistus: Tapaus n = 0 selvä; ol. väite pätee kun n < m.

Projektin aikataulutus

Algoritmit 1. Luento 13 Ma Timo Männikkö

Algoritmit 2. Luento 13 Ti Timo Männikkö

L u e n t o. Projektin hallinta. Luennon sisältö. Projektien perusteet Projektin suunnittelu Projektin hallinta Projektin valvonta

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

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

HARJOITUS- PAKETTI E

Johdatus graafiteoriaan

Projektin hallinta. Luennon sisältö. L u e n t o. Projektien perusteet Projektin suunnittelu Projektin hallinta Projektin valvonta

Graafin 3-värittyvyyden tutkinta T Graafiteoria, projektityö (eksakti algoritmi), kevät 2005

DMP / Kevät 2016 / Mallit Harjoitus 6 / viikko 13 / alkuviikko

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

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 5 / vko 48

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

Algoritmit 1. Luento 13 Ti Timo Männikkö

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

isomeerejä yhteensä yhdeksän kappaletta.

v 8 v 9 v 5 C v 3 v 4

A TIETORAKENTEET JA ALGORITMIT

58131 Tietorakenteet (kevät 2009) Harjoitus 11, ratkaisuja (Topi Musto)

Luento 4 / 12. SMG-1100 Piirianalyysi I Risto Mikkonen

T : Max-flow / min-cut -ongelmat

A ja B pelaavat sarjan pelejä. Sarjan voittaja on se, joka ensin voittaa n peliä.

Algoritmit 1. Luento 7 Ti Timo Männikkö

811312A Tietorakenteet ja algoritmit Kertausta jälkiosasta

ALGORITMIT 1 DEMOVASTAUKSET KEVÄT 2012

MS-A0401 Diskreetin matematiikan perusteet

Algoritmit 1. Luento 1 Ti Timo Männikkö

Äärellisten mallien teoria

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

Ohjelmistotuotanto, s

Tehtävä 8 : 1. Tehtävä 8 : 2

Kombinatorinen optimointi

MS-A0402 Diskreetin matematiikan perusteet

Eulerin verkkojen karakterisointi

Joukot. Georg Cantor ( )

Kuva Suomen päätieverkko 1 Moottoritiet on merkitty karttaan vihreällä, muut valtatiet punaisella ja kantatiet keltaisella värillä.

Datatähti 2019 loppu

811312A Tietorakenteet ja algoritmit Kertausta jälkiosasta

Malliratkaisut Demot

Harjoitus 3 ( )

Malliratkaisut Demot

GRAAFITEORIAA. Pertti Koivisto Riitta Niemistö

IPMA C-sertifiointivalmennus

Luku 8. Aluekyselyt. 8.1 Summataulukko

Lyhin kahden solmun välinen polku

Johdatus matematiikkaan

Algoritmit 2. Luento 14 Ke Timo Männikkö

Rinnakkaistietokoneet luento S

Silmukkavirta- ja solmupistemenetelmä. 1 DEE Piirianalyysi Risto Mikkonen

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

Tik Ohjelmistoprojektien Hallinta. Luento 4 Työmäärien arviointi

Tilastollinen testaus. Vilkkumaa / Kuusinen 1

Rakenteellinen tasapaino ja transitiivisyys

13 Lyhimmät painotetut polut

j n j a b a c a d b c c d m j b a c a d a c b d c c j

Pertti Koivisto ja Riitta Niemistö. Graafiteoriaa

6.4. Järjestyssuhteet

Dynaaminen ohjelmointi ja vaikutuskaaviot

Algoritmit 1. Demot Timo Männikkö

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

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1)

T Rinnakkaiset ja hajautetut digitaaliset järjestelmät Stokastinen analyysi

Sovellettu todennäköisyyslaskenta B

Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa 1/137

Algoritmit 2. Luento 12 Ke Timo Männikkö

Ohjelmistotuotanto, s2001 2/27/2003

Jos d-kohdan vasemmalla puolella perusjoukkona on X, niin oikealla puolella

Harjoitus 6 ( )

Otanta ilman takaisinpanoa

Liite 2: Verkot ja todennäköisyyslaskenta

Esimerkkejä polynomisista ja ei-polynomisista ongelmista

Johdatus matematiikkaan

Epädeterministisen Turingin koneen N laskentaa syötteellä x on usein hyödyllistä ajatella laskentapuuna

Transkriptio:

Johdatus verkkoteoriaan luento 20.3.18 Netspace

Kurssin sijainti muussa suunnitellussa kokonaisuudessa

Verkko eli graafi, tasoverkko, solmut, välit, alueet, suunnatut verkot, isomorfiset verkot, verkon duaali, verkon upottaminen, verkon genus, verkon komplementti, aliverkko, täydellinen verkko, solmun ja alueen asteluku, väliverkko, säännöllinen verkko, Eulerin ja Hamiltonin verkot, kauppamatkustajan ongelma, verkon kromaattinen luku, kaksijakoinen verkko, erilaiset polut ja silmukat, verkon yhtenäisyys, puurakenteet, projektiverkko ja sen kriittinen polku (punaisella olleet käsitteet käsitelty jollain tasolla maaliskuussa)

TASOVERKKO ALIVERKKO SOLMUN ASTE LEIKKAUSSOLMU SOSIOGRAMMI EULERIN KAAVA 4CC LYHIN POLKU KRIITTINEN POLKU (keltaisella jo käsitellyt asiat) Netspace

Kurssin rakennetta

Väliverkko tekeminen alueet solmuiksi ylitetään vierekkäiset välit välien määrä: e L =-e + ½ Σ (d i ) 2

Komplementti vain yksinkertaisille verkoille tekeminen tehdään vastaava täydellinen verkko poistetaan ne välit, jotka ovat alkuperäisessä verkossa

Demoista lyhyesti

Wikivertailua (verkkoteoria)

Back Netspace

Back Netspace

Back Netspace

Laajemmin Eulerin kaavasta Netspace

V - E + F = 2

McCabe and the cyclomatic complexity in programming back Netspace

. back Netspace

Genus (g) back Netspace

Back Netspace

V - E + F = 0 back 3v-6 Netspace

V - E + F = 2-2g genus Back Netspace

g = 1 V - E + F = 0 back Netspace

Back Netspace

TÄYDELLISEN VERKON GENUS (K ) v = (v-3)(v-4) 12 Back V E Netspace

Back Netspace

g = 3 V - E + F = -4 back Netspace

Back Netspace

Back Netspace

Täydellisen verkon maksimigenus

Back Netspace

Kuuden solmun täydellinen verkko

V - E = 0 Back Netspace

V - E + F = 2 back 3v-6 Netspace

V - E + F - S = 0 Back V E Netspace

Eulerin-Poincarén kaava S k on k-simpleksien lukumäärä k = 0 n+1 S (-1) k *S k =1-, kun S n+1 =1- Back V E Netspace

back Netspace

Säännölliset verkot eli Eulerin kaava kun alueen asteluku on sama Netspace

E = 3V - 6 back Netspace

E = 2V - 4 back Netspace

2e = S k*deg(v k ) 2e = 3f v-e+f=2 back Netspace

4CC Netspace

Projektiverkoista

Demojen teossa on eniten hyötyä kalvoista 68 ja 73

Töiden järjestely muistuttaa sijoitteluongelmaa, haetaan n:lle eri työlle tapa tehdä ne m:n eri vaihtoehdon joukosta. Erotuksena sijoitteluongelmaan on töiden suoritusjärjestyksiin liittyvät ehdot. Töiden järjestelyn eräs sovellusalue on projektisuunnittelu. Projektisuunnitteluun on tehty erilaisia projektinhallintamenetelmiä, joista tunnetuimpia ovat 50-luvun lopulla kehitetyt CPM (Critical Path Method) ja PERT (Program Evaluation and Review Technique). Nämä menetelmät eroavat selvimmin ajan arvioinnissa. CPM:ssä se on deterministinen eli perustuu ennalta määrättyihin aikoihin kun taas PERT:issä ajan arviointi tapahtuu stokastisesti eli apuna käytetään satunnaislukujakaumia.

Projektinhallinta on selvästi eräs verkkoteorian sovellusalue ja keskeistä osaa näyttelee ns. projektiverkko ja kriittisen polun hakeminen projektiverkosta. Verkon kriittinen polku tarkoittaa lyhyesti pisintä polkua alkusolmusta loppusolmuun kun verkon kaikki välit käydään läpi täsmälleen yhden kerran. Kriittisen polun pituus (pituus tarkoittaa ajan pituutta) antaa samalla lyhimmän ajan jolla projekti on mahdollista viedä läpi. Projektiverkon (*) piirtämisessä on noudatettava eräitä sääntöjä: 1. Verkon jokaisella välillä on suunta (verkko on suunnattu) ja verkolla on aina yksi alku- ja loppusolmu, 2. Välit kuvaavat töitä eli aktiviteetteja, 3. Verkon solmut on numeroitu nousevasti s.e. jokaisen välin päätesolmulla on aina suurempi numero kuin sen lähtösolmulla, 4.

Verkko ei saa sisältää silmukoita (eli projekti ei saa jäädä luuppiin ) 5. Jokaisen aktiviteetin kuvaamiseen käytetään ainoastaan yhtä väliä ja jokainen väli esittää ainoastaan yhtä aktiviteettia, 6. Kahden solmun välissä on vain yksi aktiviteetti (suunnattu väli), 7. Jotta verkko voitaisiin piirtää s.e. ehdot 5 ja 6 eivät tulisi rikotuiksi, on verkkoon joskus lisättävä ns. valeaktiviteetteja (dummy activity), joiden kesto on nolla. Esimerkiksi jos työ A edeltää töitä C sekä D ja työ B edeltää myös D:tä, mutta ei C:tä niin verkon piirtäminen onnistuu lisäämällä valetyö A:n päätesolmusta (2) B:n päätesolmuun (3). Katso oheisen esimerkin kuvaa alla. Huom! Jos jollakulla aktiviteetilla ei ole edeltäjää niin sen lähtösolmu on tietenkin solmu nro 1.

Projektin kokonaiskesto saadaan selville kriittisen polun avulla. Kriittisen polun määräämiseksi on tarpeen laskea seuraavia lukuarvoja: varhaisin aloitusaika (ES, earliest star time), myöhäisin aloitusaika (LF, latest start time), varhaisin lopetusaika (EF, earliest finish time), myöhäisin lopetusaika (LF, latest finish time) ja aktiviteetin pelivara (TS,). Nämä arvot voidaan laskea seuraavin yhtälöin kun aktiviteetin kestoa merkitään T:llä: ES(alkusolmusta lähtevä aktiviteetti) = 0, ES(x) = max{ef(x:ää edeltävä aktiviteetti)} eli suurin x:ää edeltävien aktiviteettien varhaisimmasta päättymisajasta, EF(x) = ES(x) + T(x). Projektin aikaisin mahdollinen päättymisaika on EF(n) kun n on viimeinen aktiviteetti. Jatketaan laskemalla takaperin: LF(n) = EF(n), LS(n) = LF(n) - T(n),..., LF(x) = min{ls((x:ää seuraava aktiviteetti)} eli pienin x:ää seuraavien aktiviteettien myöhäisimmästä alkamisajasta, LS(x) = LF(x) - T(x). Kun verkko on laskettu läpi niin saadaan pelivarat yksinkertaisesti: TS(x) = LS(x) - ES(x).

Jos TS(x) = 0 niin aktiviteetti kuuluu projektiverkon kriittiseen polkuun. Kriittisellä polulla ei siis ole pelivaraa ja vastaavasti ne aktiviteetit, joilla TS>0, on ns. vapaata pelivaraa. Vapaa pelivara on se aika, minkä ko. työ voi myöhästyä vaikuttamatta seuraavan työn alkamiseen.

The End

Huhtikuussa tulossa mm. Kuljetusongelma Lyhimmän polun ongelma Kauppamatkustajan ongelma Matriisit ja sosiaaliset verkot Muistin rakennetta verkkona