Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A...

27
Problems of Graph Theory 1 / 27

Transcript of Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A...

Page 1: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Problems of Graph Theory

1 / 27

Page 2: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Overview

Path Problems

Isomorphic Graphs

Degree Sequences

Shortest Paths

2 / 27

Page 3: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Outline

Path Problems

Isomorphic Graphs

Degree Sequences

Shortest Paths

3 / 27

Page 4: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

The Konigsberg Bridges

Can one find a route that would cross each of the sevenbridges exactly once?

4 / 27

Page 5: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Euler’s Approach

The graph on the vertices A,B ,C ,D with edgesa, b, c , d , e, f , g does not have an Euler trail.

5 / 27

Page 6: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Graph Terminology

I A simple graph has no loops or multiple edges.

I A walk is a sequence of edges, each consecutive pair ofwhich is incident to a common vertex.

I A closed walk is one in which the initial and final verticescoincide.

I A trail is a walk in which all edges are distinct.

I A circuit is a closed trail.

I A path is a trail in which all vertices distinct (with thepossible exception of the initial and final verticescoinciding).

I A cycle is a closed path.

6 / 27

Page 7: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Euler Trails

Determine whether the graph has an Euler trail (i.e., a trailwhich contains every edge of the graph).

b c d

a

g

e f

7 / 27

Page 8: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Hamilton PathsDetermine whether the graph has a Hamilton path (i.e., apath which contains every vertex of the graph).

a b

c

d

e

f

g

h

i

j k

8 / 27

Page 9: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Hamilton Cycles

Determine whether each graph has a Hamilton cycle (i.e., acycle which contains every vertex of the graph).

a bc

d

e

f

g

h

ij k

a

b

c

d

e

f

g

h

i

j

k

l

9 / 27

Page 10: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Outline

Path Problems

Isomorphic Graphs

Degree Sequences

Shortest Paths

10 / 27

Page 11: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Isomorphic Graphs

DefinitionTwo graphs are isomorphic if they are essentially the same,even though they may appear different, in the sense that onecan be transformed into the other by moving vertices aroundand changing the lengths of some of the edges that join them.

11 / 27

Page 12: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Example

Determine whether the following graphs are isomorphic.

a

b

d

c

a

b

c

d

12 / 27

Page 13: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Example

Determine whether the following graphs are isomorphic.

a

b

c

d

f e

a

b

c

d

f e

13 / 27

Page 14: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Example

Determine whether the following graphs are isomorphic.

a

b

c

d

e

a

b

c

d

e

14 / 27

Page 15: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Outline

Path Problems

Isomorphic Graphs

Degree Sequences

Shortest Paths

15 / 27

Page 16: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Definition of Degree Sequence

DefinitionThe degree sequence of a simple graph is a list, or sequence,of all of the degrees of the vertices in the graph including anyrepetitions.

16 / 27

Page 17: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Example

The following graph has degree sequence (5, 5, 4, 4, 4, 4, 4).

b c d

a

g

e f

17 / 27

Page 18: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Question

Which sequences are degree sequences of graphs?

Note that there is no simple graph having degree sequence(3, 2, 2). Why?

18 / 27

Page 19: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Question

Which sequences are degree sequences of graphs?

Note that there is no simple graph having degree sequence(3, 2, 2). Why?

19 / 27

Page 20: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Handshaking Lemma

LemmaThe sum of the degrees of the vertices of a graph is twice thenumber of edges.

CorollaryIn any graph, the sum of the vertex degrees is even.

20 / 27

Page 21: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Example

Determine which of the following sequences are degreesequences for some simple graph.

(a) (5, 5, 5, 4, 4, 3, 3)

(b) (7, 6, 5, 4, 3, 2, 1)

(c) (6, 5, 4, 3, 2, 2, 1)

(d) (6, 5, 4, 3, 2, 1, 0)

(e) (3, 3, 2, 2, 2, 1, 1)

(f) (5, 5, 4, 4, 4, 3, 3)

21 / 27

Page 22: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Existence of Vertices of Equal Degree

PropositionIn any simple graph having two or more vertices, there mustexist at least two vertices having the same degree.

22 / 27

Page 23: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Outline

Path Problems

Isomorphic Graphs

Degree Sequences

Shortest Paths

23 / 27

Page 24: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Shortest Path Problem

Find a shortest route between vertices in a given graph, whichmay be undirected, directed, weighted, etc.

24 / 27

Page 25: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Undirected Graph

Find a shortest path (i.e., a path with fewest edges)from a to h.

a

b

c

d

e

f

g

h

25 / 27

Page 26: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Directed Graph

Find a shortest path (i.e., a path with fewest edges) path froma to h, respecting the edge directions.

a

b

c

d

e

f

g

h

26 / 27

Page 27: Problems of Graph Theory · Graph Terminology I A simple graph has no loops or multiple edges. I A walk is a sequence of edges, each consecutive pair of which is incident to a common

Acknowledgements

Statements of results follow the notation and wording ofAnderson’s First Course in Discrete Mathematics.

27 / 27