55
MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314: Discrete Mathematics for Engineers

MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

  • Upload
    others

  • View
    26

  • Download
    0

Embed Size (px)

Citation preview

Page 1: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

MTH314: Discrete Mathematics for EngineersGraph Theory II

Dr Ewa Infeld

Ryerson University

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 2: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

For most of this lecture, we will be talking about simple,undirected graphs.

A graph G = (V ,E ) is a data structure/mathematical object thatconsists of a set of vertices/nodes V and a relation E (edges) onthis set.

Because the graph is simple and undirected, at most one edgeexists between any two vertices, there are no loops from a vertexto itself and the relation E is symmetric.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 3: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Walks

A walk in a graph is a sequence of vertices and edges that describea path in a graph (i.e. a vertex can only follow another vertex ifit’s adjacent to it via the edge listed between them. )

v1

e1

v2e2

v3

e3

v4e4 v5

e5

V is the vertex setV = {v1, v2, v3, v4, v5}

E = {e1, e2, e3, e4, e5}is the set of edges

If the graph is simple, it’s enough to list the vertices: v2, v3, v4.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 4: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Walks

A walk in a graph is a sequence of vertices and edges that describea path in a graph (i.e. a vertex can only follow another vertex ifit’s adjacent to it via the edge listed between them. )

v1

e1

v2e2

v3

e3

v4e4 v5

e5

V is the vertex setV = {v1, v2, v3, v4, v5}

E = {e1, e2, e3, e4, e5}is the set of edges

Walk:v2, e2, v3, e3, v4

If the graph is simple, it’s enough to list the vertices: v2, v3, v4.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 5: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Walks

A walk in a graph is a sequence of vertices and edges that describea path in a graph (i.e. a vertex can only follow another vertex ifit’s adjacent to it via the edge listed between them. )

v1

e1

v2e2

v3

e3

v4e4 v5

e5

V is the vertex setV = {v1, v2, v3, v4, v5}

E = {e1, e2, e3, e4, e5}is the set of edges

Walk:v2, e2, v3, e3, v4

If the graph is simple, it’s enough to list the vertices: v2, v3, v4.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 6: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Walks

A walk in a graph is a sequence of vertices and edges that describea path in a graph (i.e. a vertex can only follow another vertex ifit’s adjacent to it via the edge listed between them. )

v1

e1

v2e2

v3

e3

v4e4 v5

e5

V is the vertex setV = {v1, v2, v3, v4, v5}

E = {e1, e2, e3, e4, e5}is the set of edges

Walk:v2, e2, v3, e3, v4

If the graph is simple, it’s enough to list the vertices: v2, v3, v4.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 7: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Walks

A walk in a graph is a sequence of vertices and edges that describea path in a graph (i.e. a vertex can only follow another vertex ifit’s adjacent to it via the edge listed between them. )

v1

e1

v2e2

v3

e3

v4e4 v5

e5

V is the vertex setV = {v1, v2, v3, v4, v5}

E = {e1, e2, e3, e4, e5}is the set of edges

Walk:v2, e2, v3, e3, v4

If the graph is simple, it’s enough to list the vertices: v2, v3, v4.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 8: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 9: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Connected Graphs

A graph is if for any two vertices v ,w there exists a walk whichbegins at v and ends at w .

1

23

4

5 6 13

2 6

5

4

In the six vertex-graph on the left, there exists a walk from anyvertex to any other vertex. In the graph on the right, there is nowalk from 1 to 4. The graph on the right is not connected.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 10: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Connected Graphs

A graph is if for any two vertices v ,w there exists a walk whichbegins at v and ends at w .

1

23

4

5 6 13

2 6

5

4

In the six vertex-graph on the left, there exists a walk from anyvertex to any other vertex. In the graph on the right, there is nowalk from 1 to 4. The graph on the right is not connected.Is a single isolated vertex a connected graph?

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 11: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Cycles/circuits

A circuit/cycle is a closed walk with at least one edge and norepeated edges.

1

23

4

5 6

1

23

4

5 6

1

23

4

5 6

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 12: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Cycles/circuits

A circuit/cycle is a closed walk with at least one edge and norepeated edges.

1

23

4

5 6

1

23

4

5 6

1

23

4

5 6

How many possible cycles are there in a clique on 4 vertices?

12

3 4Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 13: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Cycles/circuits

A circuit/cycle is a closed walk with at least one edge and norepeated edges.

1

23

4

5 6

1

23

4

5 6

1

23

4

5 6

How many possible cycles are there in a clique on 4 vertices?

12

3 4Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 14: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

How many possible cycles are there in a clique on 4 vertices?

12

3 4

We need either 3 or 4 vertices for a cycle. Any more than that willstart reusing edges.Let’s count the lenth-3 cycles. Pick a startingpoint, and pick which vertex we’re leaving out. Then we still get topick one of the two directions around the triangle. So we have4 · 3 · 2 = 24 cycles of length 3.Cycles of lenth 4 either go around the square, or across thediagonal in an hourglass shape. There are 8 ways to go around thesquare, since we pick the starting point and then the direction.Similarly, there are 8 ways to go around the hourglass-shape madeby sequence 2-4-1-3 and 8 ways to go around the same for 2-4-3-1.The total number of cycles is 48.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 15: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Trees

A tree is a conected graph with no cycles.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 16: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Trees

A tree is a conected graph with no cycles.

Each of these is a tree. Together they are a forest.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 17: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Trees

A tree is a conected graph with no cycles.

Each of these is a tree. Together they are a forest.A forest is a graph with no cycles.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 18: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Equivalent definitions of a tree.

A simple, undirected graph is a tree if and only if it satisfies theseequivalent conditions:

a) T is connected and acyclic.

b) T is connected and has n − 1 edges.

c) For any two distinct vertices v ,w in T , there is a unique pathfrom v to w .

We can use definition c) to show that every tree is bipartite.

Theorem

Every tree is a bipartite graph.

Sketch of proof: Pick any vertex in the tree, color it blue. There isa unique path from that vertex to any other one. If it’s of oddlength, color that vertex red. If it’s of even length, color it blue. Itis not hard to see that this is a bipartition.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 19: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Every tree on n vertices has n − 1 edges.

Theorem

Every tree on n vertices has n − 1 edges.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 20: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Every tree on n vertices has n − 1 edges.

Theorem

Every tree on n vertices has n − 1 edges.

Proof: We will prove this by strong induction.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 21: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Every tree on n vertices has n − 1 edges.

Theorem

Every tree on n vertices has n − 1 edges.

Proof: We will prove this by strong induction.

Base case, n = 1, is a single vertex with no edges.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 22: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Every tree on n vertices has n − 1 edges.

Theorem

Every tree on n vertices has n − 1 edges.

Proof: We will prove this by strong induction.

Base case, n = 1, is a single vertex with no edges.

So suppose that any tree with n ≤ k vertices for some k ≥ 1 hasn− 1 edges. We want to show that for any tree with k + 1 verticeshas k edges.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 23: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Every tree on n vertices has n − 1 edges.

Theorem

Every tree on n vertices has n − 1 edges.

Proof: We will prove this by strong induction.

Base case, n = 1, is a single vertex with no edges.

So suppose that any tree with n ≤ k vertices for some k ≥ 1 hasn− 1 edges. We want to show that for any tree with k + 1 verticeshas k edges.

So take any tree on k + 1 vertices. Since k + 1 ≥ 2, there exists atleast one edge. What happens if we remove that edge?

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 24: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Every tree on n vertices has n − 1 edges.

Theorem

Every tree on n vertices has n − 1 edges.

Proof: We will prove this by strong induction.

Base case, n = 1, is a single vertex with no edges.

So suppose that any tree with n ≤ k vertices for some k ≥ 1 hasn− 1 edges. We want to show that for any tree with k + 1 verticeshas k edges.

So take any tree on k + 1 vertices. Since k + 1 ≥ 2, there exists atleast one edge. If we remove that edge, the number of edges goesdown by 1 and the graph gets disconnected into two separate trees.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 25: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Every tree on n vertices has n − 1 edges.

Theorem

Every tree on n vertices has n − 1 edges.

Proof: We will prove this by strong induction.

Base case, n = 1, is a single vertex with no edges.

So suppose that any tree with n ≤ k vertices for some k ≥ 1 hasn− 1 edges. We want to show that for any tree with k + 1 verticeshas k edges.

So take any tree on k + 1 vertices. Since k + 1 ≥ 2, there exists atleast one edge. If we remove that edge, the number of edges goesdown by 1 and the graph gets disconnected into two separatetrees, on n1 and n2 vertices respectively with n1, n2 < k + 1,n1 + n2 = k + 1.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 26: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Every tree on n vertices has n − 1 edges.

So suppose that any tree with n ≤ k vertices for some k ≥ 1 hasn− 1 edges. We want to show that for any tree with k + 1 verticeshas k edges.

So take any tree on k + 1 vertices. Since k + 1 ≥ 2, there exists atleast one edge. If we remove that edge, the number of edges goesdown by 1 and the graph gets disconnected into two separatetrees, on n1 and n2 vertices respectively with n1, n2 < k + 1,n1 + n2 = k + 1.

By inductive hypothesis, the number of edges in these trees isrespectively n1 − 1 and n2 − 1. Together they haven1 + n2 − 2 = k − 1 edges. The original tree had all of those, plusthe edge we removed. That’s k edges. �

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 27: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Theorem

Any connected graph with n vertices and n − 1 edges is a tree.

Proof: we will prove this by contradiction.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 28: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Theorem

Any connected graph with n vertices and n − 1 edges is a tree.

Proof: we will prove this by contradiction. Suppose that we have aconnected graph G with n vertices, n − 1 edges and there arecycles in the graph. if you remove an edge that is in a cycle, thegraph is still connected. So remove an edge from a cycle. If thereare cycles left do it again, until there are no cycles left. This graphis still connected.

→ → →

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 29: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Theorem

Any connected graph with n vertices and n − 1 edges is a tree.

Proof: we will prove this by contradiction. Suppose that we have aconnected graph G with n vertices, n − 1 edges and there arecycles in the graph. if you remove an edge that is in a cycle, thegraph is still connected. So remove an edge from a cycle. If thereare cycles left do it again, until there are no cycles left. This graphis still connected.

Now the graph is a tree, and so has n − 1 edges. But we justremoved some nonzero number of edges, so we must have startedwith more than n − 1. �

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 30: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Graph Isomorphism

1

2

3

4

5

1

4

2

3

5

3

4

2

1

5

The first two are the same graph. The third on eis a different graph- for example vertex 1 is adjacent to 4, unlike in the other two.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 31: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Graph Isomorphism

1

2

3

4

5

1

4

2

3

5

3

4

2

1

5

The first two are the same graph. The third on eis a different graph- for example vertex 1 is adjacent to 4, unlike in the other two.

But this whole lecture we didn’t use labels for vertices... and if thevertices were unlabeled, the second and third graph would beidentical. We need some way to talk about graphs being the sameup to a relabelling of vertices.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 32: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Graph Isomorphism

Two things are isomorphic if they have the same structure.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 33: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Graph Isomorphism

Two things are isomorphic if they have the same structure.

Two graphs G = (V ,E ) and H = (W ,F ) are isomorphic if thereexists a one to one function f : V →W that preserves adjacency.That is, x , y ∈ V are adjacent in G if and only if f (x), f (y) ∈Ware adjacent in H.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 34: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Graph Isomorphism

Two things are isomorphic if they have the same structure.

Two graphs G = (V ,E ) and G ′ = (V ′,E ′) are isomorphic if thereexists a one to one function f : V → V ′ that preserves adjacency.That is, x , y ∈ V are adjacent in G if and only if f (x), f (y) ∈ V ′

are adjacent in G ′.

Example:

1

4

2

3

5

3

4

2

1

5

f (1) = 3f (2) = 2f (3) = 1f (4) = 4f (5) = 5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 35: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 36: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 37: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

We have two special kinds of graph traversals.

Eulerian circuit of a graph G is a circuit (no repeated edges)that contains every vertex and every edge of G .

Hamiltonian circuit of a graph G is a simple circuit thatcontains every vertex of G exactly once (except that it ends inthe same vertex it sarted from.)

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 38: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

1

2

3

4

5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 39: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

1

2

3

4

5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 40: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

1

2

3

4

5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 41: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

1

2

3

4

5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 42: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

1

2

3

4

5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 43: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

1

2

3

4

5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 44: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

1

2

3

4

5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 45: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

1

2

3

4

5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 46: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

1

2

3

4

5

Eulerian circuit covers all edges. Hamiltonian circuit hits every vertex.1

2

3

4

5

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 47: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Adjacency matrices again

An adjacency matrix is an integer matrix that encodes the graph.Rows correspond to vertices, and columns correspond to vertices.i , j-entry (ith row and jth column) is the integer representing howmany edges connect vertices i and j .

◦◦

A

BC

A B C

A

B

C

0

0

01

12

2

2

2

We’re no longer assuming the graph is simple.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 48: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Adjacency matrices again

Find an undirected graph that has the following adjacency matrix.

0 1

0

0

1

0

0

0

1

1

1

1

2

2

2

2

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 49: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Adjacency matrices again

Find an undirected graph that has the following adjacency matrix.

y

z

v

x

v

z

x

y

0 1

0

0

1

0

0

0

1

1

1

1

2

2

2

2

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 50: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Adjacency matrices again

Find an undirected graph that has the following adjacency matrix.

y

z

v

x

v

z

x

y

0 1

0

0

1

0

0

0

1

1

1

1

2

2

2

2

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 51: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Adjacency matrices again

Find an undirected graph that has the following adjacency matrix.

y

z

v

x

v

z

x

y

0 1

0

0

1

0

0

0

1

1

1

1

2

2

2

2

◦◦

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 52: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

Adjacency matrices again

Find an undirected graph that has the following adjacency matrix.

y

z

v

x

v

z

x

y◦

0 1

0

0

1

0

0

0

1

1

1

1

2

2

2

2

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 53: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

y

z

v

x0 1

0

0

1

0

0

0

1

1

1

1

2

2

2

2

v

z

x

y◦

◦◦

An adjacency matrix lists the number of edges from one vertex toanother. Equivalently, the number of length-1 walks from onevertex to another. For example, there are 2 ways we can get fromv to y in one step - pick one of the two edges.

Call this matrix A. The entries of A count the 1-step walks, theentries of A2 count the 2-step walks. Let’s look at an easy example:

2

1

1

0

0=

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 54: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

y

z

v

x0 1

0

0

1

0

0

0

1

1

1

1

2

2

2

2

v

z

x

y◦

◦◦

An adjacency matrix lists the number of edges from one vertex toanother. Equivalently, the number of length-1 walks from onevertex to another. For example, there are 2 ways we can get fromv to y in one step - pick one of the two edges.

Call this matrix A. The entries of A count the 1-step walks, theentries of A2 count the 2-step walks. Let’s look at an easy example:

2

1

1

0

0=

0

0

1

1

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers

Page 55: MTH314: Discrete Mathematics for Engineers · MTH314: Discrete Mathematics for Engineers Graph Theory II Dr Ewa Infeld Ryerson University Dr Ewa Infeld Ryerson University MTH314:

The entries of the adjacency matrix A count the 1-step walks, theentries of A2 count the 2-step walks.

The entries of A2 are governed by this formula:

(A2)i ,j =∑k

Ai ,kAk,j

Ai ,k is the number of edges from i to k .Ak,j is the number of edges from k to j .So Ai ,kAk,j is the number of 2-step walks from i through k to j . Ifwe add those over all possible k, we get the total number of 2-stepwalks from i to j .

Similarly, A3 counts the number of 3-step walks from one vertex toanother, and so on for any An.

Dr Ewa Infeld Ryerson University

MTH314: Discrete Mathematics for Engineers