Graph Theory Final Review Flashcards
Kuratowski’s Theorem (Minors)
A Graph G is not planar iff it has a K3,3 or K5 minor
Kuratowski’s Theorem (Topological Minors)
A Graph G is not planar iff it has a topological minor isomorphic to K3,3 or K5
Menger’s Theorem (Disjoint s-t paths)
Let S and T be sets of vertices in a graph G then for k element of integers one of the following is true 1) There exist k disjoint s-t paths or 2) There is a k-1 separation (A,B) of G with s within A and t within B
Menger’s Theorem (Internally disjoint s-t paths)
Let S and T be distinct non adjacent vertices in a graph G then for k where k is an element of the integers one of the following statements is true either 1) There exist k internally disjoint s-t paths or 2) There is a k-1 separation of (A,B) of G with S element of V(A)\V(B) and T element of V(B)\V(A)
K connected
If G - X is connected for all sets x element of V(G) and |x| < k
Block
Maximal nonseperable subgraph
3 Facts about Blocks
1) A Graph G is planar iff all its blocks are planar
2) A Graph G is bipartite iff all its blocks are bipartite
3) A Graph G is k-colorable iff all its blocks are k-colorable
What is the number of ears in a loopless 2 connected graph?
|E|-|V|+1
What properties do the excluded minors of planar graphs have
Simple and 3 connected
Tuttle’s Wheel Theorem
Let G be a simple 3 connected graph with |V(G)| >= 4. If G is not a wheel then there exists an edge in G such that either G-e or G/e is both simple and 3 connected
Prove Kuratowski’s Theorem for Minors using Tuttle’s Wheel theorem
Page 21-23
Theorem [Tuttle]
Let C be a cycle in a graph G then G is planar iff for each bridge B of C the graph B U C is planar and the overlap graph is bipartite.
What condition causes a graph G to have a separating cycle and what opposite condition causes a graph G to be planar
If |E| > |V| + 1 then G has a seperating cycle. If |E| <= |V| + 1 G is planar
Tutte’s matching theorem
A graph G has no perfect matching iff there exists vertices of G named X such that odd(G-X) > |X|
2 Tuttle Berge formulas
Max matching = Min(|X|+(|V(G-X)|- odd(G-X))/2) For all possible X subset of V(G)
Def(G) = Max odd(G-x)-|X|