Upload
walden
View
53
Download
0
Tags:
Embed Size (px)
DESCRIPTION
CSC401 – Analysis of Algorithms Lecture Notes 15 Directed Graphs. Objectives: Introduce directed graphs and weighted graphs Present algorithms performed on directed graphs: Reachability transitive closure DAG. E. D. C. B. A. Digraphs. - PowerPoint PPT Presentation
Citation preview
11
CSC401 – Analysis of Algorithms Lecture Notes 15
Directed GraphsDirected Graphs
Objectives:Objectives: Introduce directed graphs and weighted Introduce directed graphs and weighted
graphsgraphs Present algorithms performed on directed Present algorithms performed on directed
graphs:graphs:– ReachabilityReachability– transitive closuretransitive closure– DAGDAG
22
DigraphsDigraphsA A digraphdigraph is a is a graph whose edges graph whose edges are all directedare all directed– Short for “directed Short for “directed
graph”graph”ApplicationsApplications– one-way streetsone-way streets– flightsflights– task schedulingtask scheduling A
C
E
B
D
33
Digraph PropertiesDigraph Properties
A graph G=(V,E) such thatA graph G=(V,E) such that– Each edge goes in one direction:Each edge goes in one direction:
Edge Edge (a,b(a,b) goes ) goes from a to bfrom a to b, but , but not b to a.not b to a.If G is simple, m If G is simple, m << n*(n-1). n*(n-1).If we keep in-edges and out-edges in If we keep in-edges and out-edges in separate adjacency lists, we can perform separate adjacency lists, we can perform listing of in-edges and out-edges in time listing of in-edges and out-edges in time proportional to their size.proportional to their size.
A
C
E
B
D
44
Digraph ApplicationDigraph ApplicationScheduling:Scheduling: edge edge (a,b(a,b) means task ) means task a must a must be completed before b can be startedbe completed before b can be started
The good life
ics141ics131 ics121
ics53 ics52ics51
ics23ics22ics21
ics161
ics151
ics171
55
Directed DFSDirected DFSWe can specialize the We can specialize the traversal algorithms (DFS traversal algorithms (DFS and BFS) to digraphs by and BFS) to digraphs by traversing edges only along traversing edges only along their directiontheir directionIn the directed DFS In the directed DFS algorithm, we have four algorithm, we have four types of edgestypes of edges– discovery edgesdiscovery edges– back edgesback edges– forward edgesforward edges– cross edgescross edges
A directed DFS starting a a A directed DFS starting a a vertex vertex ss determines the determines the vertices reachable from vertices reachable from ss
A
C
E
B
D
66
ReachabilityReachability DFS DFS treetree rooted at v: vertices rooted at v: vertices reachable from v via directed reachable from v via directed pathspaths
A
C
E
B
D
FA
C
E D
A
C
E
B
D
F
Strong Strong ConnectivityConnectivity
Each vertex Each vertex can reach all can reach all other verticesother vertices
a
d
c
b
e
f
g
77
Pick a vertex v in G.Pick a vertex v in G.Perform a DFS from v in G.Perform a DFS from v in G.– If there’s a w not visited, print If there’s a w not visited, print
“no”.“no”.Let G’ be G with edges Let G’ be G with edges reversed.reversed.Perform a DFS from v in G’.Perform a DFS from v in G’.– If there’s a w not visited, print If there’s a w not visited, print
“no”.“no”.– Else, print “yes”.Else, print “yes”.
Running time: O(n+m).Running time: O(n+m).
Strong Connectivity AlgorithmStrong Connectivity Algorithm
G:
G’:
a
d
c
be
f
g
a
d
c
be
f
g
88
Maximal subgraphs such that each vertex Maximal subgraphs such that each vertex can reach all other vertices in the subgraphcan reach all other vertices in the subgraphCan also be done in O(n+m) time using DFS, Can also be done in O(n+m) time using DFS, but is more complicated (similar to but is more complicated (similar to biconnectivity).biconnectivity).
Strongly Connected ComponentsStrongly Connected Components
{ a , c , g }
{ f , d , e , b }
a
d
c
be
f
g
99
Transitive ClosureTransitive ClosureGiven a digraph Given a digraph GG, the , the transitive closure of transitive closure of GG is is the digraph the digraph G*G* such that such that– G*G* has the same has the same
vertices as vertices as GG– if if GG has a directed has a directed
path from path from uu to to v v ((u u v v), ), G*G* has a directed edge has a directed edge from from uu to to vv
The transitive closure The transitive closure provides reachability provides reachability information about a information about a digraphdigraph
B
A
D
C
E
B
A
D
C
E
G
G*
1010
Computing the Transitive ClosureComputing the Transitive ClosurePerform DFS starting at each vertex: O(n(n+m))Perform DFS starting at each vertex: O(n(n+m))Alternatively ... Use dynamic programming: The Floyd-Warshall Algorithm– If there's a way to get from A to B and from B to C, then
there's a way to get from A to C.– Idea #1: Number the vertices 1, 2, …, n.Idea #1: Number the vertices 1, 2, …, n.– Idea #2: Consider paths that use only vertices numbered 1, Idea #2: Consider paths that use only vertices numbered 1,
2, …, k, as intermediate vertices:2, …, k, as intermediate vertices:
k
j
i
Uses only verticesnumbered 1,…,k-1 Uses only vertices
numbered 1,…,k-1
Uses only vertices numbered 1,…,k(add this edge if it’s not already in)
1111
Floyd-Warshall’s AlgorithmFloyd-Warshall’s AlgorithmFloyd-Warshall’s algorithm Floyd-Warshall’s algorithm numbers the vertices of numbers the vertices of GG as as vv1 1 , …, v, …, vnn and computes a and computes a series of digraphs series of digraphs GG00, …, G, …, Gnn
– GG00==GG – GGkk has a directed edge has a directed edge ((vvii, v, vjj) )
if if G G has a directed path has a directed path from from vvii to to vvjj with with intermediate vertices in the intermediate vertices in the set set {{vv1 1 , …, v, …, vkk}}
We have that We have that GGn n = = G*G*In phase In phase kk, digraph , digraph GGkk is is computed from computed from GGk k 11
Running time: O(nRunning time: O(n33), ), assuming areAdjacent is assuming areAdjacent is O(1) (e.g., adjacency O(1) (e.g., adjacency matrix)matrix)
Algorithm FloydWarshall(G)Input digraph GOutput transitive closure G* of Gi 1for all v G.vertices()
denote v as vi
i i + 1G0 Gfor k 1 to n do
Gk Gk 1
for i 1 to n (i k) dofor j 1 to n (j i, k) do
if Gk 1.areAdjacent(vi, vk) Gk 1.areAdjacent(vk, vj)
if Gk.areAdjacent(vi, vj) Gk.insertDirectedEdge(vi, vj , k)
return Gn
1212
Floyd-Warshall ExampleFloyd-Warshall Example
JFK
BOS
MIA
ORD
LAXDFW
SFO
v2
v1v3
v4
v5
v6
v7
1313
Floyd-Warshall, Iteration 1Floyd-Warshall, Iteration 1
JFK
BOS
MIA
ORD
LAXDFW
SFO
v2
v1v3
v4
v5
v6
v7
1414
Floyd-Warshall, Iteration 2Floyd-Warshall, Iteration 2
JFK
BOS
MIA
ORD
LAXDFW
SFO
v2
v1v3
v4
v5
v6
v7
1515
Floyd-Warshall, Iteration 3Floyd-Warshall, Iteration 3
JFK
BOS
MIA
ORD
LAXDFW
SFO
v2
v1v3
v4
v5
v6
v7
1616
Floyd-Warshall, Iteration 4Floyd-Warshall, Iteration 4
JFK
BOS
MIA
ORD
LAXDFW
SFO
v2
v1v3
v4
v5
v6
v7
1717
Floyd-Warshall, Iteration 5Floyd-Warshall, Iteration 5
JFK
MIA
ORD
LAXDFW
SFO
v2
v1v3
v4
v5
v6
v7
BOS
1818
Floyd-Warshall, Iteration 6Floyd-Warshall, Iteration 6
JFK
MIA
ORD
LAXDFW
SFO
v2
v1v3
v4
v5
v6
v7
BOS
1919
Floyd-Warshall, ConclusionFloyd-Warshall, Conclusion
JFK
MIA
ORD
LAXDFW
SFO
v2
v1v3
v4
v5
v6
v7
BOS
2020
DAGs and Topological OrderingDAGs and Topological OrderingA directed acyclic graph (DAG) A directed acyclic graph (DAG) is a digraph that has no directed is a digraph that has no directed cyclescyclesA topological ordering of a A topological ordering of a digraph is a numbering digraph is a numbering
vv1 1 , …, v, …, vnn of the vertices such that for of the vertices such that for every edge every edge ((vvi i , v, vjj)), we have , we have i i j j
Example: in a task scheduling Example: in a task scheduling digraph, a topological ordering digraph, a topological ordering a task sequence that satisfies a task sequence that satisfies the precedence constraintsthe precedence constraints
TheoremTheoremA digraph admits a topological A digraph admits a topological ordering if and only if it is a ordering if and only if it is a DAGDAG
B
A
D
C
E
DAG G
B
A
D
C
E
Topological ordering of
G
v1
v2
v3
v4 v5
2121
write c.s. program
play
Topological SortingTopological SortingNumber vertices, so that (u,v) in E implies Number vertices, so that (u,v) in E implies u < vu < v
wake up
eat
nap
study computer sci.
more c.s.
work out
sleep
dream about graphs
A typical student day1
2 3
4 5
6
7
8
9
1011
make cookies for professors
2222
Note: This algorithm is different than Note: This algorithm is different than the one in Goodrich-Tamassiathe one in Goodrich-Tamassia
Running time: O(n + m). How…?Running time: O(n + m). How…?
Algorithm for Topological SortingAlgorithm for Topological Sorting
Method TopologicalSort(G) H G // Temporary copy of G n G.numVertices() while H is not empty do
Let v be a vertex with no outgoing edgesLabel v nn n - 1Remove v from H
2323
Topological Sorting Algorithm using DFSTopological Sorting Algorithm using DFS
Simulate the algorithm by Simulate the algorithm by using depth-first searchusing depth-first search
O(n+m) time.O(n+m) time.
Algorithm topologicalDFS(G, v)Input graph G and a start vertex v of G Output labeling of the vertices of G
in the connected component of v setLabel(v, VISITED)for all e G.incidentEdges(v)
if getLabel(e) UNEXPLORED
w opposite(v,e)if getLabel(w)
UNEXPLOREDsetLabel(e, DISCOVERY)topologicalDFS(G, w)
else{e is a forward or cross edge}
Label v with topological number n n n - 1
Algorithm topologicalDFS(G)Input dag GOutput topological ordering of G
n G.numVertices()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
topologicalDFS(G, v)
2424
Topological Sorting ExampleTopological Sorting Example
2525
Topological Sorting ExampleTopological Sorting Example
9
2626
Topological Sorting ExampleTopological Sorting Example
8
9
2727
Topological Sorting ExampleTopological Sorting Example
78
9
2828
Topological Sorting ExampleTopological Sorting Example
78
6
9
2929
Topological Sorting ExampleTopological Sorting Example
78
56
9
3030
Topological Sorting ExampleTopological Sorting Example
7
4
8
56
9
3131
Topological Sorting ExampleTopological Sorting Example
7
4
8
56
3
9
3232
Topological Sorting ExampleTopological Sorting Example 2
7
4
8
56
3
9
3333
Topological Sorting ExampleTopological Sorting Example 2
7
4
8
56
1
3
9