Download - Vier kleuren volstaan Het kaartkleuringsprobleem

Transcript
Page 1: Vier kleuren volstaan Het kaartkleuringsprobleem

1

Vier kleuren volstaan

Het kaartkleuringsprobleem

Gerhard Post25 augustus 2008

wiki

Page 2: Vier kleuren volstaan Het kaartkleuringsprobleem

2

Vier kleuren zijn genoeg om te voorkomendat aangrenzende landen dezelfde kleur

krijgen (Vier kleuren stelling)

Page 3: Vier kleuren volstaan Het kaartkleuringsprobleem

3

Geschiedenis van het probleem

1852: De vraag verschijnt voor het eerst (op

papier) in een brief van De Morgan aan

Hamilton (twee bekende wiskundigen).

1879: Bewijs van Kempe verschijnt.

1889: Heawood publiceert een voorbeeld

waaruit blijkt dat het bewijs onjuist is.

1976: Appel en Haken publiceren een

bewijs, gebaseerd op 1482 “configuraties”.

Page 4: Vier kleuren volstaan Het kaartkleuringsprobleem

4

Geschiedenis van het probleem

1852: De vraag verschijnt voor het eerst (op

papier) in een brief van De Morgan aan

Hamilton (twee bekende wiskundigen).

1879: Bewijs van Kempe verschijnt.

Het bewijs van Kempe is onjuist.

Wel volgt uit zijn bewijs de “Vijf kleuren stelling”.

Hier bekijken we eerst de “Zes kleuren stelling”.

Als het kan qua tijd ook de “Vijf kleuren stelling”.

Page 5: Vier kleuren volstaan Het kaartkleuringsprobleem

5

Kan het met drie kleuren?

Niet altijd …Alle vier landen grenzen aan elkaar, en dus zijntenminste vier kleurennodig!

rood

blauw

geel

groen

Luxemburg

Page 6: Vier kleuren volstaan Het kaartkleuringsprobleem

6

Kan het wel met vier kleuren?

Martin Gardner (Scientific American, 1975):

The most sensational of last year’sdiscoveries in pure mathematicswas surely the finding of a counter-example to the notorious four-colormap conjecture.

1 april1 april

Page 7: Vier kleuren volstaan Het kaartkleuringsprobleem

7

Aannames

Als landen in een punt grenzen, mogen ze wel dezelfde kleur hebben.

Deze vier “landen” zijn te kleuren met twee kleuren.

Page 8: Vier kleuren volstaan Het kaartkleuringsprobleem

8

Aannames

Een land bestaat uit één stuk.

of zo...

Dus niet zo...

Noord-Ierland en de rest Baarle

Page 9: Vier kleuren volstaan Het kaartkleuringsprobleem

9

Aannames

Alle landen zitten “aan elkaar”.

Dus niet twee of meer

groepen van landen

Page 10: Vier kleuren volstaan Het kaartkleuringsprobleem

10

De zes kleuren stelling gaat als volgt:

* Verzamel alle kaarten die je niet met zes

kleuren kunt kleuren.

* Kies hieruit een kaart met zo weinig mogelijk

landen. We laten zien dat ook deze kaart met

zes kleuren kan worden gekleurd.

* N.B. Kleine kaarten met zes of minder landen,

kunnen zeker met zes kleuren.

* Er is één “kleine” voor-onderstelling…

Page 11: Vier kleuren volstaan Het kaartkleuringsprobleem

11

Stel elke kaart heeft een land met maximaal 5 buren

• Verzamel alle kaarten die je niet met 6 kleuren kunt…

• Kies hieruit een kaart met zo weinig mogelijk landen…

• Voeg land A met 5 (of minder) buren samen met een

buurland…

• Kleur deze kaart met 6 kleuren…

• Zet land A terug…

• De buren hebben hoogstens 5 verschillende kleuren…

• Kleur land A met een overgebleven kleur!

Page 12: Vier kleuren volstaan Het kaartkleuringsprobleem

12

Land A heeft 5 buren…

1

2

34

5A

Page 13: Vier kleuren volstaan Het kaartkleuringsprobleem

13

Voeg land A samen met een buurland …

3

Page 14: Vier kleuren volstaan Het kaartkleuringsprobleem

14

Kleur deze kaart met 6 kleuren…

3

Page 15: Vier kleuren volstaan Het kaartkleuringsprobleem

15

Zet land A terug, en kleur met een kleur die niet bij de buurlanden voorkomt.

3

A

Page 16: Vier kleuren volstaan Het kaartkleuringsprobleem

16

StellingVeronderstel dat elke kaart een land met 5 buren (of minder) heeft.Dan is elke kaart met 6-kleurbaar.

Dus om de zes kleuren stelling te bewijzen, hoeven we “slechts” aan te tonen dat elke kaart een land met vijf of minder buren heeft…

Voor we dit gaan we bewijzen, herformuleren we ons probleem in (de wiskundige structuur van) een “graaf”.

Page 17: Vier kleuren volstaan Het kaartkleuringsprobleem

17

Wiskundige modellering

• Elk land geven we weer door een “punt”.

• Als twee landen een verschillende kleur moeten hebben (door een gemeen-schappelijke grens), dan verbinden we de twee bijbehorende punten met een “lijn”.

• De figuur die ontstaat noemen we een “graaf”.

Page 18: Vier kleuren volstaan Het kaartkleuringsprobleem

18

Voorbeelden

“Lijnen” hoeven niet recht te zijn.

Page 19: Vier kleuren volstaan Het kaartkleuringsprobleem

19

Voorbeelden

Merk op dat lijnen nooit (hoeven te) kruisen. Daarom heet de graaf “planair”.

Page 20: Vier kleuren volstaan Het kaartkleuringsprobleem

20

Enkele termen• De punten direct verbonden met punt A door een lijn heten de “buren” van A;

• Als vanuit A elk ander punt te bereiken is via bestaande lijnen, dan heet de graaf “samenhangend”.

A

Page 21: Vier kleuren volstaan Het kaartkleuringsprobleem

21

Enkele termenDe graaf die ontstaat uit de kaarten die wij bekijken, is samenhangend en planair.We noemen zo’n graaf een “kaartgraaf”.

Page 22: Vier kleuren volstaan Het kaartkleuringsprobleem

22

Punten, lijnen en vlakken van kaartgraaf G.

PG: het aantal puntenLG: het aantal lijnenVG: het aantal vlakken

(inclusief het vlak om G heen)

PG = 6; LG = 9; VG = 5, dus E(G) = 2.

Euler getal van G: E(G) = PG – LG + VG

Page 23: Vier kleuren volstaan Het kaartkleuringsprobleem

23

Formule van Euler

Voor elke kaartgraaf G geldt:

E(G) = 2.

Dit gaan we later bewijzen.

Page 24: Vier kleuren volstaan Het kaartkleuringsprobleem

24

Elke kaartgraaf G heeft een punt met 5 (of minder) buren.

Bewijs. Stel vanuit elke punt vertrekken 6

of meer lijnen. Dan:

2 LG 6 PG,

(elk punt heeft 6 lijnen,

en elke lijn wordt dubbel geteld),

dus PG 1/3 LG.

Page 25: Vier kleuren volstaan Het kaartkleuringsprobleem

25

Elke kaartgraaf G heeft een punt met 5 (of minder) buren.

Bewijs (vervolg) Ook:

2 LG 3 VG,

(elk vlak wordt begrensd door 3 lijnen,

elke lijn wordt dubbel geteld),

dus VG 2/3 LG.

elke lijn wordt dubbel geteld ??? )

Page 26: Vier kleuren volstaan Het kaartkleuringsprobleem

26

Elke kaartgraaf G heeft een punt met 5 (of minder) buren.

Bewijs (vervolg) Er geldt dus:

PG 1/3 LG en VG 2/3 LG.

Maar dan:

E(G) = PG – LG + VG 1/3 LG – LG + 2/3 LG 0.

Maar (Euler): E(G) = 2! Tegenspraak.

Page 27: Vier kleuren volstaan Het kaartkleuringsprobleem

27

Nee!

Heeft elke kaartgraaf G niet een punt met 4 (of minder) buren?

Page 28: Vier kleuren volstaan Het kaartkleuringsprobleem

28

Hoe bewijzen we de formule van Euler?

• Stel we willen de formule bewijzen een voor graaf Gn met n lijnen.

• Er zijn twee gevallen:– Gn bevat een punt van graad 1;

– Gn bevat geen punt van graad 1.

Page 29: Vier kleuren volstaan Het kaartkleuringsprobleem

29

Hoe bewijzen we de formule van Euler?

• Geval I: Gn bevat een punt van graad 1;

Verwijder dit punt met de lijn.

Nieuwe graaf Gn-1:

P = P – 1.

L = L – 1.

V = V .

Gn-1

Gn-1

Gn-1

Gn

Gn

Gn Dus E(Gn-1) = E(Gn).

Page 30: Vier kleuren volstaan Het kaartkleuringsprobleem

30

Hoe bewijzen we de formule van Euler?

• Geval II: Gn bevat geen punt van graad 1;– Alle punten hebben graad 2 of hoger

Verwijder een lijn.

Maar niet deze!

Verwijder een lijn uit

een “cykel”.

Een cykel heeft een

binnengebied en

een buitengebied.

Page 31: Vier kleuren volstaan Het kaartkleuringsprobleem

31

Hoe bewijzen we de formule van Euler?

• Geval II: Gn bevat geen punt van graad 1;– Alle punten hebben graad 2 of hoger

Nieuwe graaf Gn-1:

P = P .

L = L – 1.

V = V – 1.

Gn-1

Gn-1

Gn-1

Gn

Gn

Gn Dus E(Gn-1) = E(Gn).

Page 32: Vier kleuren volstaan Het kaartkleuringsprobleem

32

Hoe bewijzen we de formule van Euler?

Zo vinden we een rij van grafen:

Gn , Gn-1 , Gn-2 , … , G2 tot G1

met E(Gn) = E(Gn-1) = … = E(G2) = E(G1).

Maar G1 = , zodat E(G1) = 2.

Dus ook E(Gn) = 2.

Page 33: Vier kleuren volstaan Het kaartkleuringsprobleem

33

De zes kleuren stelling is bewezen

De formule van Euler geldt

Elke kaartgraaf heeft een land met 5 (of

minder) buren

De kaartgraaf is 6-kleurbaar.

Maar…

Doel was 5-kleurbaarheid van kaartgrafen.

Page 34: Vier kleuren volstaan Het kaartkleuringsprobleem

34

De vijf kleuren stelling gaat als volgt:

* Verzamel alle kaarten die je niet met vijf

kleuren kunt kleuren.

* Kies hieruit een kaart met zo weinig mogelijk

landen. We laten zien dat ook deze kaart met

vijf kleuren kan.

* N.B. Kleine kaarten met vijf of minder landen,

kunnen zeker met vijf kleuren.

Page 35: Vier kleuren volstaan Het kaartkleuringsprobleem

35

Neem een kleinste kaart met zes kleuren…

Er is een land met vijf of minder buren…

Page 36: Vier kleuren volstaan Het kaartkleuringsprobleem

36

Laat dit land weg, en kleur met vijf kleuren…

Page 37: Vier kleuren volstaan Het kaartkleuringsprobleem

37

Zet het land terug. Welke kleur moet dit land krijgen?

Page 38: Vier kleuren volstaan Het kaartkleuringsprobleem

38

Methode: we zorgen voor vier buurkleuren.Kies twee buren niet naast elkaar (groen en rood)

Page 39: Vier kleuren volstaan Het kaartkleuringsprobleem

39

Kempe ketens: volgt deze kleuren verder…

Page 40: Vier kleuren volstaan Het kaartkleuringsprobleem

40

Geval I: de rode en groene lijnen zijn NIET verbonden. Verwissel dan de kleuren in de rode keten.

Page 41: Vier kleuren volstaan Het kaartkleuringsprobleem

41

Geval I: de rode en groene lijnen zijn NIET verbonden. Het witte punt kan nu rood gekleurd worden.

Page 42: Vier kleuren volstaan Het kaartkleuringsprobleem

42

Geval II: de rode en groene lijnen zijn WEL verbonden. Kijk nu naar de buurkleuren blauw en geel...

Page 43: Vier kleuren volstaan Het kaartkleuringsprobleem

43

Geval II: de rode en groene lijnen zijn WEL verbonden. Maak ook vanuit geel en blauw ketens…

Page 44: Vier kleuren volstaan Het kaartkleuringsprobleem

44

Omdat blauw buiten de rood-groene cykel ligt, en geel erbinnen, worden deze ketens nooit verbonden.

Page 45: Vier kleuren volstaan Het kaartkleuringsprobleem

45

De kleuren in de gele (of blauwe) keten kunnen daarom verwisseld worden...

Page 46: Vier kleuren volstaan Het kaartkleuringsprobleem

46

En het witte punt kan geel gekleurd worden...

Page 47: Vier kleuren volstaan Het kaartkleuringsprobleem

47

• Alle kaarten hebben een land met 1, 2, 3, 4 of 5 buren.

• In al deze gevallen kan het kleuren met 5 kleuren

teruggebracht worden tot een kleinere kaart, waaraan

weer dit ene land toegevoegd wordt.

• Uiteindelijk heeft de kaart zo weinig landen, dat het

zeker met 5 kleuren kan!

• Het toegevoegde land kan rechtstreeks een kleur

krijgen (als er 4 buren of minder zijn), of via de Kempe

ketens bij 5 buren.

De vijf kleuren stelling is bewezen:

Page 48: Vier kleuren volstaan Het kaartkleuringsprobleem

48

We proved:

Five colours suffice!

Sinds 1879. Pas 97 jaar later: