Graph 1
Graph 1
CS-130A Graphs.1
Biconnectivity
& %
' $
CS-130A Graphs.2
B 2/1
C D
Num(v)/Low(v)
C 3/1
F
G E
D G 7/7
4/1
E
5/4
F 6/4
& %
' $
CS-130A Graphs.3
Computation of Low(v)
minimum of
• Num(v)
• lowest Num(w) among all back edges (v,w)
• the lowest Low(w) among all tree edges (v,w).
v v
& %
' $
CS-130A Graphs.4
B C F
E G
D
C 1/1
2/1 4/1
A D
5/1
B 3/1 E 7/5
H
8/5
6/1 G
& %
F
' $
CS-130A Graphs.5
• Root is an articulation
point if it has two or more tree edges
5 4
& %
' $
CS-130A Graphs.6
& %
' $
CS-130A Graphs.7
A B
G
D C F H
E J I
& %
' $
CS-130A Graphs.8
& %
' $
CS-130A Graphs.9
Theorem
Theorem:
There is a path from u to v in G and a path from
v to u in G, if and only if u and v end up in the
same spanning tree in the 2nd DFS traversal.
Proof:
(→) If there is a path from u to v in G and a
path from v to u in G, then u and v end up in the
same spanning tree in the 2nd DFS traversal.
u
v
& %
' $
CS-130A Graphs.10
Proof: Cont’
& %
' $
CS-130A Graphs.11
Theorem
u x v
u v
dfs(x)
Not possible
dfs(u)
dfs(x) Not possible, there is a path from u to x in G
dfs(u)
& %
path from x to v. This concludes the proof.