Kap.6 Grafer. Egenskaper: Handskakningslemmat och Eulers formel Sats om eulerkrets/väg Isomorfi och representation av grafer Graffärgning

Relevanta dokument
MA2047 Algebra och diskret matematik

Uppgifter 6: Grafteori

Efternamn förnamn ååmmdd kodnr

Efternamn förnamn pnr årskurs

DEL I. Matematiska Institutionen KTH

Kaliningrad) låg vid bägge sidor av floden Pregel samt på

Föreläsning 9: NP-fullständighet

Algoritmer, datastrukturer och komplexitet

Efternamn förnamn pnr kodnr

, S(6, 2). = = = =

Matematik för språkteknologer (5LN445) Institutionen för lingvistik och filologi VT 2014 Författare: Marco Kuhlmann 2013

Algoritmer, datastrukturer och komplexitet

Algoritmer, datastrukturer och komplexitet

Lösning till tentamensskrivning i Diskret Matematik för CINTE och CMETE, m fl, SF1610, tisdagen den 2 juni 2015, kl

Om plana och planära grafer

Grafer och grannmatriser

Träd. Sats. Grafer. Definition. En fullständig graf har en båge mellan varje par av noder. Definition

Om plana och planära grafer

N = {i}: noder (hörn) Graf: G = (N, B) Definitioner. Väg: Sekvens av angränsande bågar. Cykel: Väg som startar och slutar i samma nod.

Föreläsning 7+8: NP-problem. Begreppet effektiv algoritm är alltså synonymt med går i polynomisk tid i den här kursen. Är detta en rimlig uppdelning?

Modelltentamen. Ditt svar ska vara ett ändligt uttryck utan summationstecken.

Lösning till tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610 och 5B1118, tisdagen den 7 januari 2014, kl

Föreläsning 8+9: NP-problem. Begreppet effektiv algoritm är alltså synonymt med går i polynomisk tid i den här kursen. Är detta en rimlig uppdelning?

Tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, onsdagen den 20 augusti 2014, kl

Lösning till tentamensskrivning i Diskret Matematik, SF1610 och 5B1118, torsdagen den 21 oktober 2010, kl

Träd. Sats. Grafer. Definition. En fullständig graf har en båge mellan varje par av noder. Definition

Lösningsförslag till tentamensskrivning i SF1610 Diskret Matematik för CINTE 30 maj 2018, kl

Grafer. 1 Grafer. Grunder i matematik och logik (2015) 1.1 Oriktade grafer. Marco Kuhlmann

Algoritmer, datastrukturer och komplexitet

Föreläsning 6 Datastrukturer (DAT037)

Eulerska grafer: egenskaper och tillämpningar

Träd. Sats. Grafer. Definition. En fullständig graf har en båge mellan varje par av noder. Definition

Diskret matematik: Övningstentamen 1

[EG] avsnitt 6.4, 6.5, 6.6 (ej 6.6.1); och nedanstående text.

DEL I. Matematiska Institutionen KTH

Hjalpmedel: Inga hjalpmedel ar tillatna pa tentamensskrivningen. 1. (3p) Los ekvationen 13x + 18 = 13 i ringen Z 64.

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18: Svar: Ja, det gäller, vilket kan visas på flera sätt (se nedan).

18 juni 2007, 240 minuter Inga hjälpmedel, förutom skrivmateriel. Betygsgränser: 15p. för Godkänd, 24p. för Väl Godkänd (av maximalt 36p.

Föreläsning Datastrukturer (DAT037)

Föreläsning 10. Grafer, Dijkstra och Prim

Föreläsning Datastrukturer (DAT036)

Lars-Daniel Öhman Lördag 2 maj 2015 Skrivtid: 9:00 15:00 Hjälpmedel: Miniräknare, lock till miniräknare

1. (3p) Bestäm den minsta positiva resten vid division av talet med talet 31.

15 juli 2015 sida 397 # 397. Elementär grafteori

Föreläsning 10. Grafer, Dijkstra och Prim

Föreläsning 2: Grafer. Exempel på graf

Föreläsning 10. Grafer, Dijkstra och Prim

Föreläsn. anteckn. TMV206-VT13. Vecka 6-7. Egenvärden och Egenvektorer. Kap. 8-9

Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, onsdagen den 17 augusti 2011, kl

Dagens Teori. Figur 12.1:

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 20 december, 2001

FÖRELÄSNING 11 DATALOGI I

Föreläsning 5: Grafer Del 1

Föreläsn. anteckn. HT13. Vecka 6-7. Egenvärden och Egenvektorer. Slumpvandringar på Grafer. Kap. 8-9

Föreläsning 5: Giriga algoritmer. Kruskals och Prims algoritmer

Föreläsning 8: Intro till Komplexitetsteori

Lösning till tentamensskrivning på kursen Diskret Matematik, moment A, för D2 och F, SF1631 och SF1630, den 10 januari 2011 kl

2MA105 Algebraiska strukturer I. Per-Anders Svensson

a n = A2 n + B4 n. { 2 = A + B 6 = 2A + 4B, S(5, 2) = S(4, 1) + 2S(4, 2) = 1 + 2(S(3, 1) + 2S(3, 2)) = 3 + 4(S(2, 1) + 2S(2, 2)) = = 15.

Kimmo Eriksson 12 december Att losa uppgifter av karaktaren \Bevisa att..." uppfattas av manga studenter

Trädstrukturer och grafer

Tentamen Datastrukturer för D2 DAT 035

Grundläggande logik och modellteori

Undflyende delgrafer Några elementära bevis

Tentamen TMV210 Inledande Diskret Matematik, D1/DI2

Träd. Sats. Grafer. Definition. En fullständig graf har en båge mellan varje par av noder. Definition

Korsningar i kompletta multipartita grafer

Föreläsning 7 Datastrukturer (DAT037)

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik

TNK049 Optimeringslära

Grafer. Bilder: Illustrationer s.9 av Hans Hillerström. Grafiska konstruktioner av Nils-Göran Mattsson. Författarna och Bokförlaget Borken, 2011

Dagens Teori Grafer Vad är en graf? Figur 11.1: En enkel graf med fem noder och sex bågar

Föreläsningsanteckningar F6

Institutionen för matematik, KTH Mats Boij. Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 20 december, 2000

Datastrukturer. föreläsning 10. Maps 1

MITTUNIVERSITETET TFM. Modelltenta Algebra och Diskret Matematik. Skrivtid: 5 timmar. Datum: 1 oktober 2007

Grafteori. Engelsk svensk ordlista. Isomorfi av grafer

Grafteori med inriktning på färgläggning

DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik

Föreläsning 6. Slumptal Testa slumptal Slumptal för olika fördelningar Grafer Datastrukturen graf

Föreläsning 5: Giriga algoritmer. Kruskals och Prims algoritmer

MITTUNIVERSITETET TFM. Tentamen Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar. Datum: 9 januari 2007

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18:00

Grafer, allmänt. Med datastrukturen graf menas vanligen: en mängd av noder (vertices) och en mängd av bågar (edges).

Datastrukturer och algoritmer. Föreläsning 15 Inför tentamen

Grafer MST Top. sortering Starkt samm. komponenter Kortaste avstånd. Grafalgoritmer 1. Douglas Wikström KTH Stockholm

Lösningsförslag till övningsuppgifter, del II

Föreläsning 1. Introduktion och sökning i graf. Vad är en algoritm?

Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 14 augusti, 2002

Föreläsning Datastrukturer (DAT036)

1 Föreläsning I, Mängdlära och elementär sannolikhetsteori,

Föreläsning 12+13: Approximationsalgoritmer

En kedja av koder. Isak Lyckberg Peder Skrivares skola, Varberg. 23 april 2009

Lösningar Datastrukturer TDA

SF2715 Tillämpad kombinatorik Kompletterande material och övningsuppgifter Del IV

Föreläsning 13. Träd

Föreläsning 8 Datastrukturer (DAT037)

Föreläsning 8 Datastrukturer (DAT037)

Föreläsning Datastrukturer (DAT037)

Transkript:

Kap.6 Grafer Allmänna begrepp: graf, delraf, multigraf, enkelgraf, riktad graf, nodsgrad vandring, väg, stig, krets, cykel sammanhängande graf, sammanhängande komponenter Speciella grafer: komplett graf, komplementgraf bipartitgraf, komplett bipartitgraf plangraf hamiltonstig, hamiltoncykel, eulerväg, eulerkrets träd, spännande träd, rotat träd, binärt träd Egenskaper: Handskakningslemmat och Eulers formel Sats om eulerkrets/väg Isomorfi och representation av grafer Graffärgning Rekommenderade uppgifter: 6.5, 6.33, 6.34, 6.47, 6.48, 6.49, 6.50, 6.62, 6.63, 6.64, 6.78, 6.82, 6.83, 6.86, 6.87, 6.90, 6.91, 6.92, 6.93, 6.94, 6.95, 6.96, 6.97, 6.98, 6.99, 6.102, 6.103.

Grafbegrepp Graf Graf: G ( V, E) =, där V är mängden av noder (vertex) och E består av några oordnade par av noder som kallas kanter. Delgraf av G: G ' = ( V ', E' ) med V ' V och G' G. Multigraf: en generaliserad graf så att för ett par noder tillåtes mer än en kant (multipla kanter). Riktad graf: D ( V, E) =, där V är mängden av noder (vertex) och E består av några ordnade par av noder. Enkelgraf: multipla kanter och öglor (som börjar och slutar i samma nod) inte får förekomma. Nodsgrad: antalet kanter som går ut från noden.

Vandring i en graf Vandring: en alternerande följd av noder och kanter i en graf, som börjar och slutar i noder.. Väg: en vandring som inte använder samma kant flera gånger. Stig: en väg som inte passerar samma nod flera gånger. Krets: en väg som är sluten, dvs börjar och sluta i samma nod. Cykel: en sluten stig. Sammanhängandet Sammanhängande graf: det finns alltid en stig mellan varje par av noder i grafen. Sammanhängande komponenter: delgrafer till grafen som var och en är sammahängande men som saknar förbindelser sinsemellan.

Speciella grafer Kompletta grafen K n: grafen med n noder så att varje par av noder är förbundna med en kant, dvs V = { v, v2,, }, E 1 K v n {{ v, v } 1 i, j n, i j } =. i j Komplementgrafen G till grafen G: grafen som har samma nodmängd som G men som har kanter precis mellan de nodpar som inte har kant i G, dvs V ( G ) = V (G) och ( G ) E( ) E = \ E (G). Bipartitgraf : nodmängden av grafen kan delas upp i två disjunkta delmängder (säg vänster och höger) så att alla kanter går mellan vänster och höger nodmängd. Kompletta bipartitgrafen K m, n K n : bipartitgrafen med m noder till vänster och n noder till höger så att varje nod till vänster är förbunden med varje nod till höger. Plangraf: grafen som kan ritas i planet utan att några kanter bara korsar varandra.

Några formler Handskakningslemmat: om grafen G har n st noder och e st kanter, så gäller n k = 1 d k = 2 e. Antalet noder med udda grad i varje graf är jämnt. Eulers formel: Om G är en sammanhängande plangraf, så gäller v e + f = 2, där v = antalet noder e = antalet kanter f = antalet fasetter

Euler och Hamilton Begrepp Antag att G är en graf eller multigraf. Hamiltonstig/cykel: en stig/cykel som besöker varje nod i G exakt en gång. Eulerväg/krets: en väg/krets som gå längs varje kant i G exakt en gång. Eulersk graf: om G har en eulerkrets. Hamiltonsk graf: om G har en hamiltoncykel. Eulers sats En graf har en eulerkrets om och endast om grafen är sammanhängande och alla noder har jämn grad. En graf har en eulerväg om och endast om grafen är sammanhängande och högst två noder har udda grad.

Isomorfi och representation av grafer Grafisomorfism: För två grafer G 1 och G 2 är en grafisomorfism φ : G1 G2 en bijektion φ : V ( G1 ) V ( G2 ) som bestämmer en bijektion φ : E( G1 ) E( G 2 ) för vilken φ ({ v v }) = { φ( v ), φ( )}. 1, 2 1 v2 Grannmatrisen till grafen G med noder v, v, 2, : 1 K en matris där varje nod ger en rad och en kolumn, dvs A = ( a ij ), där aij = antalet kanter mellan v i och v j v n Incidensmatrisen till grafen G: en matris där en rad för varje nod och en kolumn för varje kant.

Träd Begrepp Träd: en sammanhängande graf utan cykel. Spännande träd av grafen G: ett träd som är en delgraf av G, och som når till alla noder av G. Rotat träd: ett träd med roten. Binärt träd: ett rotat träd där varje nod har plats för exakt två barn. Sats Om T är ett träd med minst en nod, så gäller sambandet V = E +1, där V är antalet noder och E är antalet kanter. Algoritmer: Sökning i rotade träd enligt två metoder som breddenförst och djupet-först. Lagring av data i binära träd och utmatning i inordning, pre-ordning och post-ordning.

Graffärgning k-färgning Grafen G har en k-färgning om dess noder kan färgas med k färger så att grannar alltid har olika färg. För bipartitgraf Följande villkor är ekvivalenta för en graf G: 1) G är en bipartitgraf, 2) G har en 2-färgning, 3) G har ingen cykel med udda st kanter. För plangraf 5-färgningssatsen: varje plangraf G har en 5-färgning 4-färgningssatsen: varje plangraf G har en 4-färgning Färgning och grad Om den största graden till noderna i en graf G är d, så har G en ( d +1) -färgning.