Download connected

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Birkhoff's representation theorem wikipedia , lookup

Dessin d'enfant wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Centrality wikipedia , lookup

Dual graph wikipedia , lookup

Signal-flow graph wikipedia , lookup

Transcript
Connectivity and Paths
報告人:林清池
Connectivity



A separating set of a graph G is a set
S  V (G ) such that G-S has more than one
component.
The connectivity of G,  (G ) is the minimum
size of a vertex set S such that G-S is
disconnected or has only one vertex.
A graph G is k-connected if its
connectivity is at least k.
Example

 ( Kn )  n  1.

 ( K m ,n )  min{ m, n}.

 ( K1 )  0.
Hypercube

The K-dimensional cube Qk is the simple
graph whose vertices are the k-tuples with
entries in {0,1} and whose edges are the pairs
of k-tuples that differ in exactly one position.
011
010
Q3
110
001
000
111
100
101
 (Qk )  k


The neighbors of one vertex in Qk form a
separating set, so  (Qk ). Tok prove
, we
 (Qk )  that
k
show
every separating set has size at
k
least .
Prove by induction on .

Basis step: For k  1 , Qk is a complete graph
with k  1 vertices and has connectivity k .
An example:  (Qk )  k



Induction step: Let S be a vertex cut in Qk
Case 1: If Q-S is connected and Q’-S is
k 1
connected, then | S | 2  k , for k  2 .
Case 2: If Q-S is disconnected, which
means S has at least k-1 vertex in Q. And,
S must also contain a vertex of Q ' . We
have | S | k .
Q
Q'
Q  Q'  Qk 1
Harary graphs

H k ,n
Given k <n, place n vertices around a
circle. If k is even, form H k ,n by making
each vertex adjacent to the nearest k/2
vertices in each direction around the
circle.
H 4 ,8
Harary graphs

H k ,n
If k is odd and n is even, form H k ,n by
making each vertex adjacent to the
nearest (k-1)/2 vertices in each
direction around the circle and to the
diametrically opposite vertex.
H 5,8
Harary graphs

H k ,n
If k and n are both odd, index the
vertices by the integers modulo n.
Construct H k ,n form H k 1,n by adding the
edges i  i  (n  1) / 2 for 0  i  (n  1) / 2.
4
5
3
2
6
1
7
0
8
H 5, 9
Harary graphs

Theorem.  ( H k ,n )  k , and hence the
minimum number of edges is a kconnected graph on n vertices is kn / 2
Harary graphs
Proof. (Only the even case k =2r. Pigeonhole)






Since  (G )  k , it suffices to prove
 (G )  k .
Clockwise u,v paths and counterclockwise u,v
paths.
Let A and B be the sets of internal vertices on
these two paths.
One of {A, B} has fewer that k/2 vertices.
Thus, we can find a u,v path in G-S via the set A
or B in which S has fewer than k/2 vertices.
Harary graphs
H k ,n
u
H 4 ,8
v
Edge-Connectivity



A disconnecting set of a graph G is a
set F  E (G )such that G-F has more than
one component.
The edge-connectivity of G,  ' (G ) is
the minimum size of a disconnecting
set.
A graph G is k-edge-connected if
every disconnecting set has at least k
edges.
Edge-Connectivity

An edge cut is an edge set of the form
S, S 
where S is a nonempty proper
subset of V (G ) and S denotes V (G )  S
S
S
Disconnecting set
Edge cut
Theorem

If G is a simple graph, then  (G )   ' (G )   (G )
Proof:  ' (G )   (G ) , trivial.
Case 1: if every vertex of S is adjacent to every
vertex of S , then | S , S || S || S | n(G )  1   (G )
S
S
Theorem

Case 2: x  S , y  S with xy  E (G )
T : consist of all neighbors of x in S and all
vertices of S  {x}
 T
with neighbors in S .
is a separating set
picking the red edges yields |T| distinct edges.
  ' (G )  S , S  | T |  (G )
x
S
T
T
T
T
T
y
S
Example
 (G )  1,  ' (G )  2,  (G )  3
Theorem

If G is a 3-regular graph, then  (G )   ' (G )
Proof:
S
H
H'
Theorem

If G is a 3-regular graph, then  (G )   ' (G )
Proof:
S
H
H'
Theorem

If G is a 3-regular graph, then  (G )   ' (G )
Proof:
S
H
H'
Theorem

If G is a 3-regular graph, then  (G )   ' (G )
Proof:
S
H
H'
Definition


A Bond is a minimal nonempty edge
cut.
Here “minimal” means that no
proper nonempty subset is also an
edge cut.
Proposition

If G is a connected graph, then an edge
cut F is a bound if and only if G  F has
exactly two components.
Proof:
F ' is a subset of F . G  F ' is connected.
 
G  F'
F  S, S
S
S
Proposition
If G is a connected graph, then an edge
cut F is a bound if and only if G  F has
exactly two components.
Proof: Suppose G  F has more than two
component. B, B  and A, A are proper
subsets of F , so F is not a bound.

A
S
B
S
Definition


A Block of a graph is a maximal
connected subgraph of G that has no
cut-vertex.
A connected graph with on cut-vertex
need not be 2-connected, since it can
be K1 or K2 .
Proposition

Two blocks in a graph share at most one
vertex.
Proof:
Suppose for a contradiction. B1 and B2
have at least two common vertices.
Since the blocks have at least two common
vertices, deleting one singe vertex, what
remains is connected. A contradiction.
Definition

The block-cutpoint graph of a graph G is a
bipartite graph H in which one partite set
consists of the cut-vertices of G, and the other
has a vertex bi for each block Bi of G. We include
vbi as an edge of H if and only if v  Bi .
b
c
h
i
a
d
b5
e
x
g b1
f
j
b3
b2
a
e
x
b4
Algorithm

Computing the blocks of a graph.
x
b
c
a
d
a
h
i
e
x
g
f
b
j
i
e
c
f
j
g
d
h
Algorithm

Computing the blocks of a graph.
x
b
c
a
h
i
a
e
j
g
i
e
d
x
f
f
j
g
h
Algorithm

Computing the blocks of a graph.
x
b
c
a
h
i
a
e
j
g
e
d
x
f
j
i
Algorithm

Computing the blocks of a graph.
x
b
c
a
h
i
a
e
j
g
e
d
x
f
j
Definition

Two paths from u to v are internally
disjoint if they have no common internal
vertex.
Theorem

G is 2-connected if and only if for each for
each pair u, v V (G )
there exist internally
disjoint u,v paths in G.
Proof: Since for every pair u,v, G has
internally disjoint u,v paths, deletion of one
vertex cannot make any vertex
unreachable from any other.
Theorem

Prove by induction on d (u, v )
Basis step.
The graph G-uv is connected.
Induction step.
Let w be the vertex before v on a shortest u,v
path;
P
u
w
Q
v
Theorem

Case 1: if u, v V ( P)  V (Q ) , done.

Case 2: G-w is connected and contains a
u,v path R. If R avoids P or Q, done.

Case 3: Let z be the last vertex of R.
P
u
Q
R
P
z
w
v
u
Q
R
z
w
v
Expansion Lemma
If G is a k-connected, and G’ is obtained from G by

adding a new vertex y with at least k neighbors in G,
then G’ is k-connected.

Case 1: if y  S, then | S | k  1.

Case 2: if y  S and N ( y )  S , then | S | k .

Case 3: y and N ( y )  S lie in a single component
of G'S , then | S | k .
G
y
Theorem
For a graph G with at least three vertices, the

following condition are equivalent.

G is connected and no cut-vertex.

For x, y  V (G ), there are internally disjoint x, y paths.

For x, y  V (G ), there is a cycle through x and y.

 (G )  1 , and every pair of edges in G lies on a common
cycle.
Definition

In a graph G, subdivision of an edge uv is the
operation of replacing uv with a path u, w, v
through a new vertex w.
u
v
u
w
v
Corollary
If G is a 2-connected, then the graph G’ obtained

by subdividing an edge of G is 2-connected.
Proof: It suffices to find a cycle through arbitrary edges e,f
of G’. Since G is 2-connected, any two edges of G lie on a
common cycle.

Case 1: if a cycle through them in G uses uv, then replace the
edge uv with a path u,w,v.

Case 2: if e  E (G ) and f  {uw, wv}, then …

Case 3: if {e, f }  {uw, wv}, then …
Definition

An ear of a graph G is a maximal path whose
internal vertices have degree 2 in G.

An ear decomposition of G is a decomposition
P0 ,, Pk such that P0 is a cycle and Pi for i  1
is an ear of P0   Pk .
P
3
P0
P2
P4
P1
Theorem

A graph is 2-connected if and only if it has an ear
decomposition.
Proof:  Since cycles are 2-connected, it suffices to show
that adding an ear preserves 2-connectedness. Trivial.

P3
P0
P2
P4
P1
Theorem
P3
P0
P2
P1
P3
P4
P0
P2
P4
P1
Definition

An close ear in a graph G is a cycle C such that
all vertices of C expect one have degree 2 in G

An
close-ear
decomposition
of
decomposition P0 ,, Pk such that P0
and
G
is
a
is a cycle
Pi for i  1 is either an (open) ear or a
closed ear in P0   Pk .
P3
P0
P5
P2
P4
P1
Theorem

A graph is 2-edge-connected if and only if it has
an closed-ear decomposition.
Proof:  G is 2-edge-connected if and only if every edge
lies on a cycle.
Case 1: when adding a closed ear, Trivial.
P3
Case 2: when adding a open ear P2 , …
P0
P2
P4
P1
Theorem
Proof: 

P3
P0
P5
P2
P4
P3
P1
P0
P5
P2
P4
P1
Theorem

Proof: 
P3
P0
P2
P4
P1
Connectivity of Digraphs



A separating set of a digraph D is a set
S  V (D ) such that D-S is not strongly
connected.
The connectivity of G,  (D ) is the minimum
size of a vertex set S such that D-S is not
strong or has only one vertex.
A graph G is k-connected if its connectivity is
at least k.
Edge-Connectivity of Digraphs

For vertex sets S, T in a digraph D, let [S,T] denote the
set of edges with tail in S and head in T.

An edge cut is an edge set of the form
S, S 
for
some   S  V (D ) . A diagraph is k-edge-connected
if every edge cut has at least k edges.

The minimum size of an edge cut is the edgeconnected
 ' ( D ).
Proposition

Adding a directed ear to a strong digraph
produces a larger strong digraph.
Theorem

A graph has a strong orientation if and only if it is
2-edge-connected.
Proof:If G has a cut-edge xy oriented from x to y in an
orientation D, then y cannot reach x in D.
 1.) G has a closed-ear decomposition.
2.) Orient the initial cycle consistently to
obtain a strong diagraph.
3.) Directing new ear consistently.
Definition




Given x, y V (G ) , a set S  V (G )  {x, y}
is an x,y
separator or x, y-cut if G-S has no x, y-path.
Let
 ( x, y ) be the minimum size of an x,y-cut.
Let  ( x , y ) be the maximum size of a set of pairwise
internally disjoint x, y-paths.
For X , Y  V ,(Gan
) X, Y-path is a graph having first vertex
in X, last vertex in Y, and no other vertex in
X Y.
Remark

An x, y-cut must contain an internal vertex of
every x, y-path, and no vertex can cut two
internally disjoint x,y-paths. Therefore, always
 ( x, y )   ( x, y ).
Example

Although  ( w, z )  3 , it takes four edges to
break all w, z-paths, and there are four
pairwise edge-disjoint w, z-paths.
x
w
z
y
 ( x, y )   ( x, y )  4
 ( w, z )   ( w, z )  3