graph4 - sjtubasics.sjtu.edu.cn/~chen/teaching/gr08/graph4.pdf · 2008. 10. 8. · graph theory(iv)...

172
Page 1 G RAPH T HEORY Yijia Chen Shanghai Jiaotong University 2008/2009 Shanghai

Upload: others

Post on 12-Sep-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

Page 1

GRAPH THEORY

Yijia ChenShanghai Jiaotong University

2008/2009

Shanghai

Page 2: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 2

Chapter 3. Connectivity

Shanghai

Page 3: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 3

G is called k-connected (for k ∈ N) if |G| > k and G − X is connected for every set

X ⊆ V with |X | < k.

Shanghai

Page 4: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 3

G is called k-connected (for k ∈ N) if |G| > k and G − X is connected for every set

X ⊆ V with |X | < k.

A graph is k-connected if and only if any two (distinct) vertices can be joined by k

independent paths.

Shanghai

Page 5: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 4

3.1 2-Connected graphs and subgraphs

Shanghai

Page 6: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 4

3.1 2-Connected graphs and subgraphs

A maximal connected subgraph without a cutvertex is called a block.

Shanghai

Page 7: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 4

3.1 2-Connected graphs and subgraphs

A maximal connected subgraph without a cutvertex is called a block.

Thus, every block of a graph G is either a maximal 2-connected subgraph, or a bridge (with

its ends), or an isolated vertex.

Shanghai

Page 8: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 4

3.1 2-Connected graphs and subgraphs

A maximal connected subgraph without a cutvertex is called a block.

Thus, every block of a graph G is either a maximal 2-connected subgraph, or a bridge (with

its ends), or an isolated vertex. Conversely, every such subgraph is a block.

Shanghai

Page 9: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 4

3.1 2-Connected graphs and subgraphs

A maximal connected subgraph without a cutvertex is called a block.

Thus, every block of a graph G is either a maximal 2-connected subgraph, or a bridge (with

its ends), or an isolated vertex. Conversely, every such subgraph is a block.

By their maximality, different blocks of G overlap in at most one vertex, which is then a

cutvertex of G.

Shanghai

Page 10: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 4

3.1 2-Connected graphs and subgraphs

A maximal connected subgraph without a cutvertex is called a block.

Thus, every block of a graph G is either a maximal 2-connected subgraph, or a bridge (with

its ends), or an isolated vertex. Conversely, every such subgraph is a block.

By their maximality, different blocks of G overlap in at most one vertex, which is then a

cutvertex of G.

Hence, every edge of G lies in a unique block, and G is the union of its blocks.

Shanghai

Page 11: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 5

If {V1, V2} is a partition of V , the set E(V1, V2) of all the edges of G crossing this partition

is called a cut (or cocycle).

Shanghai

Page 12: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 5

If {V1, V2} is a partition of V , the set E(V1, V2) of all the edges of G crossing this partition

is called a cut (or cocycle). Recall that for V1 = {v} this cut is denoted by E(v).

Shanghai

Page 13: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 5

If {V1, V2} is a partition of V , the set E(V1, V2) of all the edges of G crossing this partition

is called a cut (or cocycle). Recall that for V1 = {v} this cut is denoted by E(v).

A minimal non-empty cut in G is a bond.

Shanghai

Page 14: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 5

If {V1, V2} is a partition of V , the set E(V1, V2) of all the edges of G crossing this partition

is called a cut (or cocycle). Recall that for V1 = {v} this cut is denoted by E(v).

A minimal non-empty cut in G is a bond.

Lemma. (i) The cycles of G are precisely the cycles of its blocks.

(ii) The bonds of G are precisely the minimal cuts of its blocks.

Shanghai

Page 15: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 6

Let A denote the set of cutvertices of G, and B the set of its blocks.

Shanghai

Page 16: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 6

Let A denote the set of cutvertices of G, and B the set of its blocks.

The block graph of G is a bipartite graph on A ∪ B with partition {A, B} and edges aB

with a ∈ B.

Shanghai

Page 17: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 6

Let A denote the set of cutvertices of G, and B the set of its blocks.

The block graph of G is a bipartite graph on A ∪ B with partition {A, B} and edges aB

with a ∈ B.

Proposition. The block graph of a connected graph is a tree.

Shanghai

Page 18: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 7

Proposition. A graph is 2-connected if and only if it can be constructed from a cycle by

successively adding H-paths to graphs H already constructed.

Shanghai

Page 19: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 8

3.2 The structure of 3-connected graphs

Shanghai

Page 20: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 8

3.2 The structure of 3-connected graphs

Lemma. If G is 3-connected and |G| > 4, then G has an edge e such that G/e ia again

3-connected.

Shanghai

Page 21: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 8

3.2 The structure of 3-connected graphs

Lemma. If G is 3-connected and |G| > 4, then G has an edge e such that G/e ia again

3-connected.

Recall, G/e is a graph (V ′, E′) with vertex set V ′ := (V \ {x, y}) ∪ {ve} (where ve is the

‘new’ vertex, i.e., ve /∈ V ∪ E) and edge set

E′ :={

vw ∈ E∣∣ {v, w} ∩ {x, y} = ∅

}

∪{

vew∣∣ xw ∈ E \ {e} or yw ∈ E \ {e}

}.

Shanghai

Page 22: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 9

Proof.

Shanghai

Page 23: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 9

Proof.

Suppose there is no such edge e. Then, for every edge xy ∈ G, the graph G/xy contains a

separator S of at most 2 vertices, i.e., G/xy − S is disconnected.

Shanghai

Page 24: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 9

Proof.

Suppose there is no such edge e. Then, for every edge xy ∈ G, the graph G/xy contains a

separator S of at most 2 vertices, i.e., G/xy − S is disconnected.

Since κ(G) ≥ 3, the contracted vertex vxy of G/xy lies in S and |S| = 2, i.e. G has a vertex

z /∈ {x, y} such that {vxy, z} separates G/xy.

Shanghai

Page 25: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 9

Proof.

Suppose there is no such edge e. Then, for every edge xy ∈ G, the graph G/xy contains a

separator S of at most 2 vertices, i.e., G/xy − S is disconnected.

Since κ(G) ≥ 3, the contracted vertex vxy of G/xy lies in S and |S| = 2, i.e. G has a vertex

z /∈ {x, y} such that {vxy, z} separates G/xy.

Then any two vertices separated by {vxy, z} in G/xy are separated in G by T := {x, y, z}.

Shanghai

Page 26: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 9

Proof.

Suppose there is no such edge e. Then, for every edge xy ∈ G, the graph G/xy contains a

separator S of at most 2 vertices, i.e., G/xy − S is disconnected.

Since κ(G) ≥ 3, the contracted vertex vxy of G/xy lies in S and |S| = 2, i.e. G has a vertex

z /∈ {x, y} such that {vxy, z} separates G/xy.

Then any two vertices separated by {vxy, z} in G/xy are separated in G by T := {x, y, z}.

Since no proper subset of T separates G, every vertex in T has a neighbour in every

component C of G − T .

Shanghai

Page 27: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 10

Proof. (Cont’d)

Shanghai

Page 28: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 10

Proof. (Cont’d)

We choose the edge xy, the vertex z, and the component C so that |C| is as small as

possible, and pick a neighbour v of z in C.

Shanghai

Page 29: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 10

Proof. (Cont’d)

We choose the edge xy, the vertex z, and the component C so that |C| is as small as

possible, and pick a neighbour v of z in C.

By assumption, G/zv is again not 3-connected, so again there is a vertex w such that

{z, v, w} separates G, and as before every vertex in {z, v, w} has a neighbour in every

component of G − {z, v, w}.

Shanghai

Page 30: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 10

Proof. (Cont’d)

We choose the edge xy, the vertex z, and the component C so that |C| is as small as

possible, and pick a neighbour v of z in C.

By assumption, G/zv is again not 3-connected, so again there is a vertex w such that

{z, v, w} separates G, and as before every vertex in {z, v, w} has a neighbour in every

component of G − {z, v, w}.

As x and y are adjacent, G \ {z, v, w} has a component D such that D ∩ {x, y} = ∅.

Shanghai

Page 31: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 10

Proof. (Cont’d)

We choose the edge xy, the vertex z, and the component C so that |C| is as small as

possible, and pick a neighbour v of z in C.

By assumption, G/zv is again not 3-connected, so again there is a vertex w such that

{z, v, w} separates G, and as before every vertex in {z, v, w} has a neighbour in every

component of G − {z, v, w}.

As x and y are adjacent, G \ {z, v, w} has a component D such that D ∩ {x, y} = ∅.

Then every neighbour of v in D lies in C (since v ∈ C), so D ∩ C �= ∅, and hence D � C

by the choice of D.

Shanghai

Page 32: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 10

Proof. (Cont’d)

We choose the edge xy, the vertex z, and the component C so that |C| is as small as

possible, and pick a neighbour v of z in C.

By assumption, G/zv is again not 3-connected, so again there is a vertex w such that

{z, v, w} separates G, and as before every vertex in {z, v, w} has a neighbour in every

component of G − {z, v, w}.

As x and y are adjacent, G \ {z, v, w} has a component D such that D ∩ {x, y} = ∅.

Then every neighbour of v in D lies in C (since v ∈ C), so D ∩ C �= ∅, and hence D � C

by the choice of D.

This contradicts the choice of xy, z and C. �

Shanghai

Page 33: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 11

3.3 Menger’s Theorem

Shanghai

Page 34: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 11

3.3 Menger’s Theorem

Theorem.[Menger 1927] Let G = (V, E) be a graph and A, B ⊆ V . Then the minimum

number of vertices separating A from B in G is equal to the maximum number of disjointA-B paths in G.

Shanghai

Page 35: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 11

3.3 Menger’s Theorem

Theorem.[Menger 1927] Let G = (V, E) be a graph and A, B ⊆ V . Then the minimum

number of vertices separating A from B in G is equal to the maximum number of disjointA-B paths in G.

Whenever G, A,B are given as in the theorem, we denote by

k = k(G, A, B)

the minimum number of vertices separating A from B in G.

Shanghai

Page 36: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 11

3.3 Menger’s Theorem

Theorem.[Menger 1927] Let G = (V, E) be a graph and A, B ⊆ V . Then the minimum

number of vertices separating A from B in G is equal to the maximum number of disjointA-B paths in G.

Whenever G, A,B are given as in the theorem, we denote by

k = k(G, A, B)

the minimum number of vertices separating A from B in G.

Clearly, G cannot contain more than k disjoint A-B paths; our task will be to show that k

such paths exist.

Shanghai

Page 37: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 12

First Proof.

Shanghai

Page 38: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 12

First Proof.

We apply induction on ‖G‖ = |E(G)|.

Shanghai

Page 39: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 12

First Proof.

We apply induction on ‖G‖ = |E(G)|.If G has no edge, then |A ∩ B| = k and we have k trivial A-B paths.

Shanghai

Page 40: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 12

First Proof.

We apply induction on ‖G‖ = |E(G)|.If G has no edge, then |A ∩ B| = k and we have k trivial A-B paths.

So we assume that G has an edge e = xy.

Shanghai

Page 41: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 12

First Proof.

We apply induction on ‖G‖ = |E(G)|.If G has no edge, then |A ∩ B| = k and we have k trivial A-B paths.

So we assume that G has an edge e = xy.

If G has no k disjoint A-B paths, then neither does G/e; here, we count the contracted

vertex ve as an element of A (resp. B) in G/e if in G at least one of x, y lies in A (resp. B).

Shanghai

Page 42: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 12

First Proof.

We apply induction on ‖G‖ = |E(G)|.If G has no edge, then |A ∩ B| = k and we have k trivial A-B paths.

So we assume that G has an edge e = xy.

If G has no k disjoint A-B paths, then neither does G/e; here, we count the contracted

vertex ve as an element of A (resp. B) in G/e if in G at least one of x, y lies in A (resp. B).

By the induction hypothesis, G/e contains an A-B separator Y of fewer than k vertices.

Shanghai

Page 43: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 12

First Proof.

We apply induction on ‖G‖ = |E(G)|.If G has no edge, then |A ∩ B| = k and we have k trivial A-B paths.

So we assume that G has an edge e = xy.

If G has no k disjoint A-B paths, then neither does G/e; here, we count the contracted

vertex ve as an element of A (resp. B) in G/e if in G at least one of x, y lies in A (resp. B).

By the induction hypothesis, G/e contains an A-B separator Y of fewer than k vertices.

Among these must be the vertex ve, since otherwise Y ⊆ V (G) would be an A-B separator

in G.

Shanghai

Page 44: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 12

First Proof.

We apply induction on ‖G‖ = |E(G)|.If G has no edge, then |A ∩ B| = k and we have k trivial A-B paths.

So we assume that G has an edge e = xy.

If G has no k disjoint A-B paths, then neither does G/e; here, we count the contracted

vertex ve as an element of A (resp. B) in G/e if in G at least one of x, y lies in A (resp. B).

By the induction hypothesis, G/e contains an A-B separator Y of fewer than k vertices.

Among these must be the vertex ve, since otherwise Y ⊆ V (G) would be an A-B separator

in G.

Then X := (Y \ {ve}) ∪ {x, y} is an A-B separator in G of exactly k vertices.

Shanghai

Page 45: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 13

Proof. (Cont’d)

Shanghai

Page 46: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 13

Proof. (Cont’d)

We now consider the graph G − e.

Shanghai

Page 47: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 13

Proof. (Cont’d)

We now consider the graph G − e.

Since x, y ∈ X , every A-X separator in G − e is also an A-B separator in G and hence

contains at least k vertices.

Shanghai

Page 48: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 13

Proof. (Cont’d)

We now consider the graph G − e.

Since x, y ∈ X , every A-X separator in G − e is also an A-B separator in G and hence

contains at least k vertices.

So by induction there are k disjoint A-X paths in G − e, and similarly there are k disjoint

X − B paths in G − e.

Shanghai

Page 49: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 13

Proof. (Cont’d)

We now consider the graph G − e.

Since x, y ∈ X , every A-X separator in G − e is also an A-B separator in G and hence

contains at least k vertices.

So by induction there are k disjoint A-X paths in G − e, and similarly there are k disjoint

X − B paths in G − e.

As X separates A from B, these two path systems do not meet outside X , and can thus be

combined to k disjoint A-B paths. �

Shanghai

Page 50: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 14

Let P be a set of disjoint A-B paths, and let Q be another such set.

Shanghai

Page 51: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 14

Let P be a set of disjoint A-B paths, and let Q be another such set.

We say that Q exceeds P if the set of vertices in A that lie on a path in P is a proper subset

of the set of vertices in A that lie on a path in Q, and likewise for B.

Shanghai

Page 52: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 14

Let P be a set of disjoint A-B paths, and let Q be another such set.

We say that Q exceeds P if the set of vertices in A that lie on a path in P is a proper subset

of the set of vertices in A that lie on a path in Q, and likewise for B. Then, in particular,

|Q| ≥ |P| + 1.

Shanghai

Page 53: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 15

Second Proof.

Shanghai

Page 54: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 15

Second Proof.

CLAIM. If P is any set of fewer than k disjoint A-B paths in G, then G contains a set of

|P| + 1 disjoint A-B paths exceeding P .

Shanghai

Page 55: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 15

Second Proof.

CLAIM. If P is any set of fewer than k disjoint A-B paths in G, then G contains a set of

|P| + 1 disjoint A-B paths exceeding P .

Keeping G and A fixed, we let B vary and apply induction on |⋃P|. Let R be an A-B path

that avoids the (fewer than k) vertices of B that lie on a path in P .

Shanghai

Page 56: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 15

Second Proof.

CLAIM. If P is any set of fewer than k disjoint A-B paths in G, then G contains a set of

|P| + 1 disjoint A-B paths exceeding P .

Keeping G and A fixed, we let B vary and apply induction on |⋃P|. Let R be an A-B path

that avoids the (fewer than k) vertices of B that lie on a path in P .

If R avoids all the paths in P , then P ∪ {R} exceeds P , as desired.

Shanghai

Page 57: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 15

Second Proof.

CLAIM. If P is any set of fewer than k disjoint A-B paths in G, then G contains a set of

|P| + 1 disjoint A-B paths exceeding P .

Keeping G and A fixed, we let B vary and apply induction on |⋃P|. Let R be an A-B path

that avoids the (fewer than k) vertices of B that lie on a path in P .

If R avoids all the paths in P , then P ∪ {R} exceeds P , as desired. (This will happen when

P = ∅, so the induction starts.)

Shanghai

Page 58: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 15

Second Proof.

CLAIM. If P is any set of fewer than k disjoint A-B paths in G, then G contains a set of

|P| + 1 disjoint A-B paths exceeding P .

Keeping G and A fixed, we let B vary and apply induction on |⋃P|. Let R be an A-B path

that avoids the (fewer than k) vertices of B that lie on a path in P .

If R avoids all the paths in P , then P ∪ {R} exceeds P , as desired. (This will happen when

P = ∅, so the induction starts.)

If not, let x be the last vertex of R that lies on some P ∈ P .

Shanghai

Page 59: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 16

Proof. (Cont’d)

Shanghai

Page 60: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 16

Proof. (Cont’d)

Put B′ := B ∪ V (xP ∪ xR) and P ′ := (P \ {P}) ∪ {Px}.

Shanghai

Page 61: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 16

Proof. (Cont’d)

Put B′ := B ∪ V (xP ∪ xR) and P ′ := (P \ {P}) ∪ {Px}.

Then |P ′| = |P| (but |⋃P ′| < |⋃P|) and k(G, A, B′) ≥ k(G, A, B).

Shanghai

Page 62: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 16

Proof. (Cont’d)

Put B′ := B ∪ V (xP ∪ xR) and P ′ := (P \ {P}) ∪ {Px}.

Then |P ′| = |P| (but |⋃P ′| < |⋃P|) and k(G, A, B′) ≥ k(G, A, B).

By the induction hypothesis there is a set Q of |P′| + 1 disjoint A-B′ paths exceeding P′.

Shanghai

Page 63: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 16

Proof. (Cont’d)

Put B′ := B ∪ V (xP ∪ xR) and P ′ := (P \ {P}) ∪ {Px}.

Then |P ′| = |P| (but |⋃P ′| < |⋃P|) and k(G, A, B′) ≥ k(G, A, B).

By the induction hypothesis there is a set Q of |P′| + 1 disjoint A-B′ paths exceeding P′.

Then Q′ contains a path Q ending in x, and a unique path Q′ whose last vertex y is not

among the last vertices of the paths in P′.

Shanghai

Page 64: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 16

Proof. (Cont’d)

Put B′ := B ∪ V (xP ∪ xR) and P ′ := (P \ {P}) ∪ {Px}.

Then |P ′| = |P| (but |⋃P ′| < |⋃P|) and k(G, A, B′) ≥ k(G, A, B).

By the induction hypothesis there is a set Q of |P′| + 1 disjoint A-B′ paths exceeding P′.

Then Q′ contains a path Q ending in x, and a unique path Q′ whose last vertex y is not

among the last vertices of the paths in P′.

If y /∈ xP , we let Q be obtained from Q′ by adding xP to Q, and adding yR to Q′ if y /∈ B.

Shanghai

Page 65: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 16

Proof. (Cont’d)

Put B′ := B ∪ V (xP ∪ xR) and P ′ := (P \ {P}) ∪ {Px}.

Then |P ′| = |P| (but |⋃P ′| < |⋃P|) and k(G, A, B′) ≥ k(G, A, B).

By the induction hypothesis there is a set Q of |P′| + 1 disjoint A-B′ paths exceeding P′.

Then Q′ contains a path Q ending in x, and a unique path Q′ whose last vertex y is not

among the last vertices of the paths in P′.

If y /∈ xP , we let Q be obtained from Q′ by adding xP to Q, and adding yR to Q′ if y /∈ B.

Otherwise y ∈◦x P , and we let Q be obtained from Q′ by adding xR to Q and adding yP to

Q′.

Shanghai

Page 66: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 16

Proof. (Cont’d)

Put B′ := B ∪ V (xP ∪ xR) and P ′ := (P \ {P}) ∪ {Px}.

Then |P ′| = |P| (but |⋃P ′| < |⋃P|) and k(G, A, B′) ≥ k(G, A, B).

By the induction hypothesis there is a set Q of |P′| + 1 disjoint A-B′ paths exceeding P′.

Then Q′ contains a path Q ending in x, and a unique path Q′ whose last vertex y is not

among the last vertices of the paths in P′.

If y /∈ xP , we let Q be obtained from Q′ by adding xP to Q, and adding yR to Q′ if y /∈ B.

Otherwise y ∈◦x P , and we let Q be obtained from Q′ by adding xR to Q and adding yP to

Q′.

In both cases Q exceeds P , as desired. �

Shanghai

Page 67: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 17

Applied to a bipartite graph, Mengers theorem specializes to the assertion of Konig’s

theorem.

Shanghai

Page 68: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 17

Applied to a bipartite graph, Mengers theorem specializes to the assertion of Konig’s

theorem.

The third proof is based on the alternating paths, thus algorithmic in nature.

Shanghai

Page 69: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 18

Let again G, A, B be given, and let P be a set of disjoint A-B paths in G.

Shanghai

Page 70: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 18

Let again G, A, B be given, and let P be a set of disjoint A-B paths in G.

Let us say that an A-B separator X ⊆ V lies on P if it consists of a choice of exactly one

vertex from each path in P .

Shanghai

Page 71: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 18

Let again G, A, B be given, and let P be a set of disjoint A-B paths in G.

Let us say that an A-B separator X ⊆ V lies on P if it consists of a choice of exactly one

vertex from each path in P .

If we can find such a separator X , then clearly k ≤ |X | = |P|, and Menger’s theorem will

be proved.

Shanghai

Page 72: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 18

Let again G, A, B be given, and let P be a set of disjoint A-B paths in G.

Let us say that an A-B separator X ⊆ V lies on P if it consists of a choice of exactly one

vertex from each path in P .

If we can find such a separator X , then clearly k ≤ |X | = |P|, and Menger’s theorem will

be proved.

Let

V [P] :=⋃ {

V (P ) | P ∈ P}

E[P] :=⋃ {

E(P ) | P ∈ P}.

Shanghai

Page 73: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 19

Let a walk W = x0e0x1e1 . . . en−1xn in G with ei �= ej for i �= j be said toalternate with respect to P

Shanghai

Page 74: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 19

Let a walk W = x0e0x1e1 . . . en−1xn in G with ei �= ej for i �= j be said toalternate with respect to P if it starts in A \ V [P] and

Shanghai

Page 75: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 19

Let a walk W = x0e0x1e1 . . . en−1xn in G with ei �= ej for i �= j be said toalternate with respect to P if it starts in A \ V [P] and the following three conditions holdfor all i < n :

Shanghai

Page 76: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 19

Let a walk W = x0e0x1e1 . . . en−1xn in G with ei �= ej for i �= j be said toalternate with respect to P if it starts in A \ V [P] and the following three conditions holdfor all i < n :

(i) if ei = e ∈ E[P], then W traverses the edge e backwards, i.e. xi+1 ∈ P◦xi for some

P ∈ P;

(ii) if xi = xj with i �= j, then xi ∈ V [P];

(iii) if xi ∈ V [P], then {ei−1, ei} ∩ E[P] �= ∅, where e−1 := e0.

Shanghai

Page 77: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 19

Let a walk W = x0e0x1e1 . . . en−1xn in G with ei �= ej for i �= j be said toalternate with respect to P if it starts in A \ V [P] and the following three conditions holdfor all i < n :

(i) if ei = e ∈ E[P], then W traverses the edge e backwards, i.e. xi+1 ∈ P◦xi for some

P ∈ P;

(ii) if xi = xj with i �= j, then xi ∈ V [P];

(iii) if xi ∈ V [P], then {ei−1, ei} ∩ E[P] �= ∅, where e−1 := e0.

By (ii), any vertex outside V [P] occurs at most once on W .

Shanghai

Page 78: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 19

Let a walk W = x0e0x1e1 . . . en−1xn in G with ei �= ej for i �= j be said toalternate with respect to P if it starts in A \ V [P] and the following three conditions holdfor all i < n :

(i) if ei = e ∈ E[P], then W traverses the edge e backwards, i.e. xi+1 ∈ P◦xi for some

P ∈ P;

(ii) if xi = xj with i �= j, then xi ∈ V [P];

(iii) if xi ∈ V [P], then {ei−1, ei} ∩ E[P] �= ∅, where e−1 := e0.

By (ii), any vertex outside V [P] occurs at most once on W .

Since the edges ei of W are all distinct, (iii) implies that any vertex v ∈ V [P] occurs at mosttwice on W .

Shanghai

Page 79: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 19

Let a walk W = x0e0x1e1 . . . en−1xn in G with ei �= ej for i �= j be said toalternate with respect to P if it starts in A \ V [P] and the following three conditions holdfor all i < n :

(i) if ei = e ∈ E[P], then W traverses the edge e backwards, i.e. xi+1 ∈ P◦xi for some

P ∈ P;

(ii) if xi = xj with i �= j, then xi ∈ V [P];

(iii) if xi ∈ V [P], then {ei−1, ei} ∩ E[P] �= ∅, where e−1 := e0.

By (ii), any vertex outside V [P] occurs at most once on W .

Since the edges ei of W are all distinct, (iii) implies that any vertex v ∈ V [P] occurs at mosttwice on W .

For v �= xn, this can happen in exactly the following two ways. If xi = xj with0 < i < j < n, then

either ei−1, ej ∈ E[P] and ei, ej−1 /∈ E[P]

or ei, ej−1 ∈ E[P] and ei−1, ej /∈ E[P].

Shanghai

Page 80: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 20

Lemma. If an alternating walk W ends in B \ V [P], then G contains a set of disjoint A-B

paths exceeding P .

Shanghai

Page 81: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 20

Lemma. If an alternating walk W ends in B \ V [P], then G contains a set of disjoint A-B

paths exceeding P .

Proof. We may assume that W has only its first vertex in A \ V [P] and only its last vertex in

B \ V [P].

Shanghai

Page 82: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 20

Lemma. If an alternating walk W ends in B \ V [P], then G contains a set of disjoint A-B

paths exceeding P .

Proof. We may assume that W has only its first vertex in A \ V [P] and only its last vertex in

B \ V [P].

Let H be the graph on V (G) whose edge set is the symmetric difference of E[P] with

{e0, . . . , en−1}.

Shanghai

Page 83: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 20

Lemma. If an alternating walk W ends in B \ V [P], then G contains a set of disjoint A-B

paths exceeding P .

Proof. We may assume that W has only its first vertex in A \ V [P] and only its last vertex in

B \ V [P].

Let H be the graph on V (G) whose edge set is the symmetric difference of E[P] with

{e0, . . . , en−1}.

In H , the ends of the paths in P and of W have degree 1 (or 0, if the path or W is trivial),

and all other vertices have degree 0 or 2.

Shanghai

Page 84: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 21

For each vertex a ∈ (A ∩ V [P]) ∪ {x0}, therefore, the component of H containing a is apath, P = v0 . . . vk say, which starts in a and ends in A or B.

Shanghai

Page 85: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 21

For each vertex a ∈ (A ∩ V [P]) ∪ {x0}, therefore, the component of H containing a is apath, P = v0 . . . vk say, which starts in a and ends in A or B.

Using conditions (i) and (iii), one easily shows by induction on i = 0, . . . , k − 1 that P

traverses each of its edges e = vivi+1 in the forward direction with respect to P or W .

Shanghai

Page 86: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 21

For each vertex a ∈ (A ∩ V [P]) ∪ {x0}, therefore, the component of H containing a is apath, P = v0 . . . vk say, which starts in a and ends in A or B.

Using conditions (i) and (iii), one easily shows by induction on i = 0, . . . , k − 1 that P

traverses each of its edges e = vivi+1 in the forward direction with respect to P or W .

(Formally: if e ∈ P ′ with P ′ ∈ P , then vi ∈ P ′ ◦vi+1; if e = ej ∈ W , then vi = xj and

vi+1 = xj+1.)

Shanghai

Page 87: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 21

For each vertex a ∈ (A ∩ V [P]) ∪ {x0}, therefore, the component of H containing a is apath, P = v0 . . . vk say, which starts in a and ends in A or B.

Using conditions (i) and (iii), one easily shows by induction on i = 0, . . . , k − 1 that P

traverses each of its edges e = vivi+1 in the forward direction with respect to P or W .

(Formally: if e ∈ P ′ with P ′ ∈ P , then vi ∈ P ′ ◦vi+1; if e = ej ∈ W , then vi = xj and

vi+1 = xj+1.)

Hence, P is an A-B path.

Shanghai

Page 88: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 21

For each vertex a ∈ (A ∩ V [P]) ∪ {x0}, therefore, the component of H containing a is apath, P = v0 . . . vk say, which starts in a and ends in A or B.

Using conditions (i) and (iii), one easily shows by induction on i = 0, . . . , k − 1 that P

traverses each of its edges e = vivi+1 in the forward direction with respect to P or W .

(Formally: if e ∈ P ′ with P ′ ∈ P , then vi ∈ P ′ ◦vi+1; if e = ej ∈ W , then vi = xj and

vi+1 = xj+1.)

Hence, P is an A-B path.

Similarly, for every b ∈ (B ∩ V [P]) ∪ {xn} there is an A-B path in H that ends in b.

Shanghai

Page 89: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 21

For each vertex a ∈ (A ∩ V [P]) ∪ {x0}, therefore, the component of H containing a is apath, P = v0 . . . vk say, which starts in a and ends in A or B.

Using conditions (i) and (iii), one easily shows by induction on i = 0, . . . , k − 1 that P

traverses each of its edges e = vivi+1 in the forward direction with respect to P or W .

(Formally: if e ∈ P ′ with P ′ ∈ P , then vi ∈ P ′ ◦vi+1; if e = ej ∈ W , then vi = xj and

vi+1 = xj+1.)

Hence, P is an A-B path.

Similarly, for every b ∈ (B ∩ V [P]) ∪ {xn} there is an A-B path in H that ends in b.

The set of A-B paths in H therefore exceeds P .

Shanghai

Page 90: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 22

Lemma. If no alternating walk W as above ends in B \ V [P], then G contains an A-Bseparator on P .

Shanghai

Page 91: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 22

Lemma. If no alternating walk W as above ends in B \ V [P], then G contains an A-Bseparator on P .

Proof. Let

A1 := A ∩ V [P] and A2 := A \ A1,

and B1 := B ∩ V [P] and B2 := B \ B1.

Shanghai

Page 92: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 22

Lemma. If no alternating walk W as above ends in B \ V [P], then G contains an A-Bseparator on P .

Proof. Let

A1 := A ∩ V [P] and A2 := A \ A1,

and B1 := B ∩ V [P] and B2 := B \ B1.

For every path P ∈ P , let xP be the last vertex of P that lies on some alternating walk; if no

such vertex exists, let xP be the first vertex of P .

Shanghai

Page 93: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 22

Lemma. If no alternating walk W as above ends in B \ V [P], then G contains an A-Bseparator on P .

Proof. Let

A1 := A ∩ V [P] and A2 := A \ A1,

and B1 := B ∩ V [P] and B2 := B \ B1.

For every path P ∈ P , let xP be the last vertex of P that lies on some alternating walk; if no

such vertex exists, let xP be the first vertex of P .

CLAIM.

X := {xP |P ∈ P}meets every A-B path in G;

Shanghai

Page 94: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 22

Lemma. If no alternating walk W as above ends in B \ V [P], then G contains an A-Bseparator on P .

Proof. Let

A1 := A ∩ V [P] and A2 := A \ A1,

and B1 := B ∩ V [P] and B2 := B \ B1.

For every path P ∈ P , let xP be the last vertex of P that lies on some alternating walk; if no

such vertex exists, let xP be the first vertex of P .

CLAIM.

X := {xP |P ∈ P}meets every A-B path in G; i.e., X is an A-B separator on P .

Shanghai

Page 95: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 23

Proof. (Cont’d)

Shanghai

Page 96: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 23

Proof. (Cont’d)

Suppose there is an A-B path Q that avoids X .

Shanghai

Page 97: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 23

Proof. (Cont’d)

Suppose there is an A-B path Q that avoids X .

Q meets V [P], as otherwise it would be an alternating walk ending in B2.

Shanghai

Page 98: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 23

Proof. (Cont’d)

Suppose there is an A-B path Q that avoids X .

Q meets V [P], as otherwise it would be an alternating walk ending in B2.

Now the A-V [P] path in Q is either an alternating walk or consists only of the first vertex of

some path in P .

Shanghai

Page 99: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 23

Proof. (Cont’d)

Suppose there is an A-B path Q that avoids X .

Q meets V [P], as otherwise it would be an alternating walk ending in B2.

Now the A-V [P] path in Q is either an alternating walk or consists only of the first vertex of

some path in P .

Therefore Q also meets the vertex set V [P′] of

P ′ :={PxP | P ∈ P}

.

Shanghai

Page 100: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 23

Proof. (Cont’d)

Suppose there is an A-B path Q that avoids X .

Q meets V [P], as otherwise it would be an alternating walk ending in B2.

Now the A-V [P] path in Q is either an alternating walk or consists only of the first vertex of

some path in P .

Therefore Q also meets the vertex set V [P′] of

P ′ :={PxP | P ∈ P}

.

Let y be the last vertex of Q in V [P′], say y ∈ P ∈ P , and let x := xP .

Shanghai

Page 101: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 24

Proof. (Cont’d)

Shanghai

Page 102: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 24

Proof. (Cont’d)

As Q avoids X and hence x, we have y ∈ P◦x.

Shanghai

Page 103: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 24

Proof. (Cont’d)

As Q avoids X and hence x, we have y ∈ P◦x.

Hence, x = xP is not the first vertex of P , and so there is an alternating walk W ending at

x.

Shanghai

Page 104: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 24

Proof. (Cont’d)

As Q avoids X and hence x, we have y ∈ P◦x.

Hence, x = xP is not the first vertex of P , and so there is an alternating walk W ending at

x.

Then W ∪ xPyQ is a walk from A2 to B.

Shanghai

Page 105: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 24

Proof. (Cont’d)

As Q avoids X and hence x, we have y ∈ P◦x.

Hence, x = xP is not the first vertex of P , and so there is an alternating walk W ending at

x.

Then W ∪ xPyQ is a walk from A2 to B.

If this walk alternates and ends in B2, we have our desired contradiction.

Shanghai

Page 106: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 25

Proof. (Cont’d)

Shanghai

Page 107: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 25

Proof. (Cont’d)

How could W ∪ xPyQ fail to alternate?

Shanghai

Page 108: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 25

Proof. (Cont’d)

How could W ∪ xPyQ fail to alternate?

For example, W might already use an edge of xPy.

Shanghai

Page 109: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 25

Proof. (Cont’d)

How could W ∪ xPyQ fail to alternate?

For example, W might already use an edge of xPy. But if x′ is the first vertex of W on

xP◦y, then W ′ := Wx′Py is an alternating walk from A2 to y. (By Wx′ we mean the

initial segment of W ending at the first occurrence of x′ on W ; from there, W ′ follows P

back to y.)

Shanghai

Page 110: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 25

Proof. (Cont’d)

How could W ∪ xPyQ fail to alternate?

For example, W might already use an edge of xPy. But if x′ is the first vertex of W on

xP◦y, then W ′ := Wx′Py is an alternating walk from A2 to y. (By Wx′ we mean the

initial segment of W ending at the first occurrence of x′ on W ; from there, W ′ follows P

back to y.)

Even our new walk W ′yQ need not yet alternate: W ′ might still meet◦y Q.

Shanghai

Page 111: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 25

Proof. (Cont’d)

How could W ∪ xPyQ fail to alternate?

For example, W might already use an edge of xPy. But if x′ is the first vertex of W on

xP◦y, then W ′ := Wx′Py is an alternating walk from A2 to y. (By Wx′ we mean the

initial segment of W ending at the first occurrence of x′ on W ; from there, W ′ follows P

back to y.)

Even our new walk W ′yQ need not yet alternate: W ′ might still meet◦y Q.

By definition of P ′ and W , however, and the choice of y on Q, we have

V (W ′) ∩ V [P] ⊆ V [P ′] and V (◦y Q) ∩ V [P ′] = ∅.

Shanghai

Page 112: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 25

Proof. (Cont’d)

How could W ∪ xPyQ fail to alternate?

For example, W might already use an edge of xPy. But if x′ is the first vertex of W on

xP◦y, then W ′ := Wx′Py is an alternating walk from A2 to y. (By Wx′ we mean the

initial segment of W ending at the first occurrence of x′ on W ; from there, W ′ follows P

back to y.)

Even our new walk W ′yQ need not yet alternate: W ′ might still meet◦y Q.

By definition of P ′ and W , however, and the choice of y on Q, we have

V (W ′) ∩ V [P] ⊆ V [P ′] and V (◦y Q) ∩ V [P ′] = ∅.

Thus, W ′ and◦y Q can meet only outside P .

Shanghai

Page 113: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 26

Proof. (Cont’d)

Shanghai

Page 114: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 26

Proof. (Cont’d)

If W ′ does indeed meet◦y Q, we let z be the first vertex of W ′ on

◦y Q and set

W ′′ := W ′zQ.

Shanghai

Page 115: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 26

Proof. (Cont’d)

If W ′ does indeed meet◦y Q, we let z be the first vertex of W ′ on

◦y Q and set

W ′′ := W ′zQ. Otherwise we set W ′′ := W ′ ∪ yQ.

Shanghai

Page 116: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 26

Proof. (Cont’d)

If W ′ does indeed meet◦y Q, we let z be the first vertex of W ′ on

◦y Q and set

W ′′ := W ′zQ. Otherwise we set W ′′ := W ′ ∪ yQ.

In both cases W ′′ alternates with respect to P′, because W ′ does and◦y Q avoids V [P ′].

Shanghai

Page 117: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 26

Proof. (Cont’d)

If W ′ does indeed meet◦y Q, we let z be the first vertex of W ′ on

◦y Q and set

W ′′ := W ′zQ. Otherwise we set W ′′ := W ′ ∪ yQ.

In both cases W ′′ alternates with respect to P′, because W ′ does and◦y Q avoids V [P ′].

W ′′ satisfies condition (iii) at y in the second case even if y occurs twice on W ′, because

W ′′ then contains the entire walk W ′ and not just its initial segment W ′y.

Shanghai

Page 118: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 26

Proof. (Cont’d)

If W ′ does indeed meet◦y Q, we let z be the first vertex of W ′ on

◦y Q and set

W ′′ := W ′zQ. Otherwise we set W ′′ := W ′ ∪ yQ.

In both cases W ′′ alternates with respect to P′, because W ′ does and◦y Q avoids V [P ′].

W ′′ satisfies condition (iii) at y in the second case even if y occurs twice on W ′, because

W ′′ then contains the entire walk W ′ and not just its initial segment W ′y.

By definition of P ′, therefore, W ′′ avoids V [P] \ V [P ′].

Shanghai

Page 119: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 26

Proof. (Cont’d)

If W ′ does indeed meet◦y Q, we let z be the first vertex of W ′ on

◦y Q and set

W ′′ := W ′zQ. Otherwise we set W ′′ := W ′ ∪ yQ.

In both cases W ′′ alternates with respect to P′, because W ′ does and◦y Q avoids V [P ′].

W ′′ satisfies condition (iii) at y in the second case even if y occurs twice on W ′, because

W ′′ then contains the entire walk W ′ and not just its initial segment W ′y.

By definition of P ′, therefore, W ′′ avoids V [P] \ V [P ′]. Thus W ′′ also alternates with

respect to P and ends in B2, contrary to our assumptions. �

Shanghai

Page 120: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 27

Third Proof of Menger’s Theorem.

Shanghai

Page 121: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 27

Third Proof of Menger’s Theorem.

Let P contain as many disjoint A-B paths in G as possible.

Shanghai

Page 122: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 27

Third Proof of Menger’s Theorem.

Let P contain as many disjoint A-B paths in G as possible.

Then by the first lemma, no alternating walk ends in B \ V [P].

Shanghai

Page 123: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 27

Third Proof of Menger’s Theorem.

Let P contain as many disjoint A-B paths in G as possible.

Then by the first lemma, no alternating walk ends in B \ V [P].

By the second lemma, this implies that G has an A-B separator X on P , giving

k ≤ |X | = |P| as desired. �

Shanghai

Page 124: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 28

A set of a-B paths is called an a-B fan if any two of the paths have only a in common.

Shanghai

Page 125: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 28

A set of a-B paths is called an a-B fan if any two of the paths have only a in common.

Corollary. For B ⊆ V and a ∈ V \ B, the minimum number of vertices �= a separating a

from B in G is equal to the maximum number of paths forming an a-B fan in G.

Shanghai

Page 126: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 29

Corollary. Let a and b be two distinct vertices of G.

(i) If ab /∈ E, then the minimum number of vertices �= a, b separating a from b in G is equal

to the maximum number of independent a-b paths in G.

Shanghai

Page 127: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 29

Corollary. Let a and b be two distinct vertices of G.

(i) If ab /∈ E, then the minimum number of vertices �= a, b separating a from b in G is equal

to the maximum number of independent a-b paths in G.

(ii) The minimum number of edges separating a from b in G is equal to the maximum

number of edge-disjoint a-b paths in G.

Shanghai

Page 128: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 29

Corollary. Let a and b be two distinct vertices of G.

(i) If ab /∈ E, then the minimum number of vertices �= a, b separating a from b in G is equal

to the maximum number of independent a-b paths in G.

(ii) The minimum number of edges separating a from b in G is equal to the maximum

number of edge-disjoint a-b paths in G.

Proof. For (ii) we consider :

The line graph L(G) of G is the graph on E in which x, y ∈ E are adjacent as

vertices if and only if they are adjacent as edges in G.

Shanghai

Page 129: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 30

Theorem.[Global Version of Mengers Theorem]

(i) A graph is k-connected if and only if it contains k independent paths between any two

vertices.

Shanghai

Page 130: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 30

Theorem.[Global Version of Mengers Theorem]

(i) A graph is k-connected if and only if it contains k independent paths between any two

vertices.

(ii) A graph is k-edge-connected if and only if it contains k edge-disjoint paths between any

two vertices.

Shanghai

Page 131: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 31

3.5 Linking pairs of vertices

Shanghai

Page 132: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 31

3.5 Linking pairs of vertices

Let G be a graph, and let X ⊆ V (G) be a set of vertices.

Shanghai

Page 133: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 31

3.5 Linking pairs of vertices

Let G be a graph, and let X ⊆ V (G) be a set of vertices.

We call X linked in G if whenever we pick distinct vertices s1, . . . , s�, t1, . . . , t� in X we

can find disjoint paths P1, . . . , P� in G such that each Pi links si to ti and has no inner

vertex in X .

Shanghai

Page 134: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 31

3.5 Linking pairs of vertices

Let G be a graph, and let X ⊆ V (G) be a set of vertices.

We call X linked in G if whenever we pick distinct vertices s1, . . . , s�, t1, . . . , t� in X we

can find disjoint paths P1, . . . , P� in G such that each Pi links si to ti and has no inner

vertex in X .

If |G| ≥ 2k and every set of at most 2k vertices is linked in G, then G is k-linked.

Shanghai

Page 135: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 31

3.5 Linking pairs of vertices

Let G be a graph, and let X ⊆ V (G) be a set of vertices.

We call X linked in G if whenever we pick distinct vertices s1, . . . , s�, t1, . . . , t� in X we

can find disjoint paths P1, . . . , P� in G such that each Pi links si to ti and has no inner

vertex in X .

If |G| ≥ 2k and every set of at most 2k vertices is linked in G, then G is k-linked.

This is equivalent to requiring that k-linked disjoint paths Pi = si . . . ti exist for every

choice of exactly 2k vertices s1, . . . , sk, t1, . . . , tk.

Shanghai

Page 136: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 32

Clearly, every k-linked graph is k-connected.

Shanghai

Page 137: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 32

Clearly, every k-linked graph is k-connected.

Theorem.[Jung 1970; Larman and Mani 1970] There is a function f : N → N such that

every f(k)-connected graph is k-linked, for all k ∈ N.

Shanghai

Page 138: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 33

Lemma. There is a function h : N → N such that every graph of average degree at least

h(r) contains Kr as a topological minor, for every r ∈ N.

Shanghai

Page 139: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 33

Lemma. There is a function h : N → N such that every graph of average degree at least

h(r) contains Kr as a topological minor, for every r ∈ N.

RECALL:

If we replace the edges of X with independent paths between their ends (so that none

of these paths has an inner vertex on another path or in X), we call the graph G obtained

a subdivision of X and write G = TX .

If G = TX is a subgraph of another graph Y , then X is a topological minor of Y .

Shanghai

Page 140: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 34

Proof.

Shanghai

Page 141: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 34

Proof.

For r ≤ 2, the assertion holds with h(r) = 1.

Shanghai

Page 142: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 34

Proof.

For r ≤ 2, the assertion holds with h(r) = 1.

Assume that r ≥ 3. We show by induction on m = r, . . . ,(r2

)that every graph G with

average degree d(G) ≥ 2m has a topological minor X with r vertices and m edges;

Shanghai

Page 143: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 34

Proof.

For r ≤ 2, the assertion holds with h(r) = 1.

Assume that r ≥ 3. We show by induction on m = r, . . . ,(r2

)that every graph G with

average degree d(G) ≥ 2m has a topological minor X with r vertices and m edges; for

m =(r2

)this implies the assertion with h(r) = 2(

r2).

Shanghai

Page 144: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 34

Proof.

For r ≤ 2, the assertion holds with h(r) = 1.

Assume that r ≥ 3. We show by induction on m = r, . . . ,(r2

)that every graph G with

average degree d(G) ≥ 2m has a topological minor X with r vertices and m edges; for

m =(r2

)this implies the assertion with h(r) = 2(

r2).

RECALL:

Proposition. Every graphs G with at least one edge has a subgraph with δ(H) >

ε(H) ≥ ε(G) = 12d(G).

Proposition. Every graph G contains a path of length δ(G) and a cycle of length at

least δ(G) + 1 (provided that δ(G) ≥ 2).

Shanghai

Page 145: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 34

Proof.

For r ≤ 2, the assertion holds with h(r) = 1.

Assume that r ≥ 3. We show by induction on m = r, . . . ,(r2

)that every graph G with

average degree d(G) ≥ 2m has a topological minor X with r vertices and m edges; for

m =(r2

)this implies the assertion with h(r) = 2(

r2).

RECALL:

Proposition. Every graphs G with at least one edge has a subgraph with δ(H) >

ε(H) ≥ ε(G) = 12d(G).

Proposition. Every graph G contains a path of length δ(G) and a cycle of length at

least δ(G) + 1 (provided that δ(G) ≥ 2).

If m = r then G contains a cycle of length at least ε(G) + 1 ≥ 2r−1 + 1 ≥ r + 1, and the

assertion follows with X = Cr.

Shanghai

Page 146: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Shanghai

Page 147: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Now let r < m ≤ (r2

), and assume the assertion holds for smaller m.

Shanghai

Page 148: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Now let r < m ≤ (r2

), and assume the assertion holds for smaller m.

Consider G with d(G) ≥ 2m, hence ε(G) ≥ 2m−1.

Shanghai

Page 149: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Now let r < m ≤ (r2

), and assume the assertion holds for smaller m.

Consider G with d(G) ≥ 2m, hence ε(G) ≥ 2m−1. We can assume that G is connected,

since G has a component C with ε(C) ≥ ε(G).

Shanghai

Page 150: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Now let r < m ≤ (r2

), and assume the assertion holds for smaller m.

Consider G with d(G) ≥ 2m, hence ε(G) ≥ 2m−1. We can assume that G is connected,

since G has a component C with ε(C) ≥ ε(G). Let U ⊆ V (G) be a maximal set such that

U is connected in G and ε(G/U) ≥ 2m−1.

Shanghai

Page 151: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Now let r < m ≤ (r2

), and assume the assertion holds for smaller m.

Consider G with d(G) ≥ 2m, hence ε(G) ≥ 2m−1. We can assume that G is connected,

since G has a component C with ε(C) ≥ ε(G). Let U ⊆ V (G) be a maximal set such that

U is connected in G and ε(G/U) ≥ 2m−1. We have N(U) �= ∅, as G is connected.

Shanghai

Page 152: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Now let r < m ≤ (r2

), and assume the assertion holds for smaller m.

Consider G with d(G) ≥ 2m, hence ε(G) ≥ 2m−1. We can assume that G is connected,

since G has a component C with ε(C) ≥ ε(G). Let U ⊆ V (G) be a maximal set such that

U is connected in G and ε(G/U) ≥ 2m−1. We have N(U) �= ∅, as G is connected.

Let H := G[N(U)].

Shanghai

Page 153: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Now let r < m ≤ (r2

), and assume the assertion holds for smaller m.

Consider G with d(G) ≥ 2m, hence ε(G) ≥ 2m−1. We can assume that G is connected,

since G has a component C with ε(C) ≥ ε(G). Let U ⊆ V (G) be a maximal set such that

U is connected in G and ε(G/U) ≥ 2m−1. We have N(U) �= ∅, as G is connected.

Let H := G[N(U)]. If H has a vertex v of degree dH(v) < 2m−1, we may add it to U and

obtain a contradiction to the maximality of U . Therefore d(H) ≥ δ(H) ≥ 2m−1.

Shanghai

Page 154: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Now let r < m ≤ (r2

), and assume the assertion holds for smaller m.

Consider G with d(G) ≥ 2m, hence ε(G) ≥ 2m−1. We can assume that G is connected,

since G has a component C with ε(C) ≥ ε(G). Let U ⊆ V (G) be a maximal set such that

U is connected in G and ε(G/U) ≥ 2m−1. We have N(U) �= ∅, as G is connected.

Let H := G[N(U)]. If H has a vertex v of degree dH(v) < 2m−1, we may add it to U and

obtain a contradiction to the maximality of U . Therefore d(H) ≥ δ(H) ≥ 2m−1. By the

induction hypothesis, H contains a TY with |Y | = r and ‖Y ‖ = m − 1.

Shanghai

Page 155: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 35

Proof. (Cont’d)

Now let r < m ≤ (r2

), and assume the assertion holds for smaller m.

Consider G with d(G) ≥ 2m, hence ε(G) ≥ 2m−1. We can assume that G is connected,

since G has a component C with ε(C) ≥ ε(G). Let U ⊆ V (G) be a maximal set such that

U is connected in G and ε(G/U) ≥ 2m−1. We have N(U) �= ∅, as G is connected.

Let H := G[N(U)]. If H has a vertex v of degree dH(v) < 2m−1, we may add it to U and

obtain a contradiction to the maximality of U . Therefore d(H) ≥ δ(H) ≥ 2m−1. By the

induction hypothesis, H contains a TY with |Y | = r and ‖Y ‖ = m − 1. Let x, y be two

branch vertices of this TY that are non-adjacent in Y . Since x and y lie in N(U) and U is

connected in G, G contains an x-y path whose inner vertices lie in U . Adding this path to

the TY , we obtain the desired TX . �

Shanghai

Page 156: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 36

Theorem.[Jung 1970; Larman and Mani 1970] There is a function f : N → N such that

every f(k)-connected graph is k-linked, for all k ∈ N.

Shanghai

Page 157: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 36

Theorem.[Jung 1970; Larman and Mani 1970] There is a function f : N → N such that

every f(k)-connected graph is k-linked, for all k ∈ N.

Proof.

Shanghai

Page 158: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 36

Theorem.[Jung 1970; Larman and Mani 1970] There is a function f : N → N such that

every f(k)-connected graph is k-linked, for all k ∈ N.

Proof.

Let

f(k) = h(3k) + 2k,

where h is as in the previous lemma.

Shanghai

Page 159: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 36

Theorem.[Jung 1970; Larman and Mani 1970] There is a function f : N → N such that

every f(k)-connected graph is k-linked, for all k ∈ N.

Proof.

Let

f(k) = h(3k) + 2k,

where h is as in the previous lemma.

Let G be an f(k)-connected.

Shanghai

Page 160: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 36

Theorem.[Jung 1970; Larman and Mani 1970] There is a function f : N → N such that

every f(k)-connected graph is k-linked, for all k ∈ N.

Proof.

Let

f(k) = h(3k) + 2k,

where h is as in the previous lemma.

Let G be an f(k)-connected. Then

d(G) ≥ δ(G) ≥ κ(G) ≥ h(3k).

Shanghai

Page 161: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 36

Theorem.[Jung 1970; Larman and Mani 1970] There is a function f : N → N such that

every f(k)-connected graph is k-linked, for all k ∈ N.

Proof.

Let

f(k) = h(3k) + 2k,

where h is as in the previous lemma.

Let G be an f(k)-connected. Then

d(G) ≥ δ(G) ≥ κ(G) ≥ h(3k).

Choose K = TK3k ⊆ G as in the previous lemma,

Shanghai

Page 162: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 36

Theorem.[Jung 1970; Larman and Mani 1970] There is a function f : N → N such that

every f(k)-connected graph is k-linked, for all k ∈ N.

Proof.

Let

f(k) = h(3k) + 2k,

where h is as in the previous lemma.

Let G be an f(k)-connected. Then

d(G) ≥ δ(G) ≥ κ(G) ≥ h(3k).

Choose K = TK3k ⊆ G as in the previous lemma, and let U denote its set of branch

vertices.

Shanghai

Page 163: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

Shanghai

Page 164: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

We show G is k-linked:

Shanghai

Page 165: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

We show G is k-linked: Let s1, . . . , sk, t1, . . . , tk ∈ V (G) be pairwise distinct.

Shanghai

Page 166: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

We show G is k-linked: Let s1, . . . , sk, t1, . . . , tk ∈ V (G) be pairwise distinct.

Note κ(G) ≥ 2k. Hence by Menger’s theorem, G contains disjoint paths

P1, . . . , Pk, Q1, . . . , Qk, such that each Pi starts in si, each Qi starts in ti, and all these

paths end in U but have no inner vertices in U .

Shanghai

Page 167: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

We show G is k-linked: Let s1, . . . , sk, t1, . . . , tk ∈ V (G) be pairwise distinct.

Note κ(G) ≥ 2k. Hence by Menger’s theorem, G contains disjoint paths

P1, . . . , Pk, Q1, . . . , Qk, such that each Pi starts in si, each Qi starts in ti, and all these

paths end in U but have no inner vertices in U .

Let the set P of these paths be chosen so that their total number of edges outside E(K) is as

small as possible.

Shanghai

Page 168: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

We show G is k-linked: Let s1, . . . , sk, t1, . . . , tk ∈ V (G) be pairwise distinct.

Note κ(G) ≥ 2k. Hence by Menger’s theorem, G contains disjoint paths

P1, . . . , Pk, Q1, . . . , Qk, such that each Pi starts in si, each Qi starts in ti, and all these

paths end in U but have no inner vertices in U .

Let the set P of these paths be chosen so that their total number of edges outside E(K) is as

small as possible.

Let u1, . . . , uk be those k vertices in U that are not an end of a path in P .

Shanghai

Page 169: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

We show G is k-linked: Let s1, . . . , sk, t1, . . . , tk ∈ V (G) be pairwise distinct.

Note κ(G) ≥ 2k. Hence by Menger’s theorem, G contains disjoint paths

P1, . . . , Pk, Q1, . . . , Qk, such that each Pi starts in si, each Qi starts in ti, and all these

paths end in U but have no inner vertices in U .

Let the set P of these paths be chosen so that their total number of edges outside E(K) is as

small as possible.

Let u1, . . . , uk be those k vertices in U that are not an end of a path in P .

For each i = 1, . . . , k, let Li be the U -path in K (i.e., the subdivided edge of the K3k) from

ui to the end of Pi in U , and let vi be the first vertex of Li on any path P ∈ P .

Shanghai

Page 170: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

We show G is k-linked: Let s1, . . . , sk, t1, . . . , tk ∈ V (G) be pairwise distinct.

Note κ(G) ≥ 2k. Hence by Menger’s theorem, G contains disjoint paths

P1, . . . , Pk, Q1, . . . , Qk, such that each Pi starts in si, each Qi starts in ti, and all these

paths end in U but have no inner vertices in U .

Let the set P of these paths be chosen so that their total number of edges outside E(K) is as

small as possible.

Let u1, . . . , uk be those k vertices in U that are not an end of a path in P .

For each i = 1, . . . , k, let Li be the U -path in K (i.e., the subdivided edge of the K3k) from

ui to the end of Pi in U , and let vi be the first vertex of Li on any path P ∈ P .

P has no more edges outside E(K) than PviLiui does, so viP = viLi and hence P = Pi.

Shanghai

Page 171: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

We show G is k-linked: Let s1, . . . , sk, t1, . . . , tk ∈ V (G) be pairwise distinct.

Note κ(G) ≥ 2k. Hence by Menger’s theorem, G contains disjoint paths

P1, . . . , Pk, Q1, . . . , Qk, such that each Pi starts in si, each Qi starts in ti, and all these

paths end in U but have no inner vertices in U .

Let the set P of these paths be chosen so that their total number of edges outside E(K) is as

small as possible.

Let u1, . . . , uk be those k vertices in U that are not an end of a path in P .

For each i = 1, . . . , k, let Li be the U -path in K (i.e., the subdivided edge of the K3k) from

ui to the end of Pi in U , and let vi be the first vertex of Li on any path P ∈ P .

P has no more edges outside E(K) than PviLiui does, so viP = viLi and hence P = Pi.

Similarly, if Mi denotes the U -path in K from ui to the end of Qi in U , and wi denotes the

first vertex of Mi on any path in P , then this path is Qi.

Shanghai

Page 172: graph4 - SJTUbasics.sjtu.edu.cn/~chen/teaching/GR08/graph4.pdf · 2008. 10. 8. · GRAPH THEORY(IV) Page 4 3.1 2-Connected graphs and subgraphs A maximal connected subgraph without

GRAPH THEORY (IV) Page 37

Proof. (Cont’d)

We show G is k-linked: Let s1, . . . , sk, t1, . . . , tk ∈ V (G) be pairwise distinct.

Note κ(G) ≥ 2k. Hence by Menger’s theorem, G contains disjoint paths

P1, . . . , Pk, Q1, . . . , Qk, such that each Pi starts in si, each Qi starts in ti, and all these

paths end in U but have no inner vertices in U .

Let the set P of these paths be chosen so that their total number of edges outside E(K) is as

small as possible.

Let u1, . . . , uk be those k vertices in U that are not an end of a path in P .

For each i = 1, . . . , k, let Li be the U -path in K (i.e., the subdivided edge of the K3k) from

ui to the end of Pi in U , and let vi be the first vertex of Li on any path P ∈ P .

P has no more edges outside E(K) than PviLiui does, so viP = viLi and hence P = Pi.

Similarly, if Mi denotes the U -path in K from ui to the end of Qi in U , and wi denotes the

first vertex of Mi on any path in P , then this path is Qi.

Then the paths siPiviLiuiMiwiQiti are disjoint for different i and G is k-linked. �

Shanghai