62
Graphs Part 1

Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Embed Size (px)

Citation preview

Page 1: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

GraphsPart 1

Page 2: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Outline and Reading

• Graphs (§13.1)– Definition– Applications– Terminology– Properties– ADT

• Data structures for graphs (§13.2)– Edge list structure– Adjacency list structure– Adjacency matrix structure

Page 3: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Graph• A graph is a pair (V, E), where

– V is a set of nodes, called vertices– E is a collection of pairs of vertices, called edges– Vertices and edges are positions and store elements

• Example:– A vertex represents an airport and stores the three-letter airport

code– An edge represents a flight route between two airports and stores

the mileage of the route

ORD PVD

MIADFW

SFO

LAX

LGA

HNL

849

802

13871743

1843

10991120

1233337

2555

142

Page 4: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Edge & Graph Types• Edge Types– Directed edge• ordered pair of vertices

(u,v)• first vertex u is the

origin• second vertex v is the

destination• e.g., a flight

– Undirected edge• unordered pair of

vertices (u,v)• e.g., a flight route

– Weighted edge

• Graph Types– Directed graph (Digraph)• all the edges are directed

– Undirected graph• all the edges are

undirected– Weighted graph• all the edges are

weighted

Page 5: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

John

DavidPaul

brown.edu

cox.net

cs.brown.edu

att.netqwest.net

math.brown.edu

cslab1bcslab1a

Applications• Electronic circuits– Printed circuit board– Integrated circuit

• Transportation networks– Highway network– Flight network

• Computer networks– Local area network– Internet

• Databases– Entity-relationship

diagram

Page 6: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Terminology• End points (or end vertices)

of an edge– U and V are the endpoints of a

• Edges incident on a vertex– a, d, and b are incident on V

• Adjacent vertices– U and V are adjacent

• Degree of a vertex– X has degree 5

• Parallel (multiple) edges– h and i are parallel edges

• self-loop– j is a self-loop

XU

V

W

Z

Y

a

c

b

e

d

f

g

h

i

j

Page 7: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Terminology (cont.)

• outgoing edges of a vertex– h and b are the outgoing

edges of X• incoming edges of a vertex– e, g, and i are incoming

edges of X• in-degree of a vertex– X has in-degree 3

• out-degree of a vertex– X has out-degree 2

X

V

W

Z

Y

b

e

d

f

g

h

i

j

Page 8: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Terminology (cont.)• Path

– sequence of alternating vertices and edges

– begins with a vertex– ends with a vertex– each edge is preceded and

followed by its endpoints• Simple path

– path such that all its vertices and edges are distinct

• Examples– P1=(V,b,X,h,Z) is a simple path– P2=(U,c,W,e,X,g,Y,f,W,d,V) is a

path that is not simple

P1

XU

V

W

Z

Y

a

c

b

e

d

f

g

hP2

Page 9: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Terminology (cont.)• Cycle

– circular sequence of alternating vertices and edges

– each edge is preceded and followed by its endpoints

• Simple cycle– cycle such that all its vertices and

edges are distinct

• Examples– C1=(V,b,X,g,Y,f,W,c,U,a,) is a simple

cycle– C2=(U,c,W,e,X,g,Y,f,W,d,V,a,) is a

cycle that is not simple

C1

XU

V

W

Z

Y

a

c

b

e

d

f

g

hC2

Page 10: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise on Terminology1. # of vertices?2. # of edges?3. What type of the graph is it? 4. Show the end vertices of the edge with largest weight5. Show the vertices of smallest degree and largest degree6. Show the edges incident to the vertices in the above

question7. Identify the shortest simple path from HNL to PVD8. Identify the simple cycle with the most edges

ORD PVD

MIADFW

SFO

LAX

LGA

HNL

849

802

13871743

1843

10991120

1233337

2555

142

Page 11: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise: Properties of Undirected Graphs

Notation n number of vertices m number of edgesdeg(v) degree of vertex v

Property 1 – Total degree

v deg(v) ?

Property 2 – Total number of edgesIn an undirected graph with no

self-loops and no multiple edges

m Upper bound?

Example n m deg(v)

A graph with given number of vertices (4) and maximum number of edges

Page 12: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise: Properties of Undirected Graphs

Notation n number of vertices m number of edgesdeg(v) degree of vertex v

Property 1 – Total degree

v deg(v) 2m

Proof: each edge is counted twice

Property 2 – Total number of edgesIn an undirected graph with no

self-loops and no multiple edges

m n (n 1)2Proof: each vertex has degree

at most (n 1)

Example n 4 m 6 deg(v)

3

A graph with given number of vertices (4) and maximum number of edges

Page 13: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise: Properties of Directed Graphs

Notation n number of vertices m number of edgesdeg(v) degree of vertex v

Property 1 – Total in-degree and out-degree

v in-deg(v) ?

v out-deg(v) ?

Property 2 – Total number of edgesIn a directed graph with no

self-loops and no multiple edges

m Upper bound?

Example n m deg(v)

A graph with given number of vertices (4) and maximum number of edges

Page 14: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise: Properties of Directed Graphs

Notation n number of vertices m number of edgesdeg(v) degree of vertex v

Property 1 – Total in-degree and out-degree

v in-deg(v) m

v out-deg(v) m

Property 2 – Total number of edgesIn a directed graph with no

self-loops and no multiple edges

m n (n 1)

Example n m deg(v)

A graph with given number of vertices (4) and maximum number of edges

Page 15: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Main Methods of the Graph ADT• Vertices and edges

– are positions– store elements

• Accessor methods– incidentEdges(v)– adjacentVertices(v)– degree(v)– endVertices(e)– opposite(v, e)– areAdjacent(v, w)

– isDirected(e)– origin(e)– destination(e)

• Update methods– insertVertex(o)– insertEdge(v, w, o)– insertDirectedEdge(v, w, o)– removeVertex(v)– removeEdge(e)

• Generic methods– numVertices()– numEdges()– vertices()– edges()

Specific to directed edges

Page 16: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise on ADT1. incidentEdges(ORD)2. adjacentVertices(ORD)3. degree(ORD)4. endVertices((LGA,MIA))5. opposite(DFW, (DFW,LGA))6. areAdjacent(DFW, SFO)

7. insertVertex(IAH)8. insertEdge(MIA, PVD, 1200)9. removeVertex(ORD)10. removeEdge((DFW,ORD))11. isDirected((DFW,LGA))12. origin ((DFW,LGA))13. destination((DFW,LGA)))

ORD PVD

MIADFW

SFO

LAX

LGA

HNL

849

802

13871743

1843

10991120

1233337

2555

142

Page 17: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Edge List Structure

• An edge list can be stored in a sequence, a vector, a list or a dictionary such as a hash table

ORD PVD

MIADFW

LGA

849

802

1387 10991120

142

(ORD, PVD)

(ORD, DFW)

(LGA, PVD)

(LGA, MIA)

(DFW, LGA)

849

802

142

1099

1387

(DFW, MIA) 1120

Edge List

ORD

LGA

PVD

DFW

MIA

Vertex Sequence

Page 18: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise: Edge List Structure

Construct an edge list structure for the following graph

u x

y

vz

a

Page 19: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Asymptotic Performance

• Vertices and edges– are positions– store elements

• Accessor methods– Accessing vertex sequence

• degree(v) O(1)– Accessing edge list

• endVertices(e) O(1)• opposite(v, e) O(1)

• isDirected(e) O(1)• origin(e) O(1)• destination(e) O(1)

• Generic methods– numVertices() O(1)– numEdges() O(1)– vertices() O(n)– edges() O(m)

(ORD, PVD)

(ORD, DFW)

(LGA, PVD)

(LGA, MIA)

(DFW, LGA)

849

802

142

1099

1387

(DFW, MIA) 1120

Edge List

ORD

LGA

PVD

DFW

MIA

Vertex Sequence

2

3

2

3

2

Degree

False

False

False

False

False

False

Weight Directed

Specific to directed edges

Page 20: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Asymptotic Performance of Edge List Structure

n vertices, m edges no parallel edges no self-loops Bounds are “big-

Oh”

Edge

List

Space n mincidentEdges(v)adjacentVertices(v)

m

areAdjacent (v, w) m

insertVertex(o) 1

insertEdge(v, w, o) 1

removeVertex(v) m

removeEdge(e) 1

(ORD, PVD)

(ORD, DFW)

(LGA, PVD)

(LGA, MIA)

(DFW, LGA)

849

802

142

1099

1387

(DFW, MIA) 1120

Edge List

ORD

LGA

PVD

DFW

MIA

Vertex Sequence

2

3

2

3

2

False

False

False

False

False

False

Weight Directed Degree

Page 21: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Adjacency List StructureORD PVD

MIADFW

LGA

849

802

1387 10991120

142

ORD

LGA

PVD

DFW

MIA

(ORD, PVD)

Adjacency List

(ORD, DFW)

(LGA, PVD) (LGA, MIA)

(PVD, ORD) (PVD, LGA)

(LGA, DFW)

(DFW, ORD) (DFW, LGA) (DFW, MIA)

(MIA, LGA) (MIA, DFW)

Page 22: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise: Adjacency List Structure

Construct the adjacency list for the following graph

u x

y

vz

a

Page 23: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Asymptotic Performance of Adjacency List Structure

• n vertices, m edges• no parallel edges• no self-loops• Bounds are “big-Oh”

AdjacencyList

Space n mincidentEdges(v)adjacentVertices(v)

deg(v)

areAdjacent (v, w) min(deg(v), deg(w))

insertVertex(o) 1

insertEdge(v, w, o) 1

removeVertex(v) deg(v)*

removeEdge(e) 1*

Adjacency List

ORD

LGA

PVD

DFW

MIA

(ORD, PVD) (ORD, DFW)

(LGA, PVD) (LGA, MIA)

(PVD, ORD) (PVD, LGA)

(LGA, DFW)

(DFW, ORD) (DFW, LGA) (DFW, MIA)

(MIA, LGA) (MIA, DFW)

Page 24: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Adjacency Matrix Structure

0 1 2 3 4

0 0 0 1 1 0

1 0 0 1 1 1

2 1 1 0 0 0

3 1 1 0 0 1

4 0 1 0 1 0

0:ORD 2:PVD

4:MIA3:DFW

1:LGA

849

802

1387 10991120

142

Page 25: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise: Adjacency Matrix Structure

Construct the adjacency matrix for the following graph

u x

y

vz

a

Page 26: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Asymptotic Performance of Adjacency Matrix Structure

• n vertices, m edges• no parallel edges• no self-loops• Bounds are “big-Oh”

Adjacency Matrix

Space n2

incidentEdges(v)adjacentVertices(v)

n

areAdjacent (v, w) 1

insertVertex(o) n2

insertEdge(v, w, o) 1

removeVertex(v) n2

removeEdge(e) 1

0 1 2 3 4

0 0 0 1 1 0

1 0 0 1 1 1

2 1 1 0 0 0

3 1 1 0 0 1

4 0 1 0 1 0

Page 27: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Asymptotic Performance

• n vertices, m edges• no parallel edges• no self-loops• Bounds are “big-Oh”

Edge

List

AdjacencyList

Adjacency Matrix

Space n m n m n2

incidentEdges(v)adjacentVertices(v)

m deg(v) n

areAdjacent (v, w) m min(deg(v), deg(w)) 1

insertVertex(o) 1 1 n2

insertEdge(v, w, o) 1 1 1

removeVertex(v) m deg(v) n2

removeEdge(e) 1 1 1

Page 28: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Depth-First Search

DB

A

C

E

Page 29: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Outline and Reading

• Definitions (§13.1)– Subgraph– Connectivity– Spanning trees and forests

• Depth-first search (§13.3.1)– Algorithm– Example– Properties– Analysis

• Applications of DFS– Path finding– Cycle finding

Page 30: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Subgraphs

• A subgraph S of a graph G is a graph such that – The vertices of S are a

subset of the vertices of G– The edges of S are a

subset of the edges of G• A spanning subgraph of G

is a subgraph that contains all the vertices of G

Subgraph

Spanning subgraph

Page 31: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Connectivity

• A graph is connected if there is a path between every pair of vertices

• A connected component of a graph G is a maximal connected subgraph of G

Connected graph

Non connected graph with two connected components

Page 32: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Trees and Forests

• A (free) tree is an undirected graph T such that– T is connected– T has no cyclesThis definition of tree is

different from the one of a rooted tree

• A forest is an undirected graph without cycles

• The connected components of a forest are trees

Tree

Forest

Page 33: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Spanning Trees and Forests

• A spanning tree of a connected graph is a spanning subgraph that is a tree

• A spanning tree is not unique unless the graph is a tree

• Spanning trees have applications to the design of communication networks

• A spanning forest of a graph is a spanning subgraph that is a forest

Graph

Spanning tree

Page 34: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Depth-First Search

• Depth-first search (DFS) is a general technique for traversing a graph

• A DFS traversal of a graph G – Visits all the vertices and

edges of G– Determines whether G is

connected– Computes the connected

components of G– Computes a spanning forest

of G

• DFS on a graph with n vertices and m edges takes O(nm ) time

• DFS can be further extended to solve other graph problems– Find and report a path

between two given vertices– Find a cycle in the graph

• Depth-first search is to graphs what Euler tour is to binary trees

Page 35: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Example

DB

A

C

E

DB

A

C

E

DB

A

C

E

discovery edgeback edge

A visited vertexA unexplored vertex

unexplored edge

F

F

FG

G

G

Page 36: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Example (cont.)

DB

A

C

E

DB

A

C

E

DB

A

C

E

DB

A

C

E

F F

F FG

G

G

G

Page 37: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Example (cont.)

DB

A

C

E

F G

DB

A

C

E

F G

A(G) = Φ

DB

A

C

E

F G

Page 38: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

DFS and Maze Traversal

• The DFS algorithm is similar to a classic strategy for exploring a maze– We mark each intersection,

corner and dead end (vertex) visited

– We mark each corridor (edge ) traversed

– We keep track of the path back to the entrance (start vertex) by means of a rope (recursion stack)

Page 39: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

DFS Algorithm• The algorithm uses a mechanism

for setting and getting “labels” of vertices and edges

Algorithm DFS(G, v)Input graph G and a start vertex v of G Output labeling of the edges of G

in the connected component of v as discovery edges and back edges

setLabel(v, VISITED)for all e G.incidentEdges(v)

if getLabel(e) UNEXPLOREDw opposite(v,e)if getLabel(w)

UNEXPLOREDsetLabel(e, DISCOVERY)DFS(G, w)

elsesetLabel(e, BACK)

Algorithm DFS(G)Input graph GOutput labeling of the edges of G

as discovery edges andback edges

for all u G.vertices()setLabel(u, UNEXPLORED)

for all e G.edges()setLabel(e, UNEXPLORED)

for all v G.vertices()if getLabel(v)

UNEXPLOREDDFS(G, v)

Page 40: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise: DFS Algorithm

• Perform DFS of the following graph, start from vertex A– Assume adjacent edges are processed in

alphabetical order– Number vertices in the order they are visited– Label edges as discovery or back edges

CB

A

E

D

F

Page 41: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Properties of DFS

Property 1DFS(G, v) visits all the vertices and edges in the connected component of v

Property 2The discovery edges labeled by DFS(G, v) form a spanning tree of the connected component of v

DB

A

C

E

F G

v1

v2

Page 42: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Analysis of DFS

• Setting/getting a vertex/edge label takes O(1) time• Each vertex is labeled twice

• once as UNEXPLORED• once as VISITED

• Each edge is labeled twice• once as UNEXPLORED• once as DISCOVERY or BACK

• Function DFS(G, v) and the method incidentEdges are called once for each vertex

DB

A

C

E

F G

Page 43: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Analysis of DFS• DFS runs in O(n + m) time provided

the graph is represented by the adjacency list structure– Recall that ∑v deg(v) = 2m Algorithm DFS(G, v)

Input graph G and a start vertex v of G Output labeling of the edges of G

in the connected component of v as discovery edges and back edges

setLabel(v, VISITED)for all e G.incidentEdges(v)

if getLabel(e) UNEXPLOREDw opposite(v,e)if getLabel(w)

UNEXPLOREDsetLabel(e, DISCOVERY)DFS(G, w)

elsesetLabel(e, BACK)

Algorithm DFS(G)Input graph GOutput labeling of the edges of G

as discovery edges andback edges

for all u G.vertices()setLabel(u, UNEXPLORED)

for all e G.edges()setLabel(e, UNEXPLORED)

for all v G.vertices()if getLabel(v)

UNEXPLOREDDFS(G, v)

O(n)

O(m)

O(n +m)

Page 44: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Path Finding

• We can specialize the DFS algorithm to find a path between two given vertices v and z using the template method pattern

• We call DFS(G, v) with v as the start vertex

• We use a stack S to keep track of the path between the start vertex and the current vertex

• As soon as destination vertex z is encountered, we return the path as the contents of the stack

Algorithm pathDFS(G, v, z)setLabel(v, VISITED)S.push(v)if v z

return S.elements()for all e G.incidentEdges(v)

if getLabel(e) UNEXPLOREDw opposite(v,e)if getLabel(w)

UNEXPLORED setLabel(e, DISCOVERY)S.push(e)pathDFS(G, w, z)S.pop()

else setLabel(e, BACK)

S.pop()

Page 45: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Breadth-First Search

CB

A

E

D

L0

L1

FL2

Page 46: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Outline and Reading

• Breadth-first search (Sect. 13.3.5)• Algorithm• Example• Properties• Analysis• Applications

• DFS vs. BFS• Comparison of applications• Comparison of edge labels

Page 47: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Breadth-First Search

• Breadth-first search (BFS) is a general technique for traversing a graph

• A BFS traversal of a graph G • Visits all the vertices and

edges of G• Determines whether G is

connected• Computes the connected

components of G• Computes a spanning forest

of G

• BFS on a graph with n vertices and m edges takes O(nm ) time

• BFS can be further extended to solve other graph problems• Find and report a path with

the minimum number of edges between two given vertices

• Find a simple cycle, if there is one

Page 48: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Example

CB

A

E

D

discovery edgecross edge

A visited vertexA unexplored vertex

unexplored edge

L0

L1

F

CB

A

E

D

L0

L1

F

CB

A

E

D

L0

L1

F

Page 49: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Example (cont.)

CB

A

E

D

L0

L1

F

CB

A

E

D

L0

L1

FL2

CB

A

E

D

L0

L1

FL2

CB

A

E

D

L0

L1

FL2

discovery edgecross edge

visited vertexAA unexplored vertex

unexplored edge

Page 50: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Example (cont.)

CB

A

E

D

L0

L1

FL2

CB

A

E

D

L0

L1

FL2

CB

A

E

D

L0

L1

FL2

discovery edgecross edge

visited vertexAA unexplored vertex

unexplored edge

Page 51: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

BFS Algorithm• The algorithm uses a

mechanism for setting and getting “labels” of vertices and edges

Algorithm BFS(G, s)L0 new empty sequenceL0.insertLast(s)setLabel(s, VISITED)i 0 while Li.isEmpty()

Li 1 new empty sequence for all v Li.elements()

for all e G.incidentEdges(v) if getLabel(e) UNEXPLORED

w opposite(v,e)if getLabel(w)

UNEXPLOREDsetLabel(e, DISCOVERY)setLabel(w, VISITED)Li 1.insertLast(w)

elsesetLabel(e, CROSS)

i i 1

Algorithm BFS(G)Input graph GOutput labeling of the edges

and partition of the vertices of G

for all u G.vertices()setLabel(u, UNEXPLORED)

for all e G.edges()setLabel(e, UNEXPLORED)

for all v G.vertices()if getLabel(v)

UNEXPLORED

BFS(G, v)

Page 52: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Exercise: BFS Algorithm

• Perform BFS of the following graph, start from vertex A– Assume adjacent edges are processed in

alphabetical order– Number vertices in the order they are visited and

note the level they are in– Label edges as discovery or cross edges

CD

E

F

B

A

Page 53: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

PropertiesNotation

Gs: connected component of sProperty 1

BFS(G, s) visits all the vertices and edges of Gs

Property 2The discovery edges labeled by BFS(G, s) form a spanning tree Ts of Gs

Property 3For each vertex v in Li

– The path of Ts from s to v has i edges – Every path from s to v in Gs has at

least i edges

CB

A

E

D

L0

L1

FL2

CB

A

E

D

F

Page 54: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Analysis• Setting/getting a vertex/edge label takes O(1) time• Each vertex is labeled twice

• once as UNEXPLORED• once as VISITED

• Each edge is labeled twice• once as UNEXPLORED• once as DISCOVERY or CROSS

• Each vertex is inserted once into a sequence Li • Method incidentEdges() is called once for each vertex• BFS runs in O(n m) time provided the graph is

represented by the adjacency list structure• Recall that v deg(v) 2m

Page 55: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Applications

• Using the template method pattern, we can specialize the BFS traversal of a graph G to solve the following problems in O(n m) time• Compute the connected components of G• Compute a spanning forest of G• Find a simple cycle in G, or report that G is a forest• Given two vertices of G, find a path in G between

them with the minimum number of edges, or report that no such path exists

Page 56: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

DFS vs. BFS

CB

A

E

D

L0

L1

FL2

CB

A

E

D

F

DFS BFS

Applications DFS BFSSpanning forest, connected components, paths, cycles

Shortest paths

Page 57: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge
Page 58: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Cycle Finding

• We can specialize the DFS algorithm to find a simple cycle using the template method pattern

• We use a stack S to keep track of the path between the start vertex and the current vertex

• As soon as a back edge

(v, w) is encountered, we return the cycle as the portion of the stack from

the top to vertex w

Algorithm cycleDFS(G, v, z)setLabel(v, VISITED)S.push(v)for all e G.incidentEdges(v)

if getLabel(e) UNEXPLOREDw opposite(v,e)S.push(e)if getLabel(w) UNEXPLORED

setLabel(e, DISCOVERY)pathDFS(G, w, z)S.pop()

elseT new empty stackrepeat

o S.pop()T.push(o)

until o wreturn T.elements()

S.pop()

Page 59: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

DFS vs. BFS (cont.)

Back edge (v,w)– w is an ancestor of v in the

tree of discovery edges

Cross edge (v,w)– w is in the same level as v

or in the next level in the tree of discovery edges

CB

A

E

D

L0

L1

FL2

CB

A

E

D

F

DFS BFS

Page 60: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Adjacency Matrix Structure

• Edge list structure• Augmented vertex

objects• Integer key (index)

associated with vertex• 2D-array adjacency array

• Reference to edge object for adjacent vertices

• Null for non nonadjacent vertices

• The “old fashioned” version just has 0 for no edge and 1 for edge

u

v

wa b

0 1 2

0

1

2 a

u v w0 1 2

b

Page 61: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Edge List Structure• Vertex object

• element• reference to position in

vertex sequence• Edge object

• element• origin vertex object• destination vertex object• reference to position in edge

sequence• Vertex sequence

• sequence of vertex objects• Edge sequence

• sequence of edge objects

v

u

w

a c

b

a

zd

u v w z

b c d

Page 62: Graphs Part 1. Outline and Reading Graphs (§13.1) – Definition – Applications – Terminology – Properties – ADT Data structures for graphs (§13.2) – Edge

Adjacency List Structure

• Edge list structure• Incidence sequence for

each vertex• sequence of references to

edge objects of incident edges

• Augmented edge objects• references to associated

positions in incidence sequences of end vertices

u

v

wa b

a

u v w

b