connectivity and paths 報告人:林清池. connectivity a separating set of a graph g is a set...

53
Connectivity and Paths 報報報 報報報

Upload: gervase-mervyn-moore

Post on 17-Jan-2016

226 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Connectivity and Paths

報告人:林清池

Page 2: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Connectivity

A separating set of a graph G is a set such that G-S has more than one component.

The connectivity of 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.

)(GVS

)(G

Page 3: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Example

.1)( nKn

}.,min{)( , nmK nm

.0)( 1 K

Page 4: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Hypercube

The K-dimensional cube is the simple graph whose vertices are the k-tuples with entries in and whose edges are the pairs of k-tuples that differ in exactly one position.

}1,0{

kQ

111011

101001

110010

100000

3Q

Page 5: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

The neighbors of one vertex in form a separating set, so . To prove , we show that every separating set has size at least .

Prove by induction on . Basis step: For , is a complete graph w

ith vertices and has connectivity .

kQk )(kQ

k

k

kQk )(

kQk )(

1k kQ1k

Page 6: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

An example: Induction step: Let S be a vertex cut in Case 1: If Q-S is connected and Q’-S is

connected, then , for .

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 . We have .

kS k 12||

kQ

kQk )(

2k

'Q1' kQQQQ

'Q

kS ||

Page 7: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Harary graphs Given k <n, place n vertices

around a circle. If k is even, form by making each vertex adjacent to the nearest k/2 vertices in each direction around the circle.

nkH ,

nkH ,

8,4H

Page 8: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Harary graphs If k is odd and n is even, form

by making each vertex adjacent to the nearest (k-1)/2 vertices in each direction around the circle and to the diametrically opposite vertex.

nkH ,

nkH ,

8,5H

Page 9: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Harary graphs If k and n are both odd, index the

vertices by the integers modulo n. Construct form by adding the edges for

nkH ,

nkH ,

9,5H

2/)1( niinkH ,1

.2/)1(0 ni

2

1

3

45

6

7

0 8

Page 10: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Harary graphs Theorem. , and hence

the minimum number of edges is a k-connected graph on n vertices is

kH nk )( ,

2/kn

Page 11: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Harary graphs Proof. (Only the even case k =2r. Pigeonhole)

Since , it suffices to prove 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.

.)( kG kG )(

Page 12: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Harary graphs nkH ,

8,4H

u

v

Page 13: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Edge-Connectivity

A disconnecting set of a graph G is a set such that G-F has more than one component.

The edge-connectivity of 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.

)(GEF

)(' G

Page 14: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Edge-Connectivity

An edge cut is an edge set of the form where is a nonempty proper subset of and denotes SGV )(

SS,

S)(GV

S

Disconnecting set

S

S

Edge cut

Page 15: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem

If G is a simple graph, then Proof: , trivial. Case 1: if every vertex of is adjacent to every

vertex of , then

)()(')( GGG

)()(' GG

S

S

)(1)(|||||,| GGnSSSS

S S

Page 16: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem Case 2: , with

: consist of all neighbors of in and

all vertices of with neighbors in .

is a separating set

picking the red edges yields |T| distinct

edges.

Sy

S S

Sx )(GExy

x

y

TT

TTT

T x S

}{xS S

T

)(||,)(' GTSSG

Page 17: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Example

3)(,2)(',1)( GGG

Page 18: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem

)(')( GG If G is a 3-regular graph, then

Proof: S

H 'H

Page 19: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem

)(')( GG If G is a 3-regular graph, then

Proof: S

H 'H

Page 20: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem

)(')( GG If G is a 3-regular graph, then

Proof: S

H 'H

Page 21: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem

)(')( GG If G is a 3-regular graph, then

Proof: S

H 'H

Page 22: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Definition

A Bond is a minimal nonempty edge cut.

Here “minimal” means that no proper nonempty subset is also an edge cut.

Page 23: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Proposition If is a connected graph, then an

edge cut is a bound if and only if has exactly two components.

Proof: is a subset of . is

connected.

S

S

SSF ,

'F F

G

F FG

'FG

'FG

Page 24: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Proposition If is a connected graph, then an

edge cut is a bound if and only if has exactly two components.

Proof: Suppose has more than two component. and are proper subsets of , so is not a bound.

SS

AA,

G

F FG

FG

B

A

BB,FF

Page 25: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Definition A Block of a graph is a maximal conne

cted subgraph of G that has no cut-vertex.

A connected graph with on cut-vertex need not be 2-connected, since it can be or . 1K 2K

Page 26: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Proposition Two blocks in a graph share at most one

vertex.Proof:

Suppose for a contradiction. and 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.

2B1B

Page 27: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Definition The block-cutpoint graph of a graph G is a bip

artite graph H in which one partite set consists of the cut-vertices of G, and the other has a vertex for each block of G. We include as an edge of H if and only if .

ib iB

ivbiBv

h

g

d

b

ac

i

f

e

x

j

xea

5b

4b

3b 2b1b

Page 28: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Algorithm

h

g

d

b

ac

i

f

e

x

j

xa

b

c

d

e

f

gh

j

i

Computing the blocks of a graph.

Page 29: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Algorithm

h

g

d

b

ac

i

f

e

x

j

xa

e

f

gh

j

i

Computing the blocks of a graph.

Page 30: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Algorithm

h

g

d

b

ac

i

f

e

x

j

xa

e

j

i

Computing the blocks of a graph.

Page 31: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Algorithm

h

g

d

b

ac

i

f

e

x

j

xa

e

j

Computing the blocks of a graph.

Page 32: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Definition Two paths from u to v are internally

disjoint if they have no common internal vertex.

Page 33: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem

G is 2-connected if and only if for

each for each pair 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.

)(, GVvu

Page 34: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem Prove by induction on Basis step.

The graph G-uv is connected.

Induction step. Let w be the vertex before v on a shortest u,v pa

th;

),( vud

w vu

P

Q

Page 35: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem

Case 1: if , 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.

)()(, QVPVvu

w vu

P

Q

zR

w vu

P

Q

zR

Page 36: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Expansion Lemma If G is a k-connected, and G’ is obtained from G b

y adding a new vertex y with at least k neighbors in G, then G’ is k-connected.

Case 1: if , then Case 2: if and , then Case 3: and lie in a single component of

, then

yG

Sy .1|| kS

SyN )(Sy .|| kS

y SyN )(

SG ' .|| kS

Page 37: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem For a graph G with at least three vertices,

the following condition are equivalent. G is connected and no cut-vertex. For , there are internally disjoint x, y

paths.

For , there is a cycle through x and y.

, and every pair of edges in G lies on a

common cycle.

)(, GVyx

)(, GVyx

1)( G

Page 38: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Definition In a graph G, subdivision of an edge uv is the op

eration of replacing uv with a path u, w, v through a new vertex w.

u v u vw

Page 39: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Corollary If G is a 2-connected, then the graph G’ obtaine

d by subdividing an edge of G is 2-connected. Proof: It suffices to find a cycle through arbitrary edges e,f o

f 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 and , then … Case 3: if , then …

},{ wvuwf

},{},{ wvuwfe )(GEe

Page 40: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

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

such that is a cycle and for

is an ear of .

kPP ,,0 1i

4P

0P iP

kPP 0 3P

2P 1P0P

Page 41: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

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.

4P

3P

2P 1P0P

Page 42: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem

4P

3P

2P 1P0P

4P

3P

2P 1P0P

Page 43: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

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 G is a

decomposition such that is a

cycle and for is either an

(open) ear or a closed ear in .

kPP ,,0

1i

4P

0P

iP

kPP 03P

2P 1P0P

5P

Page 44: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

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.

Case 2: when adding a open ear , …

4P

3P

2P 1P0P

2P

Page 45: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem Proof:

4P2P 1P

0P

4P

3P

2P 1P0P

5P2P5P

3P

Page 46: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Theorem Proof:

4P

3P

2P 1P0P

Page 47: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Connectivity of Digraphs

A separating set of a digraph D is a set such that D-S is not strongly connected.

The connectivity of G, 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.

)(DVS

)(D

Page 48: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

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 for

some . A diagraph is k-edge-

connected if every edge cut has at least k

edges.

The minimum size of an edge cut is the edge-

connected

).(' D

SS,

)(DVS

Page 49: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Proposition Adding a directed ear to a strong digraph

produces a larger strong digraph.

Page 50: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

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 orientatio

n 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.

Page 51: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Definition

Given , a set is an x,y separator or x, y-cut if G-S has no x, y-path.

Let be the minimum size of an x,y-cut. Let be the maximum size of a set of pairwise inter

nally disjoint x, y-paths. For , an X, Y-path is a graph having first vertex i

n X, last vertex in Y, and no other vertex in

)(, GVyx

.YX )(, GVYX

),( yx

},{)( yxGVS

),( yx

Page 52: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

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).,(),( yxyx

Page 53: Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,

Example Although , it takes four edges to break

all w, z-paths, and there are four pairwise edge-disjoint w, z-paths.

4),(),( yxyx

y

zw

x

3),(),( zwzw

3),( zw