Discrete modellen in de toegepaste wiskunde (WISB136) Uitwerkingen proeftentamen.

Vergelijkbare documenten
Week Hier vind je uitwerkingen van enkele opgaven uit het dictaat Grafen: Kleuren en Routeren.

2WO12: Optimalisering in Netwerken

Grafen. Indien de uitgraad van ieder punt 1 is, dan bevat de graaf een cykel. Indien de ingraad van ieder punt 1 is, dan bevat de graaf een cykel.

Discrete Modellen in de Toegepaste Wiskunde (WISB136) Dinsdag 19 april, 2011

3. Elke lijn van een graaf draagt twee bij tot de som van alle graden.

Kortste Paden. Algoritmiek

2WO12: Optimalisering in Netwerken

TW2020 Optimalisering

Discrete Wiskunde, College 13. Han Hoogeveen, Utrecht University

TW2020 Optimalisering

Opmerking vooraf: let op, de terminologie is in elk boek weer anders!

Discrete Structuren. Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie

Radboud Universiteit Nijmegen

2WO12: Optimalisering in Netwerken

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie

Minimum Opspannende Bomen. Algoritmiek

Discrete Wiskunde, College 12. Han Hoogeveen, Utrecht University

Doorzoeken van grafen. Algoritmiek

Tentamen Discrete Wiskunde 1 10 april 2012, 14:00 17:00 uur

2WO12: Optimalisering in Netwerken

Uitwerking vierde serie inleveropgaven

Onderwerpen. Punten en lijnen, postbodes en handelsreizigers. Theorie. Theorie (2) Graaftheorie. Een mini-inleiding graaftheorie

Radboud Universiteit Nijmegen

Tiende college algoritmiek. 26 april Gretige algoritmen

V = {a, b, c, d, e} Computernetwerken: de knopen zijn machines in het netwerk, de kanten zijn communicatiekanalen.

Tiende college algoritmiek. 14 april Gretige algoritmen

Bomen. 8.8 ongerichte bomen 9.4 gerichte bomen ch 10. binaire bomen. deel 1. Negende college

Workshop DisWis, De Start 13/06/2007 Bladzijde 1 van 7. Sudoku. Sudoku

Tiende college algoritmiek. 13/21 april Gretige Algoritmen Algoritme van Dijkstra

Benaderingsalgoritmen

RIPS Rechtlijnige Ingebedde Planaire Subgrafen

Tiende college algoritmiek. 2 mei Gretige algoritmen, Dijkstra

Kortste Paden. Algoritmiek

Lijstkleuring van grafen

Lege polygonen in een graaf.

De stelling van Borsuk. Auteurs: Michiel Tel en Merlijn Koek

Begrenzing van het aantal iteraties in het max-flow algoritme

Tentamen combinatorische optimalisatie Tijd:

Uitwerking tentamen Analyse van Algoritmen, 29 januari

Examen Datastructuren en Algoritmen II

Lijst-kleuringen in de grafentheorie

Tiende college algoritmiek. 4 mei Gretige Algoritmen Algoritme van Dijkstra

Netwerkstroming. Algoritmiek

1 Vervangingsstrategie auto

Universiteit Utrecht Betafaculteit. Examen Discrete Wiskunde II op donderdag 6 juli 2017, uur.

TW2020 Optimalisering

l e x e voor alle e E

Het minimale aantal sleutels op niveau h is derhalve

Algoritmes in ons dagelijks leven. Leve de Wiskunde! 7 April 2017 Jacobien Carstens

Oefeningen Discrete Wiskunde - Hoofdstuk 6 - Peter Vandendriessche Fouten, opmerkingen of alternatieve methodes? me:

Les 1 - Brussels sprouts

TW2020 Optimalisering

Constructie van veralgemeende fusenen

9. Strategieën en oplossingsmethoden

Elfde college algoritmiek. 18 mei Algoritme van Dijkstra, Heap, Heapify & Heapsort

TW2020 Optimalisering

Grafen deel 2 8/9. Zesde college

Planaire representaties van grafen op gesloten oppervlakken

Toewijzingsprobleem Bachelorscriptie

Tentamen Discrete Wiskunde

Universiteit Utrecht Betafaculteit. Examen Discrete Wiskunde op donderdag 13 april 2017, uur.

Semantiek (2IT40) Jos Baeten. HG 7.19 tel.: Hoorcollege 3 (12 april 2007)

Polyatheorie. Erik Verraedt

Werkblad 2 Kracht is een vector -Thema 14 (NIVEAU BETA)

Grafen en BFS. Mark Lekkerkerker. 24 februari 2014

Ter Leering ende Vermaeck

Permutoëders en Hamiltoniaanse paden

Elfde college algoritmiek. 28 april Gretige Algoritmen, Algoritme van Dijkstra, Branch & Bound

De probabilistische methode

Uitgebreide uitwerking Tentamen Complexiteit, juni 2017

Elke gelijkenis met bestaande gebeurtenissen en/of personen berust op louter toeval.

Een combinatorische oplossing voor vraag 10 van de LIMO 2010

Tweede college algoritmiek. 12 februari Grafen en bomen

Elfde college algoritmiek. 10 mei Algoritme van Dijkstra, Gretige Algoritmen

Opdracht 3: De volhardende voetbalfan

De huwelijksstelling van Hall

Uitwerkingen Sum of Us

Twaalfde college complexiteit. 11 mei Overzicht, MST

Inhoud leereenheid 4. Grafen. Introductie 45. Leerkern 47. Samenvatting 75 Zelftoets 76

Radboud Universiteit Nijmegen

Greedy algoritmes. Algoritmiek

Transport-, Routing- en Schedulingproblemen. Wi4062TU / Wi487TU / a86g. Uitwerkingen

1.2 Bomen Algemeen 1.2. BOMEN 7

8C080 deel BioModeling en bioinformatica

Achtste college complexiteit. 2 april Polynoomevaluatie Matrixvermenigvuldiging Euler- en Hamiltonkringen

Hebzucht loont niet altijd

Grafen deel 2 8/9. Zevende college

Chinese postbodeprobleem

Vierde college algoritmiek. 2 maart Toestand-actie-ruimte Exhaustive Search

Minimum Spanning Tree

Uitgebreide uitwerking Tentamen Complexiteit, mei 2007

Transport-, Routing- en Schedulingproblemen. Wi4062TU / Wi487TU / a86g. Uitwerkingen

Gödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3

Combinatorische Algoritmen: Binary Decision Diagrams, Deel III

Radboud Universiteit Nijmegen

Examen Datastructuren en Algoritmen II

Riemann-Roch voor grafen

V.4 Eigenschappen van continue functies

Grafen: Kleuren en Routeren

Examen Discrete Wiskunde donderdag 12 april, 2018

Transcriptie:

Discrete modellen in de toegepaste wiskunde (WISB6) Uitwerkingen proeftentamen. Docent: Rob H. Bisseling april 202. Begin met een matching M = {x y, x y, x 6 y 6 } aangegeven door de vette lijnen. x De knoop x is ongematcht en x y 5 is een bijbehorend augmenterend pad. Voeg de zijde x y 5 toe aan M. Dit geeft x De knoop x 2 is ongematcht en x 2 y x y 2 is een bijbehorend augmenterend pad. Verander voor dit pad de zijden in de matching naar buiten de matching en vice versa. Dit geeft

x De knoop x 5 is ongematcht en x 5 y is een bijbehorend augmenterend pad. Dit geeft x De resulterende matching is M = {x y, x 2 y, x y 2, x y 5, x 5 y, x 6 y 6 }. Deze matching is perfect. (Merk op dat de APS-boom telkens maar uit één pad bestond.) 2. (a) Zet n knopen op het papier. Dit is de beginsituatie. Voeg nu een zijde toe; deze zijde mag ook een lus zijn. Zet een knoop ergens op die zijde. Deze knoop splitst de nieuwe zijde in twee zijden. Spelers doen dit om de beurt. Regels hierbij zijn: (i) elke knoop mag ten hoogste graad hebben; (ii) zijden mogen geen andere zijden snijden of knopen raken (anders dan de eigen eindpunten). Wie geen zijde meer kan toevoegen verliest. (b) Een mogelijk spelverloop voor 2 beginpunten is: (0) () (2) () () (5) De speler die begon, won. 2

(c) Noem D het totaal van de graden van de huidige knopen, D = v V d(v), en N het huidige aantal knopen. In het begin is D = 0 en N = n. Bij iedere zet komen er 2 zijden en knoop bij. Dus D wordt met verhoogd en N met. Na k zetten is D = k en N = n + k. Omdat de maximale toegestane graad is, geldt D N, d.w.z. k (n + k), dus k n. Het spel is daarom in ten hoogste n zetten afgelopen. (Dit kan overigens nog aangescherpt worden tot n.). (a) Een Eulertoer is een pad in een graaf dat elke zijde van de graaf precies één keer doorloopt en waarvan het beginpunt gelijk is aan het eindpunt. (b) De linkergraaf is Eulers want de graaf is samenhangend en alle knopen hebben een even graad (2 knopen hebben graad en de rest heeft graad 2). Onderstaand drie momentmopnamen van een Eulertoer voor de linkergraaf. De toer start en eindigt rechtsbeneden. Het deel dat al belopen is wordt weggelaten uit de graaf. We gebruiken Fleury s algoritme en vermijden snijzijden (cut edges) als dit kan. Daarom mogen we na de tweede stap niet rechtsaf slaan maar gaan we schuin linksaf. Na 0 stappen zijn we weer thuis. De rechtergraaf is niet Eulers, want de centrumknoop heeft een oneven graad, namelijk 7.. Stel G = (V, E) is een simpele planaire graaf (dus zonder lussen of parallelle zijden). Als gevolg van de stelling van Euler weten we nu dat m n 6, met m = E en n = V. (a) Stel δ is de minimumgraad van een knoop in de graaf, δ = min v V d(v). Dan geldt δ d(v) voor alle v V en dus δn v V d(v) = 2m 2(n 6) = 6n 2.

Als het minimum δ 6 zou zijn, dan hebben we 6n δn 6n 2, een tegenspraak. Dus geldt δ 5. Er is dus een knoop met graad ten hoogste 5. (b) Dit is de zeskleurenstelling. We bewijzen deze met behulp van volledige inductie. De inductiestelling voor waarde n luidt: elke simpele planaire graaf met n knopen kan met ten hoogste 6 kleuren gekleurd worden. Voor n 6 is dit uiteraard waar, want elke knoop kan een eigen kleur krijgen. Stel nu n 7 en de stelling is waar voor alle grafen met minder dan n knopen. Stel G is een simpele planaire graaf met n knopen. Kies een knoop x met d(x) 5. Zo n knoop bestaat volgens opgave (a). Definieer G = G {x} als de deelgraaf ontstaan door x en zijn zijden weg te laten. De graaf G is een deelgraaf van G en dus ook simpel en planair. Daarom kunnen we de inductieonderstelling toepassen en G kleuren met ten hoogste 6 kleuren. Dit geeft ook een kleuring in G, behalve voor knoop x. Omdat x ten hoogste 5 buren heeft in G, en dus ten hoogste 5 kleuren gebruikt voor die buren, is er een kleur vrij om x te kleuren. Het resultaat is dus een kleuring van G, en de stelling is waar voor n. 5. (a) Het algoritme van Dijkstra voor het vinden van een kortste pad vanuit een startpunt S V in een gerichte graaf G = (V, E) is als volgt. Neem aan dat er een directe verbinding bestaat met lengte l(v, w) 0 voor elke zijde van v naar w. Dit algoritme berekent de kortste afstand dist(v) van S naar elke knoop v V en dus ook naar T. Voor elke knoop v wordt ook de huidige voorganger pred(v) opgeslagen. D is de verzameling knopen waarvoor we de kortste afstand al gevonden hebben. : for all v V do 2: dist(v) ; pred(v) v; : dist(s) 0; : D ; 5: while D V do 6: zoek v V \D met minimale dist(v); 7: D D {v}; 8: for all w V \D : (v, w) E do 9: if dist(v) + l(v, w) < dist(w) then 0: dist(w) dist(v) + l(v, w); : pred(w) v;

(b) Een plaatje van de graaf helpt bij het berekenen van de kortste route. A S 7 9 7 B C D 6 T Het algoritme voor deze graaf werkt als volgt. Merk op dat in onze notatie D (cursief) een verzameling steden is, en D een stad. S heeft minimale afstand 0. D = {S}, dist(a) = 7, pred(a) = S, dist(b) =, pred(b) = S, dist(c) = 9, pred(c) = S, dist(d) = 7, pred(d) = S. B heeft minimale afstand. D = {S, B}, dist(a) = + = 5, pred(a) = B, dist(c) = + = 7, pred(c) = B. A heeft minimale afstand 5. D = {S, B, A}, dist(t) = 5 + 6 =, pred(t) = A. C en D hebben beide minimale afstand 7. Kies C. D = {S, B, A, C}, dist(t) = 7 + = 0, pred(t) = C. D heeft minimale afstand 7. D = {S, B, A, C, D}. T heeft minimale afstand 0. Dit is de lengte van de gevraagde kortste route. De route zelf krijgen we door via de voorgangers terug te gaan naar S: pred(t) = C, pred(c) = B, pred(b) = S. De route is dus SBCT. 5