Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do...
Transcript of Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do...
![Page 1: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/1.jpg)
1
Chapter 3
Graphs
Slides by Kevin Wayne.Copyright © 2005 Pearson-Addison Wesley.All rights reserved.
![Page 2: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/2.jpg)
3.1 Basic Definitions and Applications
![Page 3: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/3.jpg)
3
Undirected Graphs
Undirected graph. G = (V, E)
V = nodes (non-empty)
E = edges between pairs of nodes.
Captures pairwise relationship between objects.
Graph size parameters: n = |V|, m = |E|.
V = { 1, 2, 3, 4, 5, 6, 7, 8 }
E = { 1-2, 1-3, 2-3, 2-4, 2-5, 3-5, 3-7, 3-8, 4-5, 5-6 }
n = 8
m = 11
![Page 4: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/4.jpg)
4
Undirected Graphs
Undirected graph. G = (V, E)
u and v are adjacent (neighbors) in G iff there is an edge between u and
v in G
The degree d(u) of a vertex u is the number of neighbors of u
1 and 3 are adjacent
2 and 8 are not adjacent
d(3)=5
d(4)=2
![Page 5: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/5.jpg)
5
Undirected Graphs
Important Property: For every graph G, the sum of degrees of G equals
twice the number of edges.
m=11
![Page 6: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/6.jpg)
6
Some Graph Applications
transportation
Graph
street intersections
Nodes Edges
highways
communication computers fiber optic cables
World Wide Web web pages hyperlinks
social people relationships
food web species predator-prey
software systems functions function calls
scheduling tasks precedence constraints
circuits gates wires
![Page 7: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/7.jpg)
7
World Wide Web
Web graph.
Node: web page.
Edge: hyperlink from one page to another.
cnn.com
cnnsi.comnovell.comnetscape.com timewarner.com
hbo.com
sorpranos.com
![Page 8: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/8.jpg)
8
9-11 Terrorist Network
Social network graph.
Node: people.
Edge: relationship between two people.
Reference: Valdis Krebs, http://www.firstmonday.org/issues/issue7_4/krebs
![Page 9: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/9.jpg)
9
Ecological Food Web
Food web graph.
Node = species.
Edge = from prey to predator.
Reference: http://www.twingroves.district96.k12.il.us/Wetlands/Salamander/SalGraphics/salfoodweb.giff
![Page 10: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/10.jpg)
10
Graph Representation: Adjacency Matrix
Adjacency matrix. n-by-n matrix with Auv = 1 if (u, v) is an edge.
Two representations of each edge.
Space proportional to n2.
Checking if (u, v) is an edge takes (1) time.
Identifying all edges takes (n2) time.
1 2 3 4 5 6 7 8
1 0 1 1 0 0 0 0 0
2 1 0 1 1 1 0 0 0
3 1 1 0 0 1 0 1 1
4 0 1 0 0 1 0 0 0
5 0 1 1 1 0 1 0 0
6 0 0 0 0 1 0 0 0
7 0 0 1 0 0 0 0 1
8 0 0 1 0 0 0 1 0
![Page 11: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/11.jpg)
11
Graph Representation: Adjacency Matrix
Line Graph: n vertices and n-1 edges.
• Adjacency matrix is full of 0’s
• 750M vertices
• Assumption: each person has 130 friends in average
550 Petabytes to store approximately 50 Billion edges;
1 2 3 4 5 6 7 8
1 0 1 1 0 0 0 0 0
2 1 0 1 1 1 0 0 0
3 1 1 0 0 1 0 1 1
4 0 1 0 0 1 0 0 0
5 0 1 1 1 0 1 0 0
6 0 0 0 0 1 0 0 0
7 0 0 1 0 0 0 0 1
8 0 0 1 0 0 0 1 0
![Page 12: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/12.jpg)
12
Graph Representation: Adjacency List
Adjacency list. Node indexed array of lists.
Two representations of each edge.
Space proportional to m + n.
Checking if (u, v) is an edge takes O(deg(u)) time.
Identifying all edges takes (m + n) time.
1 2 3
2
3
4 2 5
5
6
7 3 8
8
1 3 4 5
1 2 5 87
2 3 4 6
5
degree = number of neighbors of u
3 7
![Page 13: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/13.jpg)
13
Paths and Connectivity
Def. A path in an undirected graph G = (V, E) is a sequence P of nodes
v1, v2, …, vk-1, vk with the property that each consecutive pair vi, vi+1 is
joined by an edge in E.
Def. A path is simple if all nodes are distinct.
Def. An undirected graph is connected if for every pair of nodes u and
v, there is a path between u and v.
![Page 14: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/14.jpg)
14
Cycles
Def. A cycle is a path v1, v2, …, vk-1, vk in which v1 = vk, k >3, and the
first k-1 nodes are all distinct.
cycle C = 1-2-4-5-3-1
![Page 15: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/15.jpg)
15
Distance
Def. The distance between vertexes s and t in a graph G is the number
of edges of the shortest path connecting s to t in G.
Distance(1,4) =2Distance(6,3)= 2Distance(7,8) =1
![Page 16: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/16.jpg)
16
Trees
Def. An undirected graph is a tree if it is connected and does not
contain a cycle.
Theorem. Let G be an undirected graph on n nodes. Any two of the
following statements imply the third.
G is connected.
G does not contain a cycle.
G has n-1 edges.
![Page 17: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/17.jpg)
17
Rooted Trees
Rooted tree. Given a tree T, choose a root node r and orient each edge
away from r.
Importance. Models hierarchical structure.
a tree the same tree, rooted at 1
v
parent of v
child of v
root r
![Page 18: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/18.jpg)
3.2 Graph Traversal
![Page 19: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/19.jpg)
20
Connectivity
s-t connectivity problem. Given two node s and t, is there a path
between s and t?
s-t shortest path problem. Given two node s and t, what is the length
of the shortest path between s and t?
Applications.
Maze traversal.
Kevin Bacon number.
Fewest number of hops in a communication network.
![Page 20: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/20.jpg)
21
Breadth First Search
BFS intuition. Explore outward from s in all possible directions, adding
nodes one "layer" at a time.
BFS algorithm.
L0 = { s }.
L1 = all neighbors of L0.
L2 = all nodes that do not belong to L0 or L1, and that have an edge
to a node in L1.
Li+1 = all nodes that do not belong to an earlier layer, and that have
an edge to a node in Li.
Theorem. For each i, Li consists of all nodes at distance exactly i
from s. There is a path from s to t iff t appears in some layer.
s L1 L2 L n-1
![Page 21: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/21.jpg)
Breadth First Search
Definition A BFS tree of G = (V, E), is the tree induced by a BFS
search on G.
• The root of the tree is the start point of the BFS
• A node u is a parent of v if v is first visited when the BFS
traverses the neighbors of u
Observation For the same graph there can be different BFS trees.
The BFS tree topology depends on the start point of the BFS and the
rule employed to break ties (how the data structure is traversed)
![Page 22: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/22.jpg)
23
Breadth First Search
Property. Let T be a BFS tree of G = (V, E), and let (x, y) be an edge of
G. Then the level of x and y differ by at most 1.
L0
L1
L2
L3
![Page 23: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/23.jpg)
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s)
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
Busca em Largura
Notação
• Adj [u ] : lista dos vértices adjacentes a u em alguma ordem
• Dequeue(S): Remove o primeiro elemento da fila S• Enqueue (S,v) : Adiciona o nó v na fila S
![Page 24: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/24.jpg)
1
2
34
5
7
6
S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 25: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/25.jpg)
Exemplo
1
2
34
5
7
6
1S
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 26: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/26.jpg)
1
2
34
5
7
6
Exemplo
S
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 27: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/27.jpg)
1
2
34
5
7
6
4S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 28: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/28.jpg)
1
2
34
5
7
6
4 5S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 29: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/29.jpg)
1
2
34
5
7
6
4 5 2S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 30: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/30.jpg)
1
2
34
5
7
6
5 2S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 31: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/31.jpg)
Exemplo
1
2
34
5
7
6
5 2S
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 32: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/32.jpg)
1
2
34
5
7
6
5 2S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 33: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/33.jpg)
1
2
34
5
7
6
2S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 34: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/34.jpg)
1
2
34
5
7
6
Exemplo
S
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 35: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/35.jpg)
1
2
34
5
7
6
6S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 36: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/36.jpg)
1
2
34
5
7
6
S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 37: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/37.jpg)
1
2
34
5
7
6
3
Exemplo
S
3
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 38: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/38.jpg)
1
2
34
5
7
6
Exemplo
S
3
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 39: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/39.jpg)
1
2
34
5
7
6
S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
7
![Page 40: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/40.jpg)
1
2
34
5
7
6
S
Exemplo
BFS(G)
1 for every vertex s of G not explored yet
2 do Enqueue(S,s);
3 mark vertex s as visited
4 while S is not empty do5 u ← Dequeue(S);
6 For each v in Adj[u] then
7 if v is unexplored then8 mark edge (v,u) as tree edge
9 mark vertex v as visited
10 Enqueue(S,v)
![Page 41: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/41.jpg)
42
Breadth First Search: Analysis
Análise O(n2):
(i) Cada vértice entra na fila S no máximo uma vez Loop While é
executado no máximo n vezes.
(ii) Cada vértice tem no máximo n-1 vizinhos For é executado no
máximo n vezes
(i) e (ii) implicam em O(n2)
Análise O(m + n)
(i) custo dentre do While O(n)
(ii) Custo dentro do For para vértice u é degree(u). Somando para
todos os vertices temos u V degree(u) = 2m
(i) e (ii) implicam em O(n+m )
each edge (u, v) is counted exactly twicein sum: once in deg(u) and once in deg(v)
![Page 42: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/42.jpg)
43
Breadth First Search: Analysis
Theorem. The above implementation of BFS runs in O(m + n) time if
the graph is given by its adjacency representation.
Pf.
– when we consider node u, there are deg(u) incident edges (u, v)
– total time processing edges is u V deg(u) = 2m ▪
each edge (u, v) is counted exactly twicein sum: once in deg(u) and once in deg(v)
![Page 43: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/43.jpg)
Busca em Profundidade
1
2
34
5
7
6
DFS(G)
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
![Page 44: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/44.jpg)
Busca em Profundidade : Exemplo
1
2
34
5
7
6
DFS(G)
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
![Page 45: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/45.jpg)
Busca em Profundidade : Exemplo
1
2
34
5
7
6
DFS(G)
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
![Page 46: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/46.jpg)
Busca em Profundidade : Exemplo
1
2
34
5
7
6
DFS(G)
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
![Page 47: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/47.jpg)
Busca em Profundidade : Exemplo
1
2
34
5
7
6
DFS(G)
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
![Page 48: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/48.jpg)
Busca em Profundidade : Exemplo
1
2
34
5
7
6
DFS(G)
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
![Page 49: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/49.jpg)
Busca em Profundidade : Exemplo
1
2
34
5
7
6
DFS(G)
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
![Page 50: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/50.jpg)
Busca em Profundidade : Exemplo
1
2
34
5
7
6
DFS(G)
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
![Page 51: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/51.jpg)
Busca em Profundidade : Exemplo
1
2
34
5
7
6
DFS(G)
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
![Page 52: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/52.jpg)
Propriedades da Busca de Profundidade
Teorema: Seja T a árvore produzida por uma DFS em G e seja vw uma aresta de
G. Se v é visitado antes de w então v é ancestral de w em T.
Arestas em preto: arvore DFSArestas em preto e laranja: arestas do grafo
![Page 53: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/53.jpg)
Propriedades da Busca de Profundidade
Nota: Se T é uma árvore produzida por uma DFS em G, existe um caminho entre v
e w em G e v é visitado antes de w então não necessariamente v é ancestral de w em
T.
![Page 54: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/54.jpg)
Propriedades da Busca de Profundidade
Nota: Se T é uma árvore produzida por uma DFS em G, existe um caminho entre v
e w em G e v é visitado antes de w então não necessariamente v é ancestral de w em
T.
v w
![Page 55: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/55.jpg)
56
Connected Component
Def Connected set. S is a connected set if and only if
v is reachable from u and u is reachable from v for every u,v in S
Def Connected Component. S is a connected component if and only if
v is a connected set
for every u in V-S, S {u} is not connected
![Page 56: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/56.jpg)
57
Connected Component
Connected components.
Connected component containing node 1 = { 1, 2, 3, 4, 5, 6, 7, 8 }.
![Page 57: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/57.jpg)
58
Flood Fill
Flood fill. Given lime green pixel in an image, change color of entire
blob of neighboring lime pixels to blue.
Node: pixel.
Edge: two neighboring lime pixels.
Blob: connected component of lime pixels.
recolor lime green blob to blue
![Page 58: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/58.jpg)
59
Flood Fill
Flood fill. Given lime green pixel in an image, change color of entire
blob of neighboring lime pixels to blue.
Node: pixel.
Edge: two neighboring lime pixels.
Blob: connected component of lime pixels.
recolor lime green blob to blue
![Page 59: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/59.jpg)
3.4 Testing Bipartiteness
![Page 60: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/60.jpg)
62
Bipartite Graphs
Def. An undirected graph G = (V, E) is bipartite if the nodes can be
colored red or blue such that every edge has one red and one blue end.
Applications.
Stable marriage: men = red, women = blue.
Scheduling: machines = red, jobs = blue.
a bipartite graph
![Page 61: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/61.jpg)
63
Testing Bipartiteness
Testing bipartiteness. Given a graph G, is it bipartite?
Many graph problems become:
– easier if the underlying graph is bipartite (matching)
– tractable if the underlying graph is bipartite (independent set)
Before attempting to design an algorithm, we need to understand
structure of bipartite graphs.
v1
v2 v3
v6 v5 v4
v7
v2
v4
v5
v7
v1
v3
v6
a bipartite graph G another drawing of G
![Page 62: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/62.jpg)
64
An Obstruction to Bipartiteness
Lemma. If a graph G is bipartite, it cannot contain an odd length cycle.
Pf. Not possible to 2-color the odd cycle, let alone G.
bipartite(2-colorable)
not bipartite(not 2-colorable)
![Page 63: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/63.jpg)
65
Bipartite Graphs
Lemma. Let G be a connected graph, and let L0, …, Lk be the layers
produced by BFS starting at node s. Exactly one of the following holds.
(i) No edge of G joins two nodes of the same layer, and G is bipartite.
(ii) An edge of G joins two nodes of the same layer, and G contains an
odd-length cycle (and hence is not bipartite).
Case (i)
L1 L2 L3
Case (ii)
L1 L2 L3
![Page 64: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/64.jpg)
66
Bipartite Graphs
Lemma. Let G be a connected graph, and let L0, …, Lk be the layers
produced by BFS starting at node s. Exactly one of the following holds.
(i) No edge of G joins two nodes of the same layer, and G is bipartite.
(ii) An edge of G joins two nodes of the same layer, and G contains an
odd-length cycle (and hence is not bipartite).
Pf. (i)
Suppose no edge joins two nodes in the same layer.
By previous lemma, this implies all edges join nodes on consecutive
levels.
Bipartition: red = nodes on odd levels, blue = nodes on even levels.
Case (i)
L1 L2 L3
![Page 65: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/65.jpg)
67
Bipartite Graphs
Lemma. Let G be a connected graph, and let L0, …, Lk be the layers
produced by BFS starting at node s. Exactly one of the following holds.
(i) No edge of G joins two nodes of the same layer, and G is bipartite.
(ii) An edge of G joins two nodes of the same layer, and G contains an
odd-length cycle (and hence is not bipartite).
Pf. (ii)
Suppose (x, y) is an edge with x, y in same level Lj.
Let z = lca(x, y) = lowest common ancestor.
Let Li be level containing z.
Consider cycle that takes edge from x to y,
then path from y to z, then path from z to x.
Its length is 1 + (j-i) + (j-i), which is odd. ▪
z = lca(x, y)
(x, y) path fromy to z
path fromz to x
![Page 66: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/66.jpg)
68
Obstruction to Bipartiteness
Corollary. A graph G is bipartite iff it contains no odd length cycle.
5-cycle C
bipartite(2-colorable)
not bipartite(not 2-colorable)
![Page 67: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/67.jpg)
69
Exercício de Impleementação
1. Modifique o código da BFS para que esta preencha um vetor d com n
entradas aonde d(u) é a distância da origem s até o vértice u.
2. Modifique o algoritmo de busca em profundidade para que ele atribua
números inteiros aos vértices do grafo de modo que
(i) Vértices de uma mesma componente recebam o mesmo número
(ii) Vértices de componentes diferentes recebam números diferentes
3. Modifique o código da BFS para que ela identifique se um grafo é
bipartido ou não.
![Page 68: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/68.jpg)
3.5 Connectivity in Directed Graphs
![Page 69: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/69.jpg)
71
Directed Graphs
Directed graph. G = (V, E)
Edge (u, v) goes from node u to node v.
Ex. Web graph - hyperlink points from one web page to another.
Directedness of graph is crucial.
Modern web search engines exploit hyperlink structure to rank web
pages by importance.
![Page 70: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/70.jpg)
72
Graph Search
Directed reachability. Given a node s, find all nodes reachable from s.
Directed s-t shortest path problem. Given two node s and t, what is
the length of the shortest path between s and t?
Graph search. BFS extends naturally to directed graphs.
Web crawler. Start from web page s. Find all web pages linked from s,
either directly or indirectly.
![Page 71: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/71.jpg)
Strong Connectivity
Def. Node u and v are mutually reachable if there is a path from u to v
and also a path from v to u.
Def. A graph is strongly connected if every pair of nodes is mutually
reachable.
How to decide wether a given graph is strongly connected?
![Page 72: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/72.jpg)
Strong Connectivity
Algorithm 1
SC true
For all u,v in V
If DFS(u) does not reach v
SC False
End If
End
Analysis O( n2 (m+n))
![Page 73: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/73.jpg)
Strong Connectivity
Obs. When we execute a DFS (BFS) starting at u we find all nodes
reachable from u
Algorithm 2
SC true
For all u in V
If DFS(u) does not reach |V| nodes
SC False
End If
End
Analysis O( n (m+n) )
![Page 74: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/74.jpg)
76
Strong Connectivity
Def. Node u and v are mutually reachable if there is a path from u to v
and also a path from v to u.
Def. A graph is strongly connected if every pair of nodes is mutually
reachable.
Lemma. Let s be any node. G is strongly connected iff every node is
reachable from s, and s is reachable from every node.
Pf. Follows from definition.
Pf. Path from u to v: concatenate u-s path with s-v path.
Path from v to u: concatenate v-s path with s-u path. ▪
s
v
u
ok if paths overlap
![Page 75: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/75.jpg)
77
Example: reverse graph G R
d
b
f
e
a
c
g
h
d
b
f
e
a
c
g
h
G
G R
![Page 76: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/76.jpg)
78
Strong Connectivity: Algorithm
Theorem. Can determine if G is strongly connected in O(m + n) time.
Pf.
Pick any node s.
Run BFS from s in G.
Run BFS from s in Grev.
Return true iff all nodes reached in both BFS executions.
Correctness follows immediately from previous lemma. ▪
reverse orientation of every edge in G
strongly connected not strongly connected
![Page 77: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/77.jpg)
3.6 DAGs and Topological Ordering
![Page 78: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/78.jpg)
80
Directed Acyclic Graphs
Def. An DAG is a directed graph that contains no directed cycles.
Ex. Precedence constraints: edge (vi, vj) means vi must precede vj.
a DAG
v2 v3
v6 v5 v4
v7 v1
Not a DAG
v2 v3
v6 v5 v4
v7 v1
![Page 79: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/79.jpg)
81
Precedence Constraints
Precedence constraints. Edge (vi, vj) means task vi must occur before vj.
Applications.
Course prerequisite graph: course vi must be taken before vj.
Compilation: module vi must be compiled before vj. Pipeline of
computing jobs: output of job vi needed to determine input of job vj.
![Page 80: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/80.jpg)
82
Directed Acyclic Graphs
Def. A topological order of a directed graph G = (V, E) is an ordering
of its nodes as v1, v2, …, vn so that for every edge (vi, vj) we have i < j.
G a topological ordering for G
v2 v3
v6 v5 v4
v7 v1
v1 v2 v3 v4 v5 v6 v7
![Page 81: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/81.jpg)
83
Directed Acyclic Graphs
v2 v3
v6 v5
No topological order
v2 v3
v6 v5
v4
Topological orders:
v6->v2->v3->v5->v4
v6->v2->v5->v3->v4
Def. A topological order of a directed graph G = (V, E) is an ordering of
its nodes as v1, v2, …, vn so that for every edge (vi, vj) we have i < j.
![Page 82: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/82.jpg)
84
Directed Acyclic Graphs
What is the relation between
DAG’s and topological orderings?
![Page 83: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/83.jpg)
85
Directed Acyclic Graphs
Lemma. If G has a topological order, then G is a DAG.
Pf. (by contradiction)
Suppose that G has a topological order v1, …, vn and that G also has a
directed cycle C. Let's see what happens.
Let vi be the lowest-indexed node in C, and let vj be the node just
before vi; thus (vj, vi) is an edge.
By our choice of i, we have i < j.
On the other hand, since (vj, vi) is an edge and v1, …, vn is a
topological order, we must have j < i, a contradiction. ▪
v1 vi vj vn
the supposed topological order: v1, …, vn
the directed cycle C
![Page 84: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/84.jpg)
86
Directed Acyclic Graphs
Lemma. If G has a topological order, then G is a DAG.
Q. Does every DAG have a topological ordering?
Q. If so, how do we compute one?
![Page 85: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/85.jpg)
87
Directed Acyclic Graphs
Lemma. If G is a DAG, then G has a node with no incoming edges.
Pf. (by contradiction)
Suppose that G is a DAG and every node has at least one incoming
edge. Let's see what happens.
Pick any node v, and begin following edges backward from v. Since v
has at least one incoming edge (u, v) we can walk backward to u.
Then, since u has at least one incoming edge (x, u), we can walk
backward to x.
Repeat until we visit a node, say w, twice.
Let C denote the sequence of nodes encountered between
successive visits to w. C is a cycle. ▪
w x u v
![Page 86: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/86.jpg)
88
Directed Acyclic Graphs
Lemma. If G is a DAG, then G has a topological ordering.
Pf. (by induction on n)
Base case: true if n = 1.
Given DAG on n > 1 nodes, find a node v with no incoming edges.
G - { v } is a DAG, since deleting v cannot create cycles.
By inductive hypothesis, G - { v } has a topological ordering.
Place v first in topological ordering; then append nodes of G - { v }
in topological order. This is valid since v has no incoming edges. ▪
DAG
v
![Page 87: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/87.jpg)
89
v1
Topological Ordering Algorithm: Example
Topological order:
v2 v3
v6 v5 v4
v7 v1
![Page 88: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/88.jpg)
90
v2
Topological Ordering Algorithm: Example
Topological order: v1
v2 v3
v6 v5 v4
v7
![Page 89: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/89.jpg)
91
v3
Topological Ordering Algorithm: Example
Topological order: v1, v2
v3
v6 v5 v4
v7
![Page 90: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/90.jpg)
92
v4
Topological Ordering Algorithm: Example
Topological order: v1, v2, v3
v6 v5 v4
v7
![Page 91: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/91.jpg)
93
v5
Topological Ordering Algorithm: Example
Topological order: v1, v2, v3, v4
v6 v5
v7
![Page 92: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/92.jpg)
94
v6
Topological Ordering Algorithm: Example
Topological order: v1, v2, v3, v4, v5
v6
v7
![Page 93: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/93.jpg)
95
v7
Topological Ordering Algorithm: Example
Topological order: v1, v2, v3, v4, v5, v6
v7
![Page 94: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/94.jpg)
96
Topological Ordering Algorithm: Example
Topological order: v1, v2, v3, v4, v5, v6, v7.
v2 v3
v6 v5 v4
v7 v1
v1 v2 v3 v4 v5 v6 v7
![Page 95: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/95.jpg)
97
Topological Sorting Algorithm: Running Time
Algorithm 1
Modify the DFS (BFS) to fill a vector count that stores, for
each node v, the number of remaining edges that are incident in v
i0
While i< n
v node with minimum degree in G
i++
If v has degree larger than 0
Return G is not a DAG
End If
Add v to the topological order
Remove v from G
Update the vector count for the nodes adjacent to v
End
![Page 96: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/96.jpg)
98
Topological Sorting Algorithm: Running Time
Analysis : count stored as a vector
O(n+m) to compute the count
The loop executes at most n times
O(n) to find the node v with minimum degree
O(1) to remove v
O(d(u)) to update the neighbors of v
O( n2 + m)
Analysis : count stored as a heap
O(n+m) to compute the vector count
The loop executes at most n times
O(1) to find the node v with minimum degree
O(log n) to remove v
O( d(u) log n) to update the neighbors of v
O( n log n + m log n)
![Page 97: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/97.jpg)
99
Topological Sorting Algorithm: Running Time
Theorem. Algorithm finds a topological order in O(m + n) time.
Pf.
Maintain the following information:
– count[w] = remaining number of incoming edges
– S = set of remaining nodes with no incoming edges
Initialization: O(m + n) via single scan through graph.
Update: to delete v
– remove v from S
– decrement count[w] for all edges from v to w, and add w to S if c
count[w] hits 0
– this is O(1) per edge ▪
![Page 98: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/98.jpg)
100
Exercicio Resolvido
Problema
Seja um grafo G=(V,E) representando a planta de um edifício.
Inicialmente temos dois robos localizados em dois vértices de V, a e b,
que devem alcançar os vértices c e d de V.
A cada passo um dos robos deve caminhar para um vertice adjacente ao
vértice que ele se encontra no momento.
Exiba um algoritmo polinomial que decida se é possível, ou não, os robos
partirem de a e b e chegarem em c e d, respectivamente, sem que em
nenhum momento eles estejam a distância menor do que r, onde r é um
inteiro dado.
![Page 99: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/99.jpg)
101
Exercicio Resolvido
Solução
Seja H um grafo representando as configurações possíveis (posições
dos robos) do problema. Cada nó de H corresponde a um par ordenado
de vértices de V a distância menor ou igual a r.
Um par de nós u e v de H tem uma aresta se e somente em um passo é
possível alcançar a configuração v a partir da configuração u em um
único passo, ou seja, se u=(u1,u2) e v=(v1,v2) então uma das alternativas
é válida
(i) u1=v1 e (u2,v2) pertence a E
(i) u2=v2 e (u1,v1) pertence a E
O problema portanto consiste em decidir se existe um camìnho entre o
nó (a,b) e o nó (c,d) em H. Isso requer tempo linear no tamanho de H.
Como H tem O(n2) vértices e O(n3) arestas, o algoritmo executa em
O(n3) .
![Page 100: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/100.jpg)
102
Strongly connected components
![Page 101: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/101.jpg)
103
Strongly connected components
Definition: a strongly connected components C of a directed graph G = (V,E) is a maximal sub-graphs (no common vertices or edges) such that for any two vertices u and v in Ci, there is a path from u to v and from v to u.
Equivalence classes of the binary path(u,v) relation, denoted by u ~ v.
Applications: networking, communications.
Problem: compute the strongly connected components of G in linear time Θ(|V|+|E|).
![Page 102: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/102.jpg)
104
Example: strongly connected components
d
b
f
e
a
c
g
h
![Page 103: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/103.jpg)
105
Example: strongly connected components
d
b
f
e
a
c
g
h
![Page 104: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/104.jpg)
106
Strongly connected components graph
Definition: the SCC graph G~ = (V~,E~) of the graph G = (V,E) is as follows:
V~ = {C1, …, Ck}. Each SCC is a vertex.
E~ = {(Ci,Cj)| i≠j and there is (x,y) E, where x Ci and y Cj}. A directed
edge between components corresponds to a directed edge between them
from any of their vertices.
G~ is a directed acyclic graph (no directed cycles)!
Definition: the reverse graph G R = (V,ER) of the graph G = (V,E) is G with
its edge directions reversed: E R = {(u,v)| (v,u) E}.
![Page 105: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/105.jpg)
107
Example: SCC graph
C
C
C
C
d
b
f
e
a
c
g
h
![Page 106: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/106.jpg)
108
Example: reverse graph G R
d
b
f
e
a
c
g
h
d
b
f
e
a
c
g
h
G
G R
![Page 107: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/107.jpg)
109
SCC algorithm: Approach
H G~ While H is not empty
v node of G that lies in a sink node of H (*)C connected component retuned by DFS(v) H H - C
End
A sink node is a node with outdegree 0 If we manage to execute (*) we are done
![Page 108: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/108.jpg)
110
DFS numbering
Useful information
pre(v): “time” when a node is visited in a DFS post(v): “time” when DFS(v) finishes
1/16
d
b
f
e
a
c
g
h
2/15 3/14
4/13
7/128/11
9/105/6
![Page 109: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/109.jpg)
111
DFS numbering
DFS(G)
0. time 1
1 Para todo v em G
2 Se v não visitado então3 DFS-Visit(G, v)
DFS-Visit(G, v)
1 Marque v como visitado
1.5 pre(v) time; time++
2 Para todo w em Adj(v)
3 Se w não visitado então4 Insira aresta (v, w) na árvore
5 DFS-Visit(G, w)
6 Post(v) time; time++
![Page 110: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/110.jpg)
112
DFS numbering
Property If C an D are strongly connected components and there is an edge from a node in C to a node in D, then the highest post() in C is bigger than the highest post() number in D
Proof. Let c be the first node visited in C and d be the first node visited in D.
Case i) c is visited before d.
DFS(c) visit all nodes in D (they are reachable from c due to the existing edge)
Thus, post(c) > post(x) for every x in D
![Page 111: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/111.jpg)
113
DFS numbering
Property If C an D are strongly connected components and there is an edge from a node in C to a node in D, then the highest post() in C is bigger than the highest post() number in D
Proof. Let c be the first node visited in C and d be the first node visited in D
Case 2) d is visited before c. DFS(d) visit all nodes in D because all of them are
reachable from d DFS(d) does not visit nodes from C since they are
not reachable from d. Thus , post(x) <post(y) for every pair of nodes x,y,
with x in D and y in C
![Page 112: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/112.jpg)
114
DFS numbering
Corollary. The node of G with highest post number lies in a source node in G~
Observation 1. The strongly connected components are the same in G and G R
Observation 2. If a node lies in a source node of G~ then it lies in a sink node in (G R)~
![Page 113: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/113.jpg)
115
SCC algorithm
Idea: compute the SCC graph G~ = (V~,E~) with two DFS, one for G and one for its reverse GR, visiting the vertices in reverse order.
SCC(G)
1. DFS(G) to compute post[v], ∀v V
2. Compute G R
3. DFS(G R) in the order of decreasing post[v]
4. Output the vertices of each tree in the DFS forest as a separate SCC.
![Page 114: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/114.jpg)
116
Example: computing SCC
1/6
d
b
f
e
a
c
g
h
3/4
10/15
11/129/16
7/813/14
2/5
![Page 115: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/115.jpg)
117
Example: computing SCC
d
b
f
e
a
c
g
h8
1/6
d
b
f
e
a
c
g
h
3/4
10/15
11/129/16
7/813/14
2/5
16
![Page 116: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/116.jpg)
118
Example: computing SCC
d
b
f
e
a
c
g
h8
1/6
d
b
f
e
a
c
g
h
3/4
10/15
11/129/16
7/813/14
2/5
16
C
C
C
C 1
2
34
![Page 117: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/117.jpg)
4.4 Shortest Paths in a Graph
shortest path from Princeton CS department to Einstein's house
![Page 118: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/118.jpg)
120
Shortest Path Problem
Shortest path network.
Directed graph G = (V, E).
Source s, destination t.
Length ce = length of edge e. (non-negative numbers)
Shortest path problem: find shortest directed path from s to t.
Cost of path s-2-3-5-t= 9 + 23 + 2 + 16= 50.
s
3
t
2
6
7
4
5
23
18
2
9
14
15 5
30
20
44
16
11
6
19
6
cost of path = sum of edge costs in path
![Page 119: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/119.jpg)
121
Dijkstra's Algorithm
Approach
Find the node closest to the s, then the second closest, then the
third closest, and so on …
Key observation:
– the shortest path from s to the k-th closest node can be
decomposed as the shortest path from s to the i-th closest node
(for some i<k) and an edge from the i-th closest node to the k-th
closest node.
s
v
u
d(u)
S
ce
![Page 120: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/120.jpg)
122
Dijkstra's Algorithm
Dijkstra's algorithm.
Maintain a set of explored nodes S for which we have determined
the shortest path distance d(u) from s to u.
Initialize S = { s }, d(s) = 0.
Repeatedly choose unexplored node v which minimizes
add v to S, and set d(v) = (v).
,)(min)(:),(
eSuvue
cudv
s
v
u
d(u)
S
ce
shortest path to some u in explored part, followed by a single edge (u, v)
![Page 121: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/121.jpg)
123
Dijkstra's Algorithm
Dijkstra's algorithm.
Maintain a set of explored nodes S for which we have determined
the shortest path distance d(u) from s to u.
Initialize S = { s }, d(s) = 0.
Repeatedly choose unexplored node v which minimizes
add v to S, and set d(v) = (v).
Complexity (Naïve Implementation)
n loops, one for each node
(n+m) to find the the node with minimum
O(n(n+m)) time
,)(min)(:),(
eSuvue
cudv
shortest path to some u in explored part, followed by a single edge (u, v)
![Page 122: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/122.jpg)
125
Dijkstra's Algorithm: Implementation
For each unexplored node, explicitly maintain
Next node to explore = node with minimum (v).
When exploring v, for each incident edge e = (v, w), update
Efficient implementation. Maintain a priority queue of unexplored
nodes, prioritized by (v).’
† Individual ops are amortized bounds
PQ Operation
Insert
ExtractMin
ChangeKey
Binary heap
log n
log n
log n
Array
n
n
1
IsEmpty 11
Priority Queue
Total m log nn2
Dijkstra
n
n
m
n
.)(min)( :),(
eSuvue
cudv
.})( ),( {min )( ecvww
![Page 123: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/123.jpg)
126
Dijkstra's Algorithm
Dijkstra's algorithm.
Maintain a set of explored nodes S for which we have determined
the shortest path distance d(u) from s to u.
Initialize S = { s }, d(s) = 0.
Repeatedly choose unexplored node v which minimizes
add v to S, and set d(v) = (v).
s
v
u
d(u)
shortest path to some u in explored part, followed by a single edge (u, v)
S
ce
,)(min)(:),(
eSuvue
cudv
![Page 124: Chapter 3laber/03graphs.pdf · 4 3 5 7 6 S 1 BFS(G) 1 for every vertex s of G not explored yet 2 do Enqueue(S,s); 3 mark vertex s as visited 4 while S is not empty do 5 u ← Dequeue(S);](https://reader034.fdocuments.in/reader034/viewer/2022042216/5ebf20f38c8ed325544026e8/html5/thumbnails/124.jpg)
127
Dijkstra's Algorithm: Proof of Correctness
Invariant. For each node u S, d(u) is the length of the shortest s-u path.
Pf. (by induction on |S|)
Base case: |S| = 1 is trivial.
Inductive hypothesis: Assume true for |S| = k 1.
Let v be next node added to S, and let u-v be the chosen edge.
The shortest s-u path plus (u, v) is an s-v path of length (v).
Consider any s-v path P. We'll see that it's no shorter than (v).
Let x-y be the first edge in P that leaves S,
and let P' be the subpath to x.
P is already too long as soon as it leaves S.
c (P) c (P') + c (x,y) d(x) + c(x, y) (y) (v)
nonnegativeweights
inductivehypothesis
defn of (y) Dijkstra chose vinstead of y
S
s
y
v
x
P
u
P'