Kapittel 10 fra læreboka Grafer

Like dokumenter
Forelesningsnotat i Diskret matematikk tirsdag 1. november Pascals trekant. Legg merke til møsteret! Det gir oss Pascals identitet:

Kapittel 10 fra læreboka Grafer

Binomialkoeffisienter

Kapittel 10 fra læreboka Grafer

Løsningsforslag til eksamen høst 2016

TMA4140 Diskret Matematikk Høst 2016

LO118D Forelesning 9 (DM)

Relasjoner - forelesningsnotat i Diskret matematikk 2017

Først litt repetisjon

R for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv.

Grafteori. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

MAT1030 Forelesning 23

MAT1030 Diskret Matematikk

Forelesning 23. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon

MAT1030 Forelesning 22

Egenskaper til relasjoner på en mengde A.

Introduksjon. MAT1030 Diskret Matematikk. Introduksjon. En graf. Forelesning 22: Grafteori. Roger Antonsen

Introduksjon. MAT1030 Diskret matematikk. Søkealgoritmer for grafer. En graf

MAT1030 Diskret matematikk

Ekstra ark kan legges ved om nødvendig, men det er meningen at svarene skal få plass i rutene på oppgavearkene. Lange svar teller ikke positivt.

Løsningsforslag til 3. oblogatoriske oppgave i Diskret Matematikk. Høsten 2018

Løsningsforlag til eksamen i Diskret matematikk. 29. november 2017

MAT1140: Kort sammendrag av grafteorien

Plenumsregning 10. Diverse ukeoppgaver. Roger Antonsen april Vi øver oss litt på løse rekurrenslikninger.

MAT1030 Forelesning 24

R for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv.

MAT1030 Diskret matematikk

Eksamen MAT H Løsninger

MAT1140: Notat om grafteori

Forelesning 23. Grafteori. Dag Normann april Oppsummering. Oppsummering. Oppsummering. Digresjon: Firefarveproblemet

MAT1030 Diskret matematikk

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Forelesning 23: Grafteori

Kombinatorikk. MAT1030 Diskret Matematikk. Oppsummering av regneprinsipper

MAT1030 Diskret Matematikk

MAT1030 Forelesning 22

MAT1140: Kort sammendrag av grafteorien

Eksamen i Elementær Diskret Matematikk - (MA0301)

Grafteori. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 24: Grafer og trær. Dag Normann

Uretta grafar (1) Mengde nodar Mengde kantar som er eit uordna par av nodar

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Populærvitenskapelig kilde: Robin Wilson, Four Colours Suffice/How the Map Problem was Solved, Penguin Books 2003, ISBN X.

Grunnleggende Grafteori

INF Algoritmer og datastrukturer

INF Algoritmer og datastrukturer

INF Algoritmer og datastrukturer

MAT1030 Forelesning 25

Forelesning 25. MAT1030 Diskret Matematikk. Litt repetisjon. Litt repetisjon. Forelesning 25: Trær. Dag Normann

Obligatorisk oppgave nr. 3 i Diskret matematikk

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

INF1800 Forelesning 2

MAT1030 Diskret Matematikk

Forelesning 28. Grafer og trær, eksempler. Dag Normann - 5. mai Grafer og trær. Grafer og trær. Grafer og trær

Hvordan skal norske elever bli flinke i matematikk? Ingvill Merete Stedøy-Johansen, Novemberkonferansen 2015

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Kompleksitet og Beregnbarhet

Mengdelære INF1800 LOGIKK OG BEREGNBARHET FORELESNING 2: MENGDELÆRE. Læreboken. Mengder. Definisjon (Mengde) Roger Antonsen

Avsluttende eksamen i TDT4120 Algoritmer og datastrukturer

INF1800 LOGIKK OG BEREGNBARHET

INF1020 Algoritmer og datastrukturer GRAFER

Løsningsforslag for eksamen i fag TDT4120 Algoritmer og datastrukturer Tirsdag 9. desember 2003, kl

Avsluttende eksamen i TDT4120 Algoritmer og datastrukturer

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Anvendelser av grafer

LO118D Forelesning 10 (DM)

LØSNINGSFORSLAG EKSAMEN V06, MA0301

Høgskolen i Agder. Institutt for matematiske fag EKSAMEN

Det første grafteoretiske problem: Broene i Königsberg

IN Algoritmer og datastrukturer

Anvendelser av grafer

INF-MAT5370. Trianguleringer i planet (Preliminaries)

GRAFER. Hva er en graf? Det første grafteoretiske problem: Broene i Königsberg. Grafer vi har sett allerede

Maks Flyt og NPkompletthet

Minimum spenntrær. Lars Vidar Magnusson Kapittel 23. Kruskal Prim

Eksamen i fag SIF8010 Algoritmer og datastrukturer Lørdag 9. august 2003, kl

Trianguleringer i planet.

IN2010: Algoritmer og Datastrukturer Series 2

Dagens plan: INF Algoritmer og datastrukturer. Grafer vi har sett allerede. Det første grafteoretiske problem: Broene i Königsberg

Studentnummer: Side 1 av 1. Løsningsforslag, Eksamen i TDT4120 Algoritmer og datastrukturer August 2005

Plenumsregning 12. Diverse oppgaver. Roger Antonsen mai Eksamen 12/6-06 Oppgave 2. Plan

Den første implikasjonen er bevist i oppgave 1.30c. Den andre vises kontrapositivt slik:

IN Algoritmer og datastrukturer

INF Algoritmer og datastrukturer

Eksamensoppgave i TMA4140 Diskret matematikk

Løsningsforslag for eksamen i fag SIF8010 Algoritmer og datastrukturer Lørdag 9. august 2003, kl

LØSNINGSFORSLAG UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. Oppgave 1 Mengdelære (10 poeng)

INF-MAT5370. Grafer og datastrukturer

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

GRAF-TRAVERSERING. Hvordan utforske en labyrint uten å gå seg vill. Rekkefølge på kanter: Dybde-Først Søk A B C D E F G H I J K L M N O P

Eksamensoppgave i TMA4140 Diskret matematikk

Hva legger vi i spillteori?

Hjemmelekse i uke 03, A

MAT1030 Forelesning 28


Avsluttende eksamen i TDT4120 Algoritmer og datastrukturer

Øvingsforelesning 4. Topologisk sortering, Strongly Connected Components og Minimale spenntrær. Magnus Botnan

Kompetansemål Innhold Læringsmål Kilder

INF Algoritmer og datastrukturer

Relasjoner - forelesningsnotat i Diskret matematikk 2015

Transkript:

Kapittel 10 fra læreboka Grafer (utdrag) En graf er en samling punkter (noder) og kanter mellom punktene (eng. nodes, vertex, edge). En graf kalles rettet hvis kantene har en retning og urettet hvis kantene ikke har noen retning. En relasjonsgraf er en rettet graf: I dette kapittelet skal vi imidlertid kun se på urettede grafer. Vi starter med å definere enkelte ord og begreper som vi får bruk for senere. Forskjellige typer grafer Vi skiller mellom tre typer urettede grafer: 1) En enkel graf er en graf uten sløyfer på punktene og ingen doble kanter mellom punktene. : 1

2) En multigraf er en graf uten sløyfer på punktene, men det kan være flere kanter mellom par av punkter (multiple kanter). : 3) En pseudograf er en graf som verken er en multigraf eller en enkel graf. Den kan ha både sløyfer og flere kanter mellom par av punkter. Naboer To punkter i en urettet graf kalles naboer hvis det går en kant mellom dem. 2

Graden til et punkt Graden til et punkt i en urettet grad er antall forskjellige kanter som hører til punktet. En sløyfe teller som to kanter. konvoluttgrafen Et isolert punkt Et punkt med grad 0 kalles et isolert punkt. a og b er isolerte punkter. En pedant. Et punkt med grad 1 kalles en pedant a og b er pedanter, mens c er ikke det. 3

Grad-kant-setningen Anta at en urettet graf har n antall punkter, a 1, a 2, a 3,., a n og k antall kanter. Da gjelder: n grad(a i ) = 2k i=1 Dvs. summen av gradene er det det dobbelte av antall kanter. Summen av graden er 20 = 2k. Følgelig er det 10 kanter i grafen. En vei i en urettet graf En vei er en sammenhengende rekkefølge av punkter og kanter mellom punktene. En vei har et startpunkt og et sluttpunkt. En vei oppgis ved å oppgi startpunktet, så punktene som passeres på veien og til slutt sluttpunktet. Det brukes gjerne komma mellom punktene. 4

En lukket vei En vei er lukket hvis den starter og slutter i samme punkt. En lukket vei kalles også for en sykel eller en krets. En åpen vei En vei er åpen hvis den starter og slutter i forskjellige punkter. a, c, d, b, a er en lukket vei a, c, d, e er en åpen vei. Enkel vei En vei er enkel hvis ingen kant inngår mer enn én gang. 5

En sammenhengende graf En urettet graf er sammenhengende hvis det finnes en vei mellom hvert par av punkter. En Eulervei Broene i Kønigsberg. Problem: Er det mulig å starte i områdene A, B, C eller D, gå over alle broene én og bare én gang og så ende opp der vi startet? Brosystemet kan oversettes til en graf der områdene A, B, C og D blir punkter og broene kanter: 6

En lukket Eulervei Det finnes en lukket Eulervei hvis alle kantene passeres én og bare én gang og man starter og ender opp i samme punkt. En åpen Eulervei Det finnes en åpen Eulervei hvis alle kantene passeres én og bare én gang og man starter i et punkt og slutter i et annet punkt. Eulers setning Gitt en urettet og sammenhengende multigraf med minst to punkter. 1) Det finnes en lukket Eulervei hvis og bare hvis alle punktene har partallsgrad. 2) Det finnes en åpen Eulervei hvis og bare hvis nøyaktig to av punktene har oddetallsgrad (og dermed resten partalls grad). grad(a) = 5, grad(b) = 3, grad(c) = 3 grad(d) = 3. Følgelig finnes det verken en åpen eller lukket Eulervei. Det er ikke mulig å starte i områdene A, B, C eller D, gå over alle 7

broene én og bare én gang verken om man starter og slutter på sammen sted eller på forskjellige steder. Eksempler Ingen Eulervei fordi det er 4 punkter av odde grad. Åpen Eulervei fordi det er nøyaktig to punkter av odde grad. 8

Lukket Eulervei fordi alle punktene har partalls grad. 9