Om plana och planära grafer

Relevanta dokument
Om plana och planära grafer

Eulers polyederformel och de platonska kropparna

MA2047 Algebra och diskret matematik

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

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

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

Grafteori med inriktning på färgläggning

Efternamn förnamn ååmmdd kodnr

4-10 Rymdgeometri fördjupning Namn:..

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men

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

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

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

Efternamn förnamn pnr kodnr

Efternamn förnamn pnr årskurs

Övningshäfte 2: Induktion och rekursion

5B1134 Matematik och modeller

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

Diskret matematik: Övningstentamen 1

5B1134 Matematik och modeller

Om gruppers verkan på

1. Inledning, som visar att man inte skall tro på allt man ser. Betrakta denna följd av tal, där varje tal är dubbelt så stort som närmast föregående

Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 22 augusti, 2001

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

Om ordinaltal och kardinaltal

Lösningar till udda övningsuppgifter

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

SF1620 Matematik och modeller

Explorativ övning 5 MATEMATISK INDUKTION

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

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

Kvalificeringstävling den 28 september 2010

Platonska kroppar med Matlab

MS-A0409 Grundkurs i diskret matematik Appendix, del II

Vetenskaplig metodik

Graärgning och kromatiska formler

Explorativ övning 5 MATEMATISK INDUKTION

Korsningar i kompletta multipartita grafer

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

DEL I. Matematiska Institutionen KTH

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

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

Euklides algoritm för polynom

Undersökande arbetssätt i matematik 1 och 2

Hela tal LCB 1999/2000

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

PLANA FIGURER I DEN TREDIMENSIONELLA RYMDEN

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

K2 Något om modeller, kompakthetssatsen

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

Kvalificeringstävling den 30 september 2008

Matematik, KTH Diskret matematik för D3, ht 2013 B.Ek. Några extra exempel

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

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

23 Konservativa fält i R 3 och rotation

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

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.

Lösningar till utvalda uppgifter i kapitel 5

Föreläsning 5: Geometri

DEL I. Matematiska Institutionen KTH

kan vi uttrycka med a, b och c. Avsnitt 2, Vektorer SA + AB = SB AB = SB SA = b a, Vi ritar först en figur av hur pyramiden måste se ut.

Högstadiets matematiktävling 2018/19 Finaltävling 19 januari 2019 Lösningsförslag

Kurvlängd och geometri på en sfärisk yta

Explorativ övning euklidisk geometri

Övningshäfte 1: Induktion, rekursion och summor

Gruppledtrådar 6-2A (i samband med sidorna 50-60) Ledtråd 2 Den har 4 begränsningsytor (B). Ledtråd 1 Polyedern är regelbunden.

Om semantisk följd och bevis

ENDIMENSIONELL ANALYS B1 FÖRELÄSNING II. Föreläsning II. Mikael P. Sundqvist

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

1 Duala problem vid linjär optimering

Lösningsförslag till övningsuppgifter, del II

Kompendium om. Mats Neymark

Algoritmer, datastrukturer och komplexitet

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret Lektion 4

Att man bara kan konstruera fem platonska kroppar hänger samman med vinkelsumman som bildas då sidorna möts i kroppens hörn.

Ma2c - Prövning nr. 3 (av 9) för betyget E - Geometri

gränsvärde existerar, vilket förefaller vara en naturlig definition (jämför med de generaliserade integralerna). I exemplet ovan ser vi att 3 = 3 n n

Enklare uppgifter, avsedda för skolstadiet

PCP-satsen på kombinatoriskt manér

Optimalitetsvillkor. Optimum? Matematisk notation. Optimum? Definition. Definition

Area och volym hos Euklides och Hilberts tredje problem

Kinesiska restsatsen

Experimentella metoder, FK3001. Datorövning: Finn ett samband

MATEMATIKENS SPRÅK. Avsnitt 1

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

M=matte - Handledning

Några geometriska konstruktioner i R 3

SKOLORNAS MATEMATIKTÄVLING Svenska Matematikersamfundet. Lösningsförslag till naltävlingen den 20 november 2004

2. 1 L ä n g d, o m k r e t s o c h a r e a

Kvalificeringstävling den 30 september 2014

f(x) = x 1 g(x) = x 2 2x + 3.

Om triangulering av ytor och Eulerskarakteristiken

RIKSSEMIFINAL! 2015! TÄVLANDE!

Föreläsning 5: Summor (forts) och induktionsbevis

Lösningar till utvalda uppgifter i kapitel 4

Grafer och grannmatriser

f(x) = x 1 g(x) = x 2 2x + 3.

Diskret Matematik A för CVI 4p (svenska)

Transkript:

Matematik, KTH Bengt Ek november 2017 Material till kurserna SF1679 och SF1688, Diskret matematik: Om plana och planära grafer I många sammanhang (t.ex. vid konstruktion av elektriska kretsar) är det intressant att veta om en viss graf kan ritas i planet utan att några kanter korsar varandra (kanterna behöver inte ritas som räta linjer, andra (snälla) kurvor är tillåtna). Definition: En plan graf är en konkret graf i ett plan, där hörnen är olika punkter i planet och kanterna är kurvor som förbinder sina hörn, utan att olika kanter har andra punkter än sina hörn gemensamt. Definition: En graf G = (V, E) är planär omm den är isomorf med en plan graf. G är alltså planär precis om den kan ritas (i ett plan) utan att några kanter korsar varandra. En graf kan mycket väl vara planär även om den är ritad med korsande kanter, huvudsaken är att det är möjligt att undvika korsningar. Man kan förstås ställa sig frågan om en given graf går att rita utan korsande kanter på någon annan yta än ett plan. Om detta kan man läsa i litteraturen, vi noterar bara att det inte förändrar något om man betraktar en sfär i stället för ett plan: En graf kan ritas utan korsande kanter på en sfär precis om den kan det i ett plan. Om grafen är ritad i planet kan man nämligen ta en stor cirkel utanför grafen och dra ihop den (men inte det som ligger innanför cirkeln) till en punkt. Detta ger en sfär med grafen ritad på sig. Omvänt kan en sfär med grafen ritad på sig öppnas i en punkt som varken är ett hörn eller ligger på en kant. Detta ger en plan version av grafen. 1

2 Eulers polyederformel Kanterna (och hörnen) i en plan graf delar in planet i sammanhängande områden, vilka vi för enkelhets skull kommer att kalla ytor. (Andra använda termer är delytor, regioner och fasetter.) Om man ritar samma planära graf på olika sätt (som plana grafer) kan ytorna se olika ut. Följande sats, som är vårt huvudresultat, visar dock att antalet ytor (där vi räknar med den obegränsade ytan) är oberoende av hur grafen framställs som en plan graf. Sats: Om en plan graf har v hörn, e kanter, r ytor och c komponenter, gäller v e + r c = 1. Om grafen är sammanhängande gäller speciellt (Eulers polyederformel) v e + r = 2. Exempel: ε ε v e + r c = 8 10 + 4 1 = 1 v e + r c = 12 16 + 6 1 = 1 Tillsammans (som en graf) v e + r c = 20 26 + 9 2 = 1 Namnet polyederformel kommer av att Euler studerade konvexa polyedrar. De svarar (via projektion mot en punkt inuti) mot grafer på en sfär och därmed mot plana grafer. r är då antalet sidoytor hos polyedern. För en kub t.ex. får man v e + r = 8 12 + 6 = 2, så det stämmer. Bevis: Induktionsbevis, med induktion över antalet cykler i grafen. Bas: I en graf utan cykler (en skog) är varje komponent ett träd, med antalet hörn ett mer än antalet kanter. Totalt ger det v e = c. Mer än en yta skulle kräva minst en cykel, så r = 1 och v e + r c = 1. Basfallet är klart. Steg: Antag att påståendet stämmer för alla plana grafer med färre än k cykler och att den plana grafen G har k cykler. Om ε är en kant som ingår i en cykel i G måste ε ha olika ytor intill sig (som i den högra grafen ovan, men inte i den vänstra). Om man tar bort ε från G får man en ny graf G med v = v (inga hörn tas bort eller läggs till), e = e 1 (kanten ε togs bort), r = r 1 (de två ytorna jämte ε blir en yta) och c = c (två hörn kan förbindas med en vandring i G omm de kan det i G (ε kan bytas mot resten av dess cykel)). Således blir v e + r c = v e + r c = 1 (enligt antagandet). Därmed är också induktionssteget klart och påståendet följer. (Om planets geometri använder vi i beviset bara att varje cykel delar in det i två delar, innanför och utanför cykeln, så att vissa ytor ligger helt innanför den och resten helt utanför och omvänt, att det för två olika ytor finns en cykel med den ena ytan innanför och den andra utanför.) Som man kan se av beviset, gäller formeln i satsen för allmänna grafer (även med öglor (som i beviset betraktas som cykler) och multipla kanter (som också ger cykler)).

3 Följder av polyederformeln Eulers polyederformel kan användas för att finna nödvändiga villkor (på de kända v, e, c) för att en graf skall vara planär. Det gör vi genom att eliminera r från sambandet v e + r c = 1 (eller polyederformeln). För en enkel plan graf (utan öglor och multipla kanter, dvs en sådan graf som vi mest sysslar med) gäller att varje yta måste ha minst tre kanter (Med ett undantag, faktiskt. Om grafen bara innehåller en kant, som t.ex. K 2, har den enda ytan bara två kanter (som är samma räknad två gånger). Vi kräver därför att e 2.) Vi räknar kanter till en yta med multiplicitet (0,1 eller 2), dvs om en kant har samma yta på båda sidor säger vi att ytan har denna kant två gånger, annars en eller ingen gång. Om vi tänker oss att dela kanterna på längden kan vi till varje yta föra minst 3 kanter, så e 3 r (det är samma typ av resonemang som när man 2 2 visar handslagslemmat ). Vi får för en plan (enkel) graf (med e 2) att r 2 e, så 1 = v e + r c 3 v 1 e c, dvs 3v e + 3(c + 1), så 3 Följdsats 1: För en planär graf med v hörn, e kanter och c komponenter gäller om e 2 3v e + 3(c + 1). Om grafen är sammanhängande (c = 1) gäller speciellt 3v e + 6. Likhet gäller precis om alla ytor (även den obegränsade ytan) har exakt tre kanter (för en, och därmed alla, plana versioner av grafen). Exempel: Grafen K 5 är sammanhängande och har v = 5, e = 10, så 3v = 15, e + 6 = 16, olikheten i satsen är inte uppfylld, så Den fullständiga grafen K 5 är inte planär. För en bipartit graf vet vi att alla cykler har jämn längd, så varje yta i en bipartit, enkel plan graf har minst fyra kanter (liksom nyss krävs e 2). Så på samma sätt som ovan fås att e 2r, dvs r 1 2 e, så 1 = v e+r c v 1 2 e c, alltså 2v e + 2(c + 1), så Följdsats 2: För en bipartit, planär graf med v hörn, e kanter och c komponenter gäller om e 2 2v e + 2(c + 1). Om grafen är sammanhängande (c = 1) gäller speciellt 2v e + 4.

4 Exempel: Den bipartita grafen K 3,3 är sammanhängande och har v = 6, e = 9, så 2v = 12, e + 4 = 13, olikheten i satsen är inte uppfylld, så Den fullständiga bipartita grafen K 3,3 är inte planär. En följd till Ur följdsats 1 och handslagslemmat får man 6v 2e + 6(c + 1) = x V δ(x) + 6(c + 1) > x V δ(x). Eftersom 1 v x V δ(x) är medelvärdet av hörnens valenser får vi att för en planär (enkel) graf är medelvärdet av hörnens valenser < 6. Speciellt finns det alltid minst ett hörn av valens 5. Kuratowskis och Wagners satser om planaritet I själva verket är K 5 och K 3,3 de enda hindren för planaritet, varje graf som är icke-planär innehåller minst en av K 5 och K 3,3. Här kan innehåller tolkas på två sätt: Kuratowskis sats (1930): Grafen G är icke-planär omm en graf som är isomorf med K 5 eller K 3,3 kan fås från en delgraf till G genom att sudda ut ett antal (0 eller fler) hörn med valens 2 (och bevara en kant mellan deras grannar). Wagners sats (1937): Grafen G är icke-planär omm en graf som är isomorf med K 5 eller K 3,3 kan fås från en delgraf till G genom att kontrahera ett antal (0 eller fler) kanter ( dra ihop hörnen vid kanten till ett nytt hörn). En delgraf till G är förstås en graf som kan fås från G genom att ta bort ett antal (0 eller fler) hörn och deras kanter och ett antal (0 eller fler) kanter. Villkoret i Wagners sats kallas att K 5 eller K 3,3 är en minor till G. Man vet att det för varje yta finns ett ändligt antal grafer så att grafen G kan ritas på ytan utan korsande kanter omm ingen av dem är en minor till G. För sfären är antalet alltså 2. För torusen är antalet okänt, men det är minst 16 000(!). Vi visar inte Kuratowskis och Wagners satser här, utan hänvisar till litteraturen. Satsen om det ändliga antalet förbjudna minorer är djup (beviset utnyttjar en sats som Robertson och Seymour formulerade 1987, men avslutade beviset för först 2004).

5 Den duala grafen till en plan graf Vi säger att ytorna (eventuellt samma yta) på ömse sidor om en kant i en plan graf G gränsar till varandra vid kanten. Vi kan bilda en ny graf genom att låta ytorna i G svara mot hörn i den nya grafen och dra en kant mellan två sådana hörn för varje kant där motsvarande ytor gränsar till varandra. Den nya grafen kallas den duala grafen G till G. Givet en plan graf G kan vi alltså finna dess duala graf G så: lägg ett G -hörn i varje G-yta för varje G-kant, drag en G -kant (genom den och bara genom den kanten) mellan G -hörnen i G-ytorna vid den (också om det är samma G -hörn) G är alltid en plan graf, men den är inte säkert enkel (den kan både ha öglor och multipla kanter, se ex 1, 3 och 4 nedan). G behöver heller inte vara enkel. Några exempel: (G: större hörn G : mindre hörn) Ex 2 visar att K 4 = K 4 (då K 4 ritas plan). Ex 4 visar isomorfa plana grafer vilkas dualgrafer inte är isomorfa (varför?), dvs G 1 och G 2 är plana grafer med G 1 = G2, G 1 = G 2. För en plan graf G = (V, E) kan varje två G -hörn förbindas med en kurva som bara korsar G-kanter (inte G- hörn, dvs den kan följa G -kanter). Det ger slutsatsen: ex 1 ex 3 ex 4 ex 2 För varje plan graf G är dualgrafen G sammanhängande. Om G är en plan graf och vi åter låter v, e, r vara antalen hörn, kanter och ytor för G och v, e, r motsvarande för G, ser vi från definitionen av G att v = r och e = e. Om G är sammanhängande ger Eulers polyederformel (G är ju plan och sammanhängande) att r = 2 v + e = 2 r + e = v. Eftersom varje G -kant korsas av (precis) en G-kant, som inte korsar någon annan G -kant, finns det minst ett G-hörn i varje G -yta, så precis ett omm G är sammanhängande. Varje G-kant korsar precis en G -kant och förbinder G-hörn i de G -ytor som gränsar till varandra i G -kanten. Det betyder enligt definitionen av dualgraf att om G är sammanhängande är den (isomorf med) dualgrafen till G, så: Sats: En plan graf G = (V, E) är sammanhängande omm G = (G ). Om G är sammanhängande (som i 1,2 och 4 ovan) är alltså G och G varandras dualgrafer. Hur ser (G ) ut i ex 3?

6 Regelbundna polyedrar Vi skall se vilka möjligheter som finns för en sammanhängande, plan dubbelt reguljär graf. Med detta menar vi här att alla hörn har samma valens, n 3, (dvs grafen är n-reguljär) och alla ytor (också den obegränsade ytan) har samma antal, m 3, kanter. Dualen till en dubbelt reguljär graf är tydligen också dubbelt reguljär (med ombytta m, n). En regelbunden polyeder är en konvex polyeder med alla sidoytor regelbundna m-hörningar och alla hörn kongruenta. Det är sedan antiken känt att de enda regelbundna polyedrarna är de platonska kropparna, tetraedern, hexaedern (kuben), oktaedern, dodekaedern och ikosaedern. Den plana graf som svarar mot en regelbunden polyeder är dubbelt reguljär och vi skall se att de villkor för v, e, r, m, n som gäller för en plan graf räcker för att visa att de platonska värdena är de enda möjliga. Som vi sett i tidigare avsnitt har man v e + r = 2, 2e = nv = mr. Detta ger 2 = 2e e + 2e e = (2m mn + 2n) n m mn och det måste gälla att 2m mn + 2n > 0, vilket är detsamma som att (m 2)(n 2) < 4. Eftersom m, n 3 blir de enda möjligheterna m n v e r platonsk kropp 3 3 4 6 4 tetraeder 3 4 6 12 8 oktaeder 3 5 12 30 20 ikosaeder 4 3 8 12 6 hexaeder 5 3 20 30 12 dodekaeder v, e, r fås här från uttrycken ovan: 2mn e = 4 (m 2)(n 2), v = 2e n, r = 2e m. Tetraedergrafen är dual till sig själv, hexaedergrafen och oktaedergrafen är duala till varandra, liksom ikosaedergrafen och dodekaedergrafen. Figurerna på nästa sida visar dubbelt reguljära plana grafer som motsvarar var och en av de möjliga kropparna.

7 Tetraeder m = n = 3 Oktaeder m = 3, n = 4 Ikosaeder m = 3, n = 5 Hexaeder m = 4, n = 3 Dodekaeder m = 5, n = 3 Fyrfärgssatsen En hypotes som länge var obevisad är att för varje karta (plan eller på en sfär) räcker fyra färger för att färga länderna (som förutsätts sammanhängande) så att två länder som har en gemensam gräns alltid har olika färger. Hypotesen formulerades redan 1852, blev spridd 1878 och bevisades (med stor användning av dator i beviset) först 1976. När fyrfärgssatsen formuleras i grafteoretiska termer uttrycks den oftast inte för grafen som har gränserna som kanter och länderna som ytor, utan för den duala grafen med länderna som hörn och kanter mellan länder som har en gemensam gräns. Varje sammanhängande plan graf kan fås som dual till en karta och påståendet är sant för en graf omm det är sant för varje komponent, så satsen kan formuleras: Sats: Om grafen G är planär är χ(g) 4. Beviset är mycket (förvånansvärt?) omfattande, vi hoppar över det. I stället skall vi se hur följande (enklare!) sats (sexfärgssatsen) direkt följer ur det vi visat om planära grafer: Sats: Om grafen G är planär är χ(g) 6. Bevis: Induktionsbevis, med induktion över v, antalet hörn i G. Bas: Om v = 1 kan grafen förstås färgas med en färg, χ(g) = 1 6, så basfallet är klart.

8 Steg: Antag att påståendet är sant för v = k, dvs att alla planära grafer med k hörn kan färgas med högst 6 färger. Låt G ha k +1 hörn, vi skall med hjälp av induktionsantagandet visa att också G kan färgas med högst 6 färger. Eftersom G är planär, har den (enligt exemplet i avsnittet om följder av polyederformeln) ett hörn med valens < 6. Låt G vara grafen G med det hörnet och alla kanter till det borttagna. G har då k hörn och kan enligt antagandet färgas med högst 6 färger. Genom att färga det återstående hörnet i G med en färg som inte använts för dess högst 5 grannar, får vi en färgning av G med högst 6 färger. Därmed är induktionssteget klart och påståendet följer. Även femfärgssatsen kan bevisas på liknande (men lite krångligare) sätt: Sats Om grafen G är planär är χ(g) 5. Bevis: Induktion över antalet hörn, som i beviset ovan. Bas: Som ovan. Steg: Som ovan tas ett hörn med valens 5 (vi kallar det v 0 ) bort och resten, G, färgas med högst 5 färger. Om v 0 :s grannar använder högst 4 färger kan v 0 tydligen ges en ledig färg och steget är klart i det fallet. Om v 0 har fem grannar och färgningen av G ger dem alla olika färger, går det att modifiera färgningen av G så att två av grannarna får samma färg. Om vi visar det följer induktionssteget och beviset av satsen är då klart. β Antag alltså att v 0 har 5 grannar (i ordning v 1,..., v 5 ) som i färgningen av G fått färgerna v 3 v 1 α, β, γ, δ, ε, se fig. (hörnen v 1,..., v 5 kan förstås ha fler kanter, inbördes och till resten av G ). γ v 0 α Om det går en αγ-stig (dvs en stig vars alla hörn har färg α eller γ (alternerande förstås)) mellan v 1 v och v 3, kan det inte gå någon βδ-stig mellan v 2 och 4 v 5 δ v 4, eftersom G ε är plan och sådana stigar inte kan korsa varandra. I så fall kan vi byta färg, δ mot β och β mot δ, för alla hörn som kan nås med en βδ-stig från v 4. Detta ger tydligen en ny tillåten färgning av G, där både v 2 och v 4 har färgen β. I det motsatta fallet, att det inte finns någon αγ-stig mellan v 1 och v 3 kan färgningen på motsvarande sätt ändras så att både v 1 och v 3 har färgen α. Saken är klar. Stigar (αγ- och βδ-) som de i beviset brukar kallas kempekedjor efter Alfred Kempe som använde dem i ett bevis för fyrfärgssatsen 1879 (vilket först 1890 visades vara felaktigt). Ett alternativ till beviset med kempekedjor är att, om v 0 har 5 grannar, notera att det finns två av v 1, v 2,..., v 5 som inte är grannar (eftersom K 5 inte är planär). Låt G vara G med de två icke-grannhörnen identifierade. G är planär (inga kantkorsningar uppstår i en plan ritning av G om de två hörnen båda rör sig in till v 0 ) och har färre hörn än G. En femfärgning av den (finns enligt induktionsantagandet (nu att påståendet är sant för v k)) ger en av G där v 0 :s grannar använder högst fyra färger. v 2

Beviset av fyrfärgssatsen grundar sig på samma grundläggande induktion, men man finner en mer komplicerad mängd av oundvikliga konfigurationer så att någon av dem måste finnas i varje planär graf (motsvarande konfigurationen med ett hörn av valens 5 ovan) och visar att var och en av dem är reducibel, dvs att en färgning av grafen med den borttagen leder till en färgning av hela grafen (motsvarande induktionssteget ovan). I det ursprungliga beviset för fyrfärgssatsen från 1976 användes 1936 oundvikliga konfigurationer och stora delar av beviset att dessa alla är reducibla genomfördes av en dator. Senare har antalet konfigurationer kunnat förbättras till 633 stycken. Fortfarande är datorn dock nödvändig för att genomföra beviset (på rimlig tid). 9 Övningar 1. I en sammanhängande plan graf har alla hörn valens 3 eller 5. Antalet hörn är 12 och antalet ytor är 11. Hur många hörn har valens 3 och hur många har valens 5? 2. I en 3-reguljär, plan, sammanhängande graf har alla ytor antingen 4 eller 6 kanter (också den obegränsade ytan). Hur många ytor har 4 kanter? 3. För vilka n N är den fullständiga grafen K n planär? 4. För vilka m, n N är den fullständiga bipartita grafen K m,n planär?

10 Svar 1. 9 resp. 3 2. 6 st 3. För n = 1, 2, 3, 4. 4. För alla m, n med m < 3 eller n < 3 (eller båda).