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.



Samankaltaiset tiedostot
7.4. Eulerin graafit 1 / 22

Graafin virittävä puu 1 / 20

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

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

A TIETORAKENTEET JA ALGORITMIT

Johdatus graafiteoriaan

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

Johdatus graafiteoriaan

Pisteet ja viivat. Multigraafi

Graafiteoria matematiikkaako?

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

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

Kiinalaisen postimiehen ongelma

Johdatus matemaattiseen päättelyyn

isomeerejä yhteensä yhdeksän kappaletta.

GRAAFITEORIA. Keijo Ruohonen

Diskreetit rakenteet

PARITUS KAKSIJAKOISESSA

Kokonaislukukapasiteetti. Max-Flow Min-Cut

v 8 v 9 v 5 C v 3 v 4

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

1 Lukujen jaollisuudesta

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

Johdatus graafiteoriaan

Hamiltonin sykleistä graateoriassa

on Abelin ryhmä kertolaskun suhteen. Tämän joukon alkioiden lukumäärää merkitään

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.

6.4. Järjestyssuhteet

3 Suorat ja tasot. 3.1 Suora. Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta.

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?

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

Shorin algoritmin matematiikkaa Edvard Fagerholm

Johdatus matemaattiseen päättelyyn

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

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Eulerin verkkojen karakterisointi

8.5. Järjestyssuhteet 1 / 19

Rollen lause polynomeille

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

Johdatus matematiikkaan

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

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

Algoritmi on periaatteellisella tasolla seuraava:

Johdatus matemaattiseen päättelyyn

1 sup- ja inf-esimerkkejä

Ennakkotehtävän ratkaisu

1 sup- ja inf-esimerkkejä

Lukuteoria. Eukleides Aleksandrialainen (n. 300 eaa)

Vastaoletuksen muodostaminen

VERKOT. SUHTEIKOT JA VERKOT 1. Johdanto Pisteiden asteet Yhtenäisyys Kulku suhteikossa Hamiltonin kulut...

Matematiikan mestariluokka, syksy

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg

Tee konseptiin pisteytysruudukko! Muista kirjata nimesi ja ryhmäsi. Lue ohjeet huolellisesti!

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

sitä vastaava Cliffordin algebran kannan alkio. Merkitään I = e 1 e 2 e n

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

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

Puiden karakterisointi

MS-A0402 Diskreetin matematiikan perusteet

Datatähti 2019 loppu

Johdatus verkkoteoriaan 4. luento

Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta.

Analyysi III. Jari Taskinen. 28. syyskuuta Luku 1

7 Vapaus. 7.1 Vapauden määritelmä

Ratkeavuus ja efektiivinen numeroituvuus

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

Konvergenssilauseita


Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

A = a b B = c d. d e f. g h i determinantti on det(c) = a(ei fh) b(di fg) + c(dh eg). Matriisin determinanttia voi merkitä myös pystyviivojen avulla:

d Z + 17 Viimeksi muutettu

ALKULUKUJA JA MELKEIN ALKULUKUJA

a ord 13 (a)

Ristitulolle saadaan toinen muistisääntö determinantin avulla. Vektoreiden v ja w ristitulo saadaan laskemalla determinantti

Ratkaisu: (b) A = x 0 (R(x 0 ) x 1 ( Q(x 1 ) (S(x 0, x 1 ) S(x 1, x 1 )))).

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

Johdatus matemaattiseen päättelyyn

Diofantoksen yhtälön ratkaisut

Luentorunko Kevät Matti Peltola.

j(j 1) = n(n2 1) 3 + (k + 1)k = (k + 1)(k2 k + 3k) 3 = (k + 1)(k2 + 2k + 1 1)

Johdatus diskreettiin matematiikkaan Harjoitus 7,

Määritelmä, alkuluku/yhdistetty luku: Esimerkki . c) Huomautus Määritelmä, alkutekijä: Esimerkki

Todistusmenetelmiä Miksi pitää todistaa?

Avaruuden R n aliavaruus

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

LUKUTEORIA A. Harjoitustehtäviä, kevät (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että

6. Tekijäryhmät ja aliryhmät

Kanta ja dimensio 1 / 23

Tehtävä 1. Päättele resoluutiolla seuraavista klausuulijoukoista. a. 1 {p 3 } oletus. 4 {p 1, p 2, p 3 } oletus. 5 { p 1 } (1, 2) 7 (4, 6)

Alkulukujen harmoninen sarja

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.

Mohrin-Mascheronin lause kolmiulotteisessa harppi-viivaingeometriassa

(2n 1) = n 2

Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus.

Koodausteoria, Kesä 2014

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

a b c d

Tehtävä 1. Arvioi mitkä seuraavista väitteistä pitävät paikkansa. Vihje: voit aloittaa kokeilemalla sopivia lukuarvoja.

Transkriptio:

Todistus (2.2) (2.2): Oletetaan, että0 n 1,1 n 1 / P i (F) aina kuni = 1,2,...,n. Olkoonf F painoltaan pienin joukonf alkio. Selvästi bittijono f sisältää ainakin yhden1:sen. Voidaan olettaa, että f 1 = 1. SilloinP 1 (f) on painoltaan pienin joukonp 1 (F) alkio. OlkoonF = P 1 (F \{f}). JosF =, niinf = {f}. Koskaf 1 = 1, niin jono0 n,01 n 1,1 n on turvassa vikojen joukoltaf. Lisäksi 0 n < 01 n 1 < 1 n. 1 / 22 Todistus (2.2) jatkoa JosF, niin F < n 1. Induktio-oletus On olemassa graafinp 1 (Q n ) joukoltaf turvassa oleva jono0 n 1,u,v,1 n 1, missä 0 n 1 < u < v 1 n 1. Valitaan näistä jonoista se, missä u on suurin. Riittää osoittaa Väite: GraafissaQ n jono0 n,0u,0v,1 n on turvassa joukoltaf Väitteen todistus:... 2 / 22 1

Lauseen 6.4.1. todistus Lause 6.4.1. OlkoonQ n hyperkuutio,n = 0,1,2,..., jaρmielivaltainen lyhimmän polun reititys hyperkuutiolle Q n. JosF on vikojen joukko ja F < n, niin diam(r(q n,ρ)/f) 3. Todistus. Apulauseen 6.4.1. Aina kunx y on turvassa vikojen joukoltaf, niinxy on graafin R(Q n,ρ)/f viiva kaikilla lyhyimmän polun reitityksilläρ. Apulauseen 6.4.2. Aina kun F < n ja aina kun pisteetx,y Q n /F, on olemassa sellaiset pisteetuja v, että jono x, u, v, y on turvassa F :ltä. Silloin graafissar(q n,ρ)/f jokaisella pisteparillax,y on olemassa korkeintaan3:n pituinen polku x u v y. Siisdiam(R(Q n,ρ)/f) 3 aina kunρon lyhimmän polun reititys. 3 / 22 Spesiaalireititys Jos lyhimmän polun reititys kiinnitetään, saadaan reititysgraafin vikaantumattoman osan halkaisija vielä äskeistä pienemmäksi. Lause 6.4.2. Olkoonλ n (x,y) hyperkuutionq n lyhimmän polun reititys, jossa reitti etenee pisteestäxpisteeseen y polkua, jossa pisteiden erilaisista vastinkoordinaateista muutetaan aina vasemmanpuoleisin. Jos F < n, niin Todistus. Harjoitustehtävä. diam(r(q n,λ n ))/F 2. 4 / 22 2

7.Eulerin ja Hamiltonin graafit 5 / 22 Kerran kulkeminen Graafin pisteiden/viivojen läpikäyminen esiintyy usein sovelluksissa (esimerkiksi etsintäalgoritmit, reititykset) Läpikäyminen tehdään nopeimmin, kun yhtäkään viivaa/pistettä ei kuljeta kahta kertaa. Milloin tämä on mahdollista? Seuraavassa karakterisoidaan ehdon/ehdot toteuttavat graafityypit. Lisäksi tutkitaan Postimies- ja kauppamatkustajaongelmia. 6 / 22 7.1. Eulerin graafit Aluksi tarkasteltiin Königsbergin siltaongelmaa: 7 / 22 3

Määritelmä Määritelmä 7.1.1 GraafillaG = (V,E) on Eulerin reitti (Euler trail), jos se sisältää reitin jossa jokaineng:n viiva esiintyy. Suljettu Eulerin reitti on Eulerin kierros (Euler tour). Yhtenäinen graafi on Eulerin graafi tai euleriaaninen (eulerian), jos se sisältää Eulerin kierroksen. Selvästi aina kune 1 e 2 e n on Eulerin kierros, niin sitä on myöse i e i+1 e n e 1 e 2 e i 1. 8 / 22 Siltaongelman ratkaisu Euler ratkaisi Königsbergin siltaongelman todistamalla toisenpuolen seuraavasta tuloksesta. Toisen osan todisti Hierholzer (1873) Lause 7.1.1. Yhtenäinen graafi (myös multigraafi) on Eulerin graafi jos ja vain jos jokaisen pisteen aste on parillinen. Todistus. (Euler 1736) OlkoonW : u u Eulerin kierros. Olkoonv W piste joka esiintyyk kertaaw :ssä. Joka kerta kunw :ssä viiva saapuu pisteeseenv, niin se myös lähtee pisteestäv. v:n aste on parillinen. Pisteenuaste on parillinen, koskaw alkaau:sta ja loppuuu:hun. 9 / 22 4

Todistus jatkoa Hierholzer (1873) Oletus:G = (V,E) on yhtenäinen ja ei-triviaali graafi, jonka jokaisen pisteen aste on parillinen. Väite:Gon Eulerin graafi. OlkoonW, pising:n reitti: W = e 1 e 2 e n : v 0 vn, jollee i = v i 1 v i. Viivae = v n u E e W. Muuten reittiwe on pidempi kuinw. Josv 0 v n ja pistev n esiintyyk kertaa polussaw, niin silloinv n :stä lähtevien/saapuvien viivojen määrä olisi 2(k 1)+1 Siis pisteenv n aste olisi pariton. Oltavav 0 = v n eli reitti W on suljettu. 10 / 22 Todistus jatkoa 2 JosW ei ole Eulerin kierros, niin on olemassa viivaf = v i u E jollakinijaf / W. (G on yhtenäinen) Reitti e i+1 e i+2 e n e 1 e i f on pidempi kuinw Ristiriita reitinw valinnan suhteen. 11 / 22 5

Eulerin reitin olemassaolo Ed. lause Graafi, jonka jonkin pisteen aste on pariton, ei sisällä Eulerin kierrosta. Handshaking lemma Graafin parittoman asteen omaavien pisteiden lukumäärä on aina parillinen. Ei ole olemassa graafia jolla on vain yksi parittoman asteen omaava piste. 12 / 22 Eulerin reitin olemassaolo OlkoonG = (V,E) graafi, jossa on täsmälleen kaksi parittoman asteen omaavaa pistettäujav. G+e on uusi graafi (tai multigraafi), missäe = uv on uusi viiva Jokaisen graafing+episteen aste on parillinen G+e sisältää Eulerin kierroksen (ja tietenkin viivaeesiintyy siinä) Poistamalla tästä kierroksesta viivaesaadaan graafingeulerin reittiu v. 13 / 22 6

Eulerin reitti On todistettu: Lause 7.1.2. Yhtenäinen graafi (myös multigraafi) sisältää Eulerin reitin Graafi sisältää korkeintaan kaksi parittoman asteen omaavaa pistettä. 14 / 22 Königsberg Pisteiden A, B, C ja D aste on pariton. Königsbergin siltaongelmalle ei ole ratkaisua: 15 / 22 7

Eulerin graafin variaatioita Semieuleriaaninen (semi-eulerian) graafi: Sisältää Eulerin reitin, mutta ei Eulerin kierrosta. Kuljettavissa oleva (traversable) graafi: Sisältää Eulerin reitin tai Eulerin kierroksen. Seuraus 7.1.1. Yhtenäinen graafi (multigraafi) on semieuleriaaninen Graafi sisältää täsmälleen kaksi parittoman asteen omaavaa pistettä. Eulerin reitti alkaa toisesta parittoman asteen omaavasta pisteestä ja päättyy toiseen. 16 / 22 Esimerkki. Esimerkki. Allaoleva graafi on semieuleriaaninen. Eulerin reitti: b c d e f a b e 17 / 22 8

7.2. Postimiesongelma Eulerin kierroksen sovelluksia: postinkanto, lumenauraus, roska-auton kulkureitti jne. Yleisessä ongelmassa mukana viivapainot: Postimiesongelma (The Chinese Postman Problem):G = (V,E) painotettu graafi,paino:α : E R +. Ongelma: Löydettävä pisteestäu(posti) lähtevä suljettu kulkuw, joka sisältää kaikki graafingviivat (kadut) niin, että α(w) = α(e) e W on mahdollisimman pieni. Eulerin graafille Eulerin kierros on ongelman ratkaisu. Miten Eulerin kierros löydetään? 18 / 22 Fleuryn algoritmi Fleuryn algoritmi: v 0 G lähtöpiste jaw 0 v 0 :n triviaalipolku. Toistetaan seuraavaa niin pitkään kuin mahdollista i = 1, 2, 3,... W i = e 1 e 2 e i reitti,e j = v j 1 v j,j = 1,2,...i. Valitaane i+1 seuraavasti: (i)e i+1 e j aina kunj = 1,2,...,i (ii)v i one i+1 :sen päätepiste. (iii) Viivae i+1 ei ole graafing i = G {e 1,e 2,...,e i } silta, jos tällainen valinta on mahdollista. 19 / 22 9

Esimerkki Fleuryn algoritmista Esimerkki. Kaupungin osan kadut ovat allaolevan graafin mukaiset, kun viivat ovat katuja ja pisteet katujen risteyksiä. Posti on risteyksessäb. Voiko postimies jakaa postin kaikille kaupunginosan kaduille niin, että hän kulkee jokaisen kadun vain kerran? Jos voi, mikä on kulkureitti? 20 / 22 Ratkaisu Ratkaisu. Jokaisen pisteen aste parillinen. Eulerin kierros olemassa. Fleury: 0. v 1 = b W 0 = b 1.e 1 = ba, v 2 = a W 1 = b a 2.e 2 = ac, v 3 = c W 2 = b a c 3.e 3 = cg, v 4 = g W 3 = b a c g 4.e 4 = gd, v 5 = d W 4 = b a c g d 5.e 5 = dc, v 6 = c W 5 = b a c g d c jne. 21 / 22 10

Ratkaisu jatkoa G: a 1 b 2 3 g 7 f c 5 Kulku:b a c g d c f g b d f b d 22 / 22 11