Overview
Graph theory problems often rely on invariants such as degree sums and connectivity.
Key Ideas
- Handshaking lemma: the sum of degrees equals .
- Trees with vertices have edges.
- Parity arguments are common in graph proofs.
Worked Example
Show that any graph has an even number of vertices of odd degree.
The sum of degrees is , an even number. A sum of degrees is even only if the count of odd terms is even.
More Examples (Warm-up):
Example 1: Interesting Degrees Problem
Let be a simple graph on vertices with degrees . Suppose that
Your job is to prove that contains a triangle.
First, we assume is triangle-free. Then, by Mantel's Theorem, we have that
Also,
For every edge , we have , otherwise and would have a common neighbor and form a triangle. Thus,
which contradicts the claim, so therefore contains a triangle.
Example 2: Hall's Matching Theorem (classic!)
Let be a bipartite graph. Suppose that every vertex of has degree at least , and every vertex of has degree at most .
Your job is to prove that contains a matching saturating (at least one edge for every vertex) .
First of all, for any subset , we can count edges between and :
Thus,
Hall's condition holds, so Hall's Theorem guarantees a matching saturating all vertices of , and we are done!
Example 3: Tricky Paths Problem
Let be a graph on vertices. Suppose that every pair of nonadjacent vertices satisfies the following:
Your job is to prove that any two vertices are connected by at least three internally vertex-disjoint paths (make sure you read this carefully!).
First, assume that there is a vertex cut with . Let and be distinct components of , and here, we will choose , .
Then
From here, Adding and using gives us:
which contradicts the claim. Thus , and Menger's Theorem (important!) means that there are at least three internally vertex-disjoint paths between any two vertices, and here, we are done!
Example 4: Wonderful Bipartite Matching Problem!
Let be a bipartite graph with
Suppose every vertex has degree at least .
Your job is to prove that contains a perfect matching (every vertex has exactly 1 edge).
First, by Hall's Theorem, realize that it suffices to show for every .
Assume . Now, notice that since every vertex of has degree at least ,
Because , we get that:
Thus . Let . Then
Every vertex of has degree at least and no neighbors in , so we have:
Hence , which is a contradiction! Thus, Hall's condition holds, and has a perfect matching, and we are done!
Example 5: Turán's Theorem
Let be a graph on vertices with more than
edges.
Your goal is to prove that contains a clique (you should know this term!) of size .
First, we assume that contains no . So, by Turán's Theorem, we have:
However, this contradicts the claim! So, must contain a clique of size , and we are done here!
Example 6: A Truly Dazzling Triangles Problem :)
Let be a graph on vertices with
Your goal is to prove that there exists an edge contained in at least
triangles.
First, for an edge , let
Since
we can sum over all edges to give us
Then, from here, we can use Cauchy–Schwarz, to get:
Hence
Averaging over all edges,there must be some edge that satisfies
Since
that edge lies in at least
triangles, and we are done!
Practice Problems
| Status | Source | Problem Name | Difficulty | Tags | ||
|---|---|---|---|---|---|---|
| USAMO | Very Hard | Show TagsGraph Theory, Invariants | ||||
| USAMO | Insane | Show TagsGraph Theory | ||||
| Berkeley Math Circle Monthly Contest 2 | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory | ||||
| Berkeley Math Circle Monthly Contest 2 | Hard | Show TagsGraph Theory, Pigeonhole principle | ||||
| Berkeley Math Circle | Hard | Show TagsCounting two ways, Graph Theory, Invariants / monovariants | ||||
| Berkeley Math Circle: Monthly Contest 7 | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory | ||||
| MathNet | Hard | Show TagsCounting two ways, Graph Theory, Invariants / monovariants | ||||
| Berkeley Math Circle Monthly Contest 2 | Hard | Show TagsGraph Theory, Linear and quadratic inequalities | ||||
| Berkeley Math Circle Monthly Contest 4 | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory | ||||
| BAMO | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory, Invariants / monovariants | ||||
| BAMO | Hard | Show TagsGraph Theory, Jensen / smoothing, Linear and quadratic inequalities | ||||
| Berkeley Math Circle | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory, Invariants / monovariants | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory, Linear and quadratic inequalities | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsColoring schemes, extremal arguments, Enumeration with symmetry, Graph Theory | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsGraph Theory | ||||
| Bay Area Mathematical Olympiad | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsColoring schemes, extremal arguments, Counting two ways, Graph Theory | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsEuler characteristic: V-E+F, Graph Theory, Invariants / monovariants | ||||
| USAMO | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory, Induction / smoothing | ||||
| 10th Annual Harvard-MIT Mathematics Tournament | Hard | Show TagsCounting two ways, Enumeration with symmetry, Graph Theory | ||||
| Harvard-MIT Math Tournament | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory, Induction / smoothing | ||||
| Harvard-MIT Math Tournament | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory, Prime numbers | ||||
| Harvard-MIT Math Tournament | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory | ||||
| Harvard-MIT Math Tournament | Hard | Show TagsColoring schemes, extremal arguments, Graph Theory, Induction / smoothing, Pigeonhole principle | ||||
Module Progress:
Join the Discord Community!
Stuck on a problem, or don't understand a module? Join the Discord and get help with your doubts while making more math friends.
