Download presentation

Presentation is loading. Please wait.

Published byReagan Foreman Modified over 2 years ago

1
Connectivity - Menger’s Theorem Graphs & Algorithms Lecture 3

2
Separators Let G = ( V, E ) be a graph, A, B µ V, and X µ V X separates A and B in G if every A - B path in G contains a vertex from X X is a separating set (vertex cut) of G if G – X is disconnected or contains just one vertex. Examples of separators – trees with at least 3 vertices: every vertex of degree ¸ 2 – bipartite graphs: any partition class – cliques of size l : every set of size l - 1 2

3
Connectivity Number ( G ) G is k -connected if – | V ( G )| > k and – no set of vertices X with | X | < k separates G. G is 2-connected if and only if G is connected, contains at least 3 vertices and no articulation point. Connectivity number ( G ): the greatest integer k such that G is k -connected – ( G ) = 0 iff G is disconnected or K 1 – ( K n ) = n – 1 for all n ¸ 1 – ( C n ) = 2 for all n ¸ 3 – ( Q d ) = d for all d ¸ 1 ( Q d ´ d -dimensional hypercube) 3

4
Structure of k -connected graphs Example: Blocks are 2-connected – maximal set of edges such that any two edges lie on a common simple cycle – every vertex is in a cycle – there are at least two independent (internally vertex disjoint) paths between any two non-adjacent vertices Is it true that a graph G is k -connected if and only if any two non-adjacent vertices of G are joined by k independent paths? – independent paths: pairwise internally vertex disjoint Example of a 3-connected graph 4

5
Menger’s Theorem Theorem (Menger, 1927) Let G = ( V, E ) be a graph and s and t distinct, non- adjacent vertices. Let X µ V \ {s, t} be a set separating s from t of minimum size, P be a set of independent s – t paths of maximum size. Then we have | X | = | P |. Clearly: | X | ¸ | P |. We need to show: | X | = | P |, i.e., there exist k :=| X | independent s – t paths. (Why is this not obvious?) 5

6
Menger’s Theorem II Theorem (multiple sources and sinks) Let G = ( V, E ) be a graph and S, T µ V. Let X µ V be a set separating S from T of minimal size, P be a set of disjoint S – T paths of maximal size. Then we have | X | = | P |. Proof insert two new vertices s and t into G connect s to all vertices of S and t to all vertices of T apply Menger’s Theorem to s and t in this new graph 6

7
Menger’s Theorem III Theorem (Whitney, 1932, global version) A graph is k -connected if and only if it contains k independent paths between any two distinct vertices. Proof ( : clear ) : Lemma For every e 2 E ( G ), we have ( G – e ) ¸ ( G ) – 1. 7

Similar presentations

OK

CSE 421 Algorithms Richard Anderson Lecture 22 Network Flow.

CSE 421 Algorithms Richard Anderson Lecture 22 Network Flow.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on next generation 2-stroke engine diagram Ppt on programmable logic array circuit Ppt on online registration system Presentations ppt online viewer Can keynote read ppt online Ppt on plant cell wall Ppt on council of ministers kuwait Ppt on automobile industry in detroit Ppt on rulers of uae Ppt on computer system for class 9