Connectivity Flashcards
When is a graph G connected?
If there exists a u-v path between all vertices in G
What is an AB-path in G?
Two subsets of vertices A and B in G, which consists of paths in G with 1 endpoint in A and 1 endpoint in B
What is an AB-separator, S? And what is s(G,A,B)?
S is a set of vertices in which every AB-path goes through S. s(G,A,B) is the minimum number of vertices in an AB-separator, S.
State: Menger’s Theorem-Vertex Version
For every graph G and for all A,B in V(G) there is a set of s(G,A,B) disjoint AB-paths in G
What does it mean for two vw-paths to be internally disjoint?
It means they have no common vertices other than v and w
State: Menger’s Theorem-Local Vertex Version
For distinct vertices v, w in a graph G, there are t(G,v,w) internally disjoint paths between v a w.
When is a graph G k-connected?
If G has more than k vertices and every cutset has size at least k
What is the connectivity of G, kappa(G)?
The maximum k such that that G is k-connected. Or it is the size of the smallest cutset.
State Menger’s Theorem - Global Vertex Version
for k at least 1 a graph G is k-connected iff for each pair of distinct vertices, there are k internally disjoint path between them
Mader’s Theorem: For every integer k at least 1, every graph G with average degree d(G) at least 4k contains a ___-connected subgraph H with minimum degree delta(G) at least ___ and average degree d(H) \geq ___ \geq ___
(k+1)… 2k+1… d(G) - 2k… 2k
What is an edge-cutset U of E(G)?
A subset of the edge set of G, U of E(G), such that G-U is disconnected.
When is G edge k-connected?
if |V(G)| \geq 2 and ever cutset has size at least kW
What is the edge-connectivity of a graph G with |V(G)| \geq 2 deonted lambda(G)?
The maximum integer k such that G is edge-connected or it is the size of the smallest edge-cutset.
Vertex connectivity of (G) \leq edge connectivity (G) \leq minimum degree of (G)
kappa(G) \leq lambda(G) \leq delta(G)
When are two u-v paths edge-disjoint? And what is t(G,u,v)?
If they share no edges in common. The minimum number of edge whose deletion destroys all u-v paths in G