Four Colour Theorem Sebastian Wheeler Technische Universit at M - - PowerPoint PPT Presentation

four colour theorem
SMART_READER_LITE
LIVE PREVIEW

Four Colour Theorem Sebastian Wheeler Technische Universit at M - - PowerPoint PPT Presentation

The Four Colour Theorem The proof Four Colour Theorem Sebastian Wheeler Technische Universit at M unchen 19.06.2018 Sebastian Wheeler Four Colour Theorem 1 / 48 The Four Colour Theorem The proof Table of Contents The Four Colour


slide-1
SLIDE 1

The Four Colour Theorem The proof

Four Colour Theorem

Sebastian Wheeler

Technische Universit¨ at M¨ unchen

19.06.2018

Sebastian Wheeler Four Colour Theorem 1 / 48

slide-2
SLIDE 2

The Four Colour Theorem The proof

Table of Contents

1

The Four Colour Theorem

2

The proof Structure of the proof

Simplify the map Consider a minimal counterexample Correct Kempe’s mistake

Unavoidability

Sebastian Wheeler Four Colour Theorem 2 / 48

slide-3
SLIDE 3

The Four Colour Theorem The proof

Table of Contents

1

The Four Colour Theorem

2

The proof Structure of the proof

Simplify the map Consider a minimal counterexample Correct Kempe’s mistake

Unavoidability

Sebastian Wheeler Four Colour Theorem 3 / 48

slide-4
SLIDE 4

The Four Colour Theorem The proof Sebastian Wheeler Four Colour Theorem 4 / 48

slide-5
SLIDE 5

The Four Colour Theorem The proof Sebastian Wheeler Four Colour Theorem 5 / 48

slide-6
SLIDE 6

The Four Colour Theorem The proof Sebastian Wheeler Four Colour Theorem 6 / 48

slide-7
SLIDE 7

The Four Colour Theorem The proof Sebastian Wheeler Four Colour Theorem 7 / 48

slide-8
SLIDE 8

The Four Colour Theorem The proof Sebastian Wheeler Four Colour Theorem 8 / 48

slide-9
SLIDE 9

The Four Colour Theorem The proof

Theorem (Four Colour Theorem) The regions of any simple planar map can be coloured with only four colours, in such a way that any two adjacent regions have different colours.

Sebastian Wheeler Four Colour Theorem 9 / 48

slide-10
SLIDE 10

The Four Colour Theorem The proof

Theorem (Four Colour Theorem) The regions of any simple planar map can be coloured with only four colours, in such a way that any two adjacent regions have different colours. Definition (Planar map, regions, simple map) A planar map is a set of pairwise disjoint subsets of the plane, called

  • regions. A simple map is one whose regions are connected open sets.

Sebastian Wheeler Four Colour Theorem 9 / 48

slide-11
SLIDE 11

The Four Colour Theorem The proof

Definition (Adjacent regions) Two regions of a map are adjacent if their respective closures have a common point that is not a corner of the map.

Sebastian Wheeler Four Colour Theorem 10 / 48

slide-12
SLIDE 12

The Four Colour Theorem The proof

Definition (Adjacent regions) Two regions of a map are adjacent if their respective closures have a common point that is not a corner of the map. Definition (Corner) A point is a corner of a map iff it belongs to the closures of at least three regions.

Sebastian Wheeler Four Colour Theorem 10 / 48

slide-13
SLIDE 13

The Four Colour Theorem The proof

first proof (attempt) by Kempe in 1879

Sebastian Wheeler Four Colour Theorem 11 / 48

slide-14
SLIDE 14

The Four Colour Theorem The proof

first proof (attempt) by Kempe in 1879 correct proof by Appel and Haken in 1976

Sebastian Wheeler Four Colour Theorem 11 / 48

slide-15
SLIDE 15

The Four Colour Theorem The proof Structure of the proof Unavoidability

Table of Contents

1

The Four Colour Theorem

2

The proof Structure of the proof

Simplify the map Consider a minimal counterexample Correct Kempe’s mistake

Unavoidability

Sebastian Wheeler Four Colour Theorem 12 / 48

slide-16
SLIDE 16

The Four Colour Theorem The proof Structure of the proof Unavoidability

Definition (polygonal outline, polygonal map, face) A polygonal outline is the pairwise disjoint union of a finite number of

  • pen line segments, called edges, with a set of nodes that contains the

endpoints of the edges. The regions of a finite polygonal planar map, called faces, are the connected components of the complement of a polygonal outline.

Sebastian Wheeler Four Colour Theorem 13 / 48

slide-17
SLIDE 17

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: A general polygonal map

Sebastian Wheeler Four Colour Theorem 14 / 48

slide-18
SLIDE 18

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: A general polygonal map

Definition (polyhedral map) A polyhedral map is a finite bridgeless connected polygonal map.

Sebastian Wheeler Four Colour Theorem 14 / 48

slide-19
SLIDE 19

The Four Colour Theorem The proof Structure of the proof Unavoidability

Theorem (Euler formula) The Euler polyhedron formula (Euler 1752) V − E + F = 2 where V,E,F are the number of vertices, edges and faces, is valid for any schema which represents the sphere.

Sebastian Wheeler Four Colour Theorem 15 / 48

slide-20
SLIDE 20

The Four Colour Theorem The proof Structure of the proof Unavoidability

Table of Contents

1

The Four Colour Theorem

2

The proof Structure of the proof

Simplify the map Consider a minimal counterexample Correct Kempe’s mistake

Unavoidability

Sebastian Wheeler Four Colour Theorem 16 / 48

slide-21
SLIDE 21

The Four Colour Theorem The proof Structure of the proof Unavoidability

Table of Contents

1

The Four Colour Theorem

2

The proof Structure of the proof

Simplify the map Consider a minimal counterexample Correct Kempe’s mistake

Unavoidability

Sebastian Wheeler Four Colour Theorem 17 / 48

slide-22
SLIDE 22

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Reducing to cubic map

Sebastian Wheeler Four Colour Theorem 18 / 48

slide-23
SLIDE 23

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Reducing to cubic map

3V = 2E

Sebastian Wheeler Four Colour Theorem 18 / 48

slide-24
SLIDE 24

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Reducing to cubic map

3V = 2E V − E + F = 2

Sebastian Wheeler Four Colour Theorem 18 / 48

slide-25
SLIDE 25

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Reducing to cubic map

3V = 2E V − E + F = 2 2E = 6F − 12

Sebastian Wheeler Four Colour Theorem 18 / 48

slide-26
SLIDE 26

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Reducing to cubic map

3V = 2E V − E + F = 2 2E = 6F − 12 2E F = 6 − 12 F

Sebastian Wheeler Four Colour Theorem 18 / 48

slide-27
SLIDE 27

The Four Colour Theorem The proof Structure of the proof Unavoidability

Table of Contents

1

The Four Colour Theorem

2

The proof Structure of the proof

Simplify the map Consider a minimal counterexample Correct Kempe’s mistake

Unavoidability

Sebastian Wheeler Four Colour Theorem 19 / 48

slide-28
SLIDE 28

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Possible shape and neighbourhood of the smaller face

Sebastian Wheeler Four Colour Theorem 20 / 48

slide-29
SLIDE 29

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 21 / 48

slide-30
SLIDE 30

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 22 / 48

slide-31
SLIDE 31

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 23 / 48

slide-32
SLIDE 32

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 24 / 48

slide-33
SLIDE 33

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 25 / 48

slide-34
SLIDE 34

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 26 / 48

slide-35
SLIDE 35

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 27 / 48

slide-36
SLIDE 36

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 28 / 48

slide-37
SLIDE 37

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 29 / 48

slide-38
SLIDE 38

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 30 / 48

slide-39
SLIDE 39

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 31 / 48

slide-40
SLIDE 40

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 32 / 48

slide-41
SLIDE 41

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 33 / 48

slide-42
SLIDE 42

The Four Colour Theorem The proof Structure of the proof Unavoidability Sebastian Wheeler Four Colour Theorem 34 / 48

slide-43
SLIDE 43

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Kempe chain

Sebastian Wheeler Four Colour Theorem 35 / 48

slide-44
SLIDE 44

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Kempe chain

Sebastian Wheeler Four Colour Theorem 36 / 48

slide-45
SLIDE 45

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Kempe chains splitting the colours

Sebastian Wheeler Four Colour Theorem 37 / 48

slide-46
SLIDE 46

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Counterexample to Kempe’s proof

Sebastian Wheeler Four Colour Theorem 38 / 48

slide-47
SLIDE 47

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Counterexample to Kempe’s proof

Sebastian Wheeler Four Colour Theorem 39 / 48

slide-48
SLIDE 48

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Counterexample to Kempe’s proof

Sebastian Wheeler Four Colour Theorem 40 / 48

slide-49
SLIDE 49

The Four Colour Theorem The proof Structure of the proof Unavoidability

Table of Contents

1

The Four Colour Theorem

2

The proof Structure of the proof

Simplify the map Consider a minimal counterexample Correct Kempe’s mistake

Unavoidability

Sebastian Wheeler Four Colour Theorem 41 / 48

slide-50
SLIDE 50

The Four Colour Theorem The proof Structure of the proof Unavoidability

The task is to find a certain set of configurations that are:

Sebastian Wheeler Four Colour Theorem 42 / 48

slide-51
SLIDE 51

The Four Colour Theorem The proof Structure of the proof Unavoidability

The task is to find a certain set of configurations that are: reducible, meaning that it can be shown that they are 4-colourable and

Sebastian Wheeler Four Colour Theorem 42 / 48

slide-52
SLIDE 52

The Four Colour Theorem The proof Structure of the proof Unavoidability

The task is to find a certain set of configurations that are: reducible, meaning that it can be shown that they are 4-colourable and unavoidable, meaning that one of these configurations has to appear in every counterexample considered.

Sebastian Wheeler Four Colour Theorem 42 / 48

slide-53
SLIDE 53

The Four Colour Theorem The proof Structure of the proof Unavoidability

Table of Contents

1

The Four Colour Theorem

2

The proof Structure of the proof

Simplify the map Consider a minimal counterexample Correct Kempe’s mistake

Unavoidability

Sebastian Wheeler Four Colour Theorem 43 / 48

slide-54
SLIDE 54

The Four Colour Theorem The proof Structure of the proof Unavoidability

Discharging

i(f ) = 6 − #sides(f )

Sebastian Wheeler Four Colour Theorem 44 / 48

slide-55
SLIDE 55

The Four Colour Theorem The proof Structure of the proof Unavoidability

Discharging

i(f ) = 6 − #sides(f )

  • f ∈F

i(f ) = 6|F| − 2|E| = 6|F| − 6|F| + 12 = 12

Sebastian Wheeler Four Colour Theorem 44 / 48

slide-56
SLIDE 56

The Four Colour Theorem The proof Structure of the proof Unavoidability

Discharge rules

Discharge Rule Do nothing.

Sebastian Wheeler Four Colour Theorem 45 / 48

slide-57
SLIDE 57

The Four Colour Theorem The proof Structure of the proof Unavoidability

Discharge rules

Discharge Rule Do nothing. Discharge Rule Transfer 1

5 from every pentagon to every adjacent face with more than six

sides.

Sebastian Wheeler Four Colour Theorem 45 / 48

slide-58
SLIDE 58

The Four Colour Theorem The proof Structure of the proof Unavoidability

Discharge rules

Discharge Rule Do nothing. Discharge Rule Transfer 1

5 from every pentagon to every adjacent face with more than six

sides. r(fk) = (6 − k) + m 5 ≤ (6 − k) + k 5 = 30 − 5k + k 5 ≤ −2 5 < 0

Sebastian Wheeler Four Colour Theorem 45 / 48

slide-59
SLIDE 59

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: First unavoidable set

Sebastian Wheeler Four Colour Theorem 46 / 48

slide-60
SLIDE 60

The Four Colour Theorem The proof Structure of the proof Unavoidability

Discharge Rule Transfer 1

4 from every pentagon to up to 4 adjacent faces with more than

six sides.

Sebastian Wheeler Four Colour Theorem 47 / 48

slide-61
SLIDE 61

The Four Colour Theorem The proof Structure of the proof Unavoidability

Discharge Rule Transfer 1

4 from every pentagon to up to 4 adjacent faces with more than

six sides. r(f7) = −1 + m 4

Sebastian Wheeler Four Colour Theorem 47 / 48

slide-62
SLIDE 62

The Four Colour Theorem The proof Structure of the proof Unavoidability

Discharge Rule Transfer 1

4 from every pentagon to up to 4 adjacent faces with more than

six sides. r(f7) = −1 + m 4 r(fk) = (6 − k) + m 4 ≤ 24 − 3k 4 ≤ 0

Sebastian Wheeler Four Colour Theorem 47 / 48

slide-63
SLIDE 63

The Four Colour Theorem The proof Structure of the proof Unavoidability

Figure: Second, larger unavoidable set

Sebastian Wheeler Four Colour Theorem 48 / 48