introduction to modern math: graph theorywebbuild.knu.ac.kr/~mhs/classes/math200/math200.pdf ·...

91
Introduction to Modern Math: Graph Theory April 15, 2019 1 / 44

Upload: others

Post on 09-Jul-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Introduction to Modern Math: Graph Theory

April 15, 2019

1 / 44

Page 2: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What is a graph?

2 / 44

Page 3: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What isn’t a graph?

y

x0

06

6

2x+y

=5

2x−

2y=

2

3 / 44

Page 4: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What is a graph?

1

2

3

4 5

6

7

8

9 10

4 / 44

Page 5: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What is a graph?

4 / 44

Page 6: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What is a graph?

4 / 44

Page 7: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What is a graph?

4 / 44

Page 8: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What is a graph?

4 / 44

Page 9: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What is kind of like a graph?

5 / 44

Page 10: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What is kind of like a graph?

5 / 44

Page 11: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What is kind of like a graph?

5 / 44

Page 12: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What are graphs for?

6 / 44

Page 13: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What are graphs for?

I Computers: networks, organising data and its flow

I Biology: speciation, genetics

I Chemisty: cellular structure and bonds

I Physics: electrical networks

I Sociology: social dynamics, trending

I Math: everything (adds the first level of structure above justsets)

7 / 44

Page 14: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Classical Applications and Results

Eulerian circuits and the Bridges of Konigsburg

8 / 44

Page 15: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The bridges of Konigsburg

Start

Damn!

9 / 44

Page 16: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The bridges of Konigsburg

Start

Damn!

9 / 44

Page 17: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The bridges of Konigsburg

Start

Damn!

9 / 44

Page 18: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The bridges of Konigsburg

Start

Damn!

9 / 44

Page 19: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The bridges of Konigsburg

Start

Damn!

9 / 44

Page 20: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The bridges of Konigsburg

Start

Damn!

9 / 44

Page 21: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The bridges of Konigsburg

Start

Damn!

9 / 44

Page 22: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The bridges of Konigsburg

Start

Damn!

You aren’t going to be able to do that!

9 / 44

Page 23: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The bridges of Konigsburg

10 / 44

Page 24: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Euler’s Theorem

An eulerian circuit in a graph is a walk that visits every vertex, andevery edge exactly once, and ends where it starts.A graph is eulerian if it has an eulerian circuit.

Theorem

A graph is eulerian if and only if it is connected and everyvertex has even degree.

11 / 44

Page 25: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Hamilton wants in on the bridge game action

What if we just want to visit every vertex?

12 / 44

Page 26: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Hamilton Cycles

A hamiton cycle in a graph is a cycle that visits every vertex.A graph is hamiltonian if it has a hamilton cycle.

13 / 44

Page 27: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Hamilton Cycles

A hamiton cycle in a graph is a cycle that visits every vertex.A graph is hamiltonian if it has a hamilton cycle.

13 / 44

Page 28: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Hamilton cycles are trickier

Theorem

It is hard to decide if a graph has a hamilton cycle.Indeed, NP-hard!

14 / 44

Page 29: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

What should we do if a problem is hard

I Give up.

I Find conditions that make the problem easier.

I Approximate the problem.

15 / 44

Page 30: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Hamilton’s Theorem

Theorem

If every vertex of a graph G on n vertices has degree at leastn/2 then G is hamiltonian.

16 / 44

Page 31: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

We need degree at least n/2

17 / 44

Page 32: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Why this is enough

u v

Take a longest path in G .

18 / 44

Page 33: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Why this is enough

u v

All neighbours of the endpoints must be on the path, or there is alonger path.

18 / 44

Page 34: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Why this is enough

u v

If u has neighbour i and v has neighbour i − 1...

18 / 44

Page 35: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Why this is enough

u v

If u has neighbour i and v has neighbour i − 1... then there is ahamilton cycle.

18 / 44

Page 36: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Why this is enough

u v

So if u has n/2 neighbours then v has less then n − n/2 = n/2, orwe have a hamilton cycle.

18 / 44

Page 37: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Graph Colourings

19 / 44

Page 38: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Radio towers and frequencies

20 / 44

Page 39: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Radio towers and frequencies

20 / 44

Page 40: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Radio towers and frequencies

20 / 44

Page 41: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

How many colours do we need for the Petersen graph?

21 / 44

Page 42: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

How hard is colouring?

Deciding if a graph has a 2-colouring is easy.

22 / 44

Page 43: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

How hard is colouring?

22 / 44

Page 44: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

How hard is colouring?

22 / 44

Page 45: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

How hard is colouring?

22 / 44

Page 46: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

How hard is colouring?

22 / 44

Page 47: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

How hard is colouring?

22 / 44

Page 48: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

How hard is colouring?

G has a 2-colouring if and only if it has no odd cycles.

22 / 44

Page 49: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

How hard is colouring?

Deciding if a graph has a 3 or 4 or k ≥ 3 colouring is NP-complete.

22 / 44

Page 50: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Colouring maps

23 / 44

Page 51: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Colouring maps

23 / 44

Page 52: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Colouring maps

23 / 44

Page 53: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Colouring maps

23 / 44

Page 54: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

The four-colour theorem

Theorem (Haken, Appel)

Any graph that can be drawn in the plane without crossingedges can be coloured with 4 colours.

24 / 44

Page 55: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

But...

Theorems

But: it’s hard to decide if a given planar graph is 3-colourable.But: any triangle-free planar graph is 3-colourable.But ...

25 / 44

Page 56: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Other kinds of colourings

Fractional colourings:

26 / 44

Page 57: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Other kinds of colourings

Circular colourings:

26 / 44

Page 58: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Other kinds of colourings

A homomorphism (or H-colouring) G → H of G is an edgepreserving vertex map from G to H.

27 / 44

Page 59: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Graph Homomorphisms

k-colouring is homomorphism to a k-clique

28 / 44

Page 60: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Graph Homomorphisms

fractional colouring is a homomorphism to a Knesser graph

28 / 44

Page 61: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Graph Homomorphisms

circular-colouring is homomorphsim to a circulant

28 / 44

Page 62: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

But...

Theorems

But: it’s hard to decide if a given planar graph is 3-colourable.But: any triangle-free planar graph is 3-colourable.But: it’s hard to decide if a triangle-free planar graph mapsto...

29 / 44

Page 63: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Ramsey Theory: a way different kind of colouring

30 / 44

Page 64: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Ramsey was at a party one day...

What are the chances?

31 / 44

Page 65: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Ramsey Numbers

32 / 44

Page 66: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Ramsey Numbers

32 / 44

Page 67: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Ramsey Numbers

32 / 44

Page 68: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Ramsey Numbers

The ramsey number R(m, n) is the minimum number r such thatany blue-red edge colouring of Kr has a blue Km or a red Kn.

What is R(3, 3)?

33 / 44

Page 69: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Ramsey Numbers

The ramsey number R(m, n) is the minimum number r such thatany blue-red edge colouring of Kr has a blue Km or a red Kn.

What is R(3, 3)?

33 / 44

Page 70: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

R(3, 3) ≥ 5

34 / 44

Page 71: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

R(3, 3) ≤ 6

35 / 44

Page 72: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

R(3, 3) ≤ 6

35 / 44

Page 73: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

R(3, 3) ≤ 6

35 / 44

Page 74: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

R(3, 3) ≤ 6

35 / 44

Page 75: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

R(3, 3) ≤ 6

35 / 44

Page 76: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

R(3, 3) ≤ 6

35 / 44

Page 77: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Ramsey Numbers

br

3 4 5 6 7 8 9 10

3 6 9 14 18 23 28 36 40-43

4 18 25 35-41 49-61 56-84 73-115 92-149

5 43-49

6 102-165

7 205-540

36 / 44

Page 78: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 1:

A graph is k-regular if every vertex has degree k.

Number of vertices in a 3-regular graph

What is the least possible number of vertices in a 3-regulargraph?

37 / 44

Page 79: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 2:

The girth of a graph is the length of its shortest cycle.

Regular and girth

What is the least number of vertices in a graph of girth 4?

... in a 3-regular graph of girth 4?

... in a 3-regular graph of girth 5?

38 / 44

Page 80: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 2:

The girth of a graph is the length of its shortest cycle.

Regular and girth

What is the least number of vertices in a graph of girth 4?

... in a 3-regular graph of girth 4?

... in a 3-regular graph of girth 5?

38 / 44

Page 81: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 2:

The girth of a graph is the length of its shortest cycle.

Regular and girth

What is the least number of vertices in a graph of girth 4?

... in a 3-regular graph of girth 4?

... in a 3-regular graph of girth 5?

38 / 44

Page 82: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 3:

The distance between two vertices is the length of the shortestpath between them.

The diameter of a graph, is the minimum, over all pairs of vertices,of the distance between them:

diam(G ) = maxu,v∈V (G)

d(u, v).

Diameter and Max degree

What is the maximum number of vertices in a graph of di-ameter 4 having maximum degree 5?

39 / 44

Page 83: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 4:

Mycielski

Find a 3-chromatic graph of girth 5.

...a 4-chromatic graph of odd girth 5.

40 / 44

Page 84: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 5:

Let G7,3 be the graph whose vertices are the three element subsetsof the set {1, 2, . . . , 7} and in which the vertices U and V areadjacent if |U ∩ V | = 0.

Kneser

Show that G7,3 has chromatic number 3.

Hint:

Find an odd cycle to show chromatic number is at least 3.

Hint: f (S) = min(S) is a 5 colouring. Why? Can you improvethis?

41 / 44

Page 85: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 5:

Let G7,3 be the graph whose vertices are the three element subsetsof the set {1, 2, . . . , 7} and in which the vertices U and V areadjacent if |U ∩ V | = 0.

Kneser

Show that G7,3 has chromatic number 3.

Hint: Find an odd cycle to show chromatic number is at least 3.

Hint:

f (S) = min(S) is a 5 colouring. Why? Can you improvethis?

41 / 44

Page 86: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 5:

Let G7,3 be the graph whose vertices are the three element subsetsof the set {1, 2, . . . , 7} and in which the vertices U and V areadjacent if |U ∩ V | = 0.

Kneser

Show that G7,3 has chromatic number 3.

Hint: Find an odd cycle to show chromatic number is at least 3.

Hint: f (S) = min(S) is a 5 colouring. Why? Can you improvethis?

41 / 44

Page 87: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 6:

A graph is planar if it can be drawn in the plane without anycrossing edges.

Petersen Planar

Is the Petersen Graph Planar?

42 / 44

Page 88: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 7:

A P2 is a path with 2 edges.

A decomposition of a graph G is a set of edge-disjoint subgraphsH1, . . . ,Hr whose union is G .

2-Path Decomposition

Show that any 4-regular graph G has a decomposition intocopies of P2.

43 / 44

Page 89: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 8:

Chromatic number of the plane

Consider the graph U whose vertices are all points in R2.Points x and y are adjacent if |x − y | = 1. What is thechromatic number of U?

We know that 5 ≥ χ(U) ≤ 7, we don’t know what it is though.The lower bound was 4 ≥ χ(U) until 2018.

44 / 44

Page 90: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 8:

Chromatic number of the plane

Consider the graph U whose vertices are all points in R2.Points x and y are adjacent if |x − y | = 1. What is thechromatic number of U?

We know that 5 ≥ χ(U) ≤ 7, we don’t know what it is though.The lower bound was 4 ≥ χ(U) until 2018.

44 / 44

Page 91: Introduction to Modern Math: Graph Theorywebbuild.knu.ac.kr/~mhs/classes/Math200/Math200.pdf · 2019-04-15 · Introduction to Modern Math: Graph Theory April 15, 2019 1/44. What

Problem 8:

Chromatic number of the plane

Consider the graph U whose vertices are all points in R2.Points x and y are adjacent if |x − y | = 1. What is thechromatic number of U?

We know that 5 ≥ χ(U) ≤ 7, we don’t know what it is though.The lower bound was 4 ≥ χ(U) until 2018.

44 / 44