Graph Saturation in Color
Michael Ferrara
Jaehoon Kim
Elyse Yeager
yeager2@illinois.edu
Rose-Hulman Mathematics Seminar
24 September 2014
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
1 / 25
Outline
1
Introduction to Graphs
2
Graph Saturation
3
Ramsey Theory
4
Colored Graph Saturation
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
2 / 25
What Do You Know About Graphs?
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
3 / 25
Graph Basics
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
vertex
|G | : number of vertices in G
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
vertex
|G | : number of vertices in G
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
edge
vertex
|G | : number of vertices in G
kG k : number of edges in G
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Subgraph:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Subgraph:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Subgraph:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Subgraph:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Subgraph:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Subgraph:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Subgraph:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Graph Basics
Subgraph:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
4 / 25
Common Graphs
Path:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
5 / 25
Common Graphs
Path:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
5 / 25
Common Graphs
Path:
Matching:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
5 / 25
Common Graphs
Path:
Matching:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
5 / 25
Common Graphs
Path:
Matching:
Clique:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
5 / 25
Common Graphs
Path:
Matching:
Clique:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
5 / 25
Common Graphs
Path:
Matching:
Clique:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
5 / 25
Common Graphs
Path:
Matching:
Clique:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
5 / 25
Outline
1
Introduction to Graphs
2
Graph Saturation
3
Ramsey Theory
4
Colored Graph Saturation
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
6 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
This graph is triangle saturated
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
This graph is triangle saturated
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
This graph is triangle saturated
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Definition
A graph G is H-saturated if:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Definition
A graph G is H-saturated if:
1
H is not a subgraph of G
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Goal:
Avoid a forbidden subgraph, but add as many edges as possible.
Example:
Let the triangle be forbidden.
Definition
A graph G is H-saturated if:
1
H is not a subgraph of G and
2
If we add any edge to G , H is a subgraph of the resulting graph.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
7 / 25
Saturation Number
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
8 / 25
Saturation Number
Definition:
The saturation number of a graph H and a number n is the minimum
number of edges in a graph on n vertices that is H saturated.
sat(n; H) := min{kG k : |G | = n and G is H saturated}
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
8 / 25
Saturation Number
7 edges
Definition:
The saturation number of a graph H and a number n is the minimum
number of edges in a graph on n vertices that is H saturated.
sat(n; H) := min{kG k : |G | = n and G is H saturated}
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
8 / 25
Saturation Number
7 edges
8 edges
Definition:
The saturation number of a graph H and a number n is the minimum
number of edges in a graph on n vertices that is H saturated.
sat(n; H) := min{kG k : |G | = n and G is H saturated}
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
8 / 25
Saturation Number
7 edges
8 edges
5 edges
Definition:
The saturation number of a graph H and a number n is the minimum
number of edges in a graph on n vertices that is H saturated.
sat(n; H) := min{kG k : |G | = n and G is H saturated}
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
8 / 25
Saturation Number
7 edges
8 edges
5 edges
Definition:
The saturation number of a graph H and a number n is the minimum
number of edges in a graph on n vertices that is H saturated.
sat(n; H) := min{kG k : |G | = n and G is H saturated}
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
8 / 25
Saturation Number
7 edges
8 edges
5 edges
Definition:
The saturation number of a graph H and a number n is the minimum
number of edges in a graph on n vertices that is H saturated.
sat(n; H) := min{kG k : |G | = n and G is H saturated}
Given the above examples:
sat(6; triangle)
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
8 / 25
Saturation Number
7 edges
8 edges
5 edges
Definition:
The saturation number of a graph H and a number n is the minimum
number of edges in a graph on n vertices that is H saturated.
sat(n; H) := min{kG k : |G | = n and G is H saturated}
Given the above examples:
sat(6; triangle) ≤ 5
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
8 / 25
Saturation
Forbidden:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Adding any edge creates
forbidden subgraph
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Adding any edge creates
forbidden subgraph
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Adding any edge creates
forbidden subgraph
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Adding any edge creates
forbidden subgraph
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Adding any edge creates
forbidden subgraph
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Adding any edge creates
forbidden subgraph
Graph Saturation in Color
24 Sept 2014
9 / 25
Saturation
Forbidden:
Graph:
No forbidden subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Adding any edge creates
forbidden subgraph
Graph Saturation in Color
24 Sept 2014
9 / 25
Outline
1
Introduction to Graphs
2
Graph Saturation
3
Ramsey Theory
4
Colored Graph Saturation
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
10 / 25
Edge Coloring
Definition:
An edge coloring of a graph G with k colors is an assignment of a color
from {1, . . . , k} to each edge in G .
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
11 / 25
Edge Coloring
Definition:
An edge coloring of a graph G with k colors is an assignment of a color
from {1, . . . , k} to each edge in G .
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
11 / 25
Edge Coloring
Definition:
An edge coloring of a graph G with k colors is an assignment of a color
from {1, . . . , k} to each edge in G .
Colors: red, blue.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
11 / 25
Edge Coloring
Definition:
An edge coloring of a graph G with k colors is an assignment of a color
from {1, . . . , k} to each edge in G .
Colors: red, blue.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
11 / 25
Edge Coloring
Definition:
An edge coloring of a graph G with k colors is an assignment of a color
from {1, . . . , k} to each edge in G .
Colors: red, blue.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
11 / 25
Edge Coloring
Definition:
An edge coloring of a graph G with k colors is an assignment of a color
from {1, . . . , k} to each edge in G .
Definition:
A graph is monochromatic if all its edges are assigned the same color.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
11 / 25
Ramsey Problems
Goal:
Color the edges of a graph so that no forbidden graph appears with all its
edges assigned the corresponding color.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
12 / 25
Ramsey Problems
Goal:
Color the edges of a graph so that no forbidden graph appears with all its
edges assigned the corresponding color.
Example:
Color red and blue; forbid red triangle and blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
12 / 25
Ramsey Problems
Goal:
Color the edges of a graph so that no forbidden graph appears with all its
edges assigned the corresponding color.
Example:
Color red and blue; forbid red triangle and blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
12 / 25
Ramsey Problems
Goal:
Color the edges of a graph so that no forbidden graph appears with all its
edges assigned the corresponding color.
Example:
Color red and blue; forbid red triangle and blue triangle.
good coloring
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
12 / 25
Ramsey Problems
Goal:
Color the edges of a graph so that no forbidden graph appears with all its
edges assigned the corresponding color.
Example:
Color red and blue; forbid red triangle and blue triangle.
good coloring
Ferrara-Kim-Yeager (UCD, UIUC)
bad coloring
Graph Saturation in Color
24 Sept 2014
12 / 25
Ramsey Problems
Goal:
Color the edges of a graph so that no forbidden graph appears with all its
edges assigned the corresponding color.
Example:
Color red and blue; forbid red triangle and blue triangle.
good coloring
Ferrara-Kim-Yeager (UCD, UIUC)
bad coloring
Graph Saturation in Color
bad coloring
24 Sept 2014
12 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K5 contains a
monochromatic red
Ferrara-Kim-Yeager (UCD, UIUC)
or a monochromatic blue
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K5 contains a
monochromatic red
Ferrara-Kim-Yeager (UCD, UIUC)
or a monochromatic blue
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K5 contains a
monochromatic red
Ferrara-Kim-Yeager (UCD, UIUC)
or a monochromatic blue
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K5 contains a
monochromatic red
Ferrara-Kim-Yeager (UCD, UIUC)
or a monochromatic blue
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K5 contains a
monochromatic red
Ferrara-Kim-Yeager (UCD, UIUC)
or a monochromatic blue
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K5 contains a
monochromatic red
Ferrara-Kim-Yeager (UCD, UIUC)
or a monochromatic blue
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K5 contains a
monochromatic red
Ferrara-Kim-Yeager (UCD, UIUC)
or a monochromatic blue
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K5 contains a
monochromatic red
Ferrara-Kim-Yeager (UCD, UIUC)
or a monochromatic blue
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K5 contains a
monochromatic red
or a monochromatic blue
no good coloring exists
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
13 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Ramsey Problems
Note:
Sometimes a good coloring doesn’t exist!
Example: Any red-blue coloring of the edges of K6 contains a
monochromatic red triangle or a monochromatic blue triangle.
no good coloring exists
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
14 / 25
Outline
1
Introduction to Graphs
2
Graph Saturation
3
Ramsey Theory
4
Colored Graph Saturation
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
15 / 25
Marrying The Two
Recall:
A graph G is H-saturated if G contains no H subgraph, but adding any
edge to G creates an H subgraph.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
16 / 25
Marrying The Two
Recall:
A graph G is H-saturated if G contains no H subgraph, but adding any
edge to G creates an H subgraph.
Ramsey version of saturation:
Given forbidden graphs H1 , . . . , Hk (in colors 1, . . . , k respectively), we say
a graph G is (H1 , . . . , Hk )-saturated if a good edge-coloring of G exists
(using colors 1, . . . , k), but if we add any edge to G , all colorings are bad.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
16 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
,

-saturated.
First: show a good coloring exists.
Second: show no good coloring exists if we add any edge.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
17 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
Marrying The Two



Example: the graph below is 
Ferrara-Kim-Yeager (UCD, UIUC)
,
Graph Saturation in Color

-saturated.
24 Sept 2014
18 / 25
rsat(n; H1 , . . . , Hk )
Again, we are interested in (H1 , . . . , Hk )-saturated graphs with as few
edges as possible.
Definition:
For a number n and forbidden subgraphs H1 , . . . , Hk , we define
rsat(n; H1 , . . . , Hk )
to be the minimum number of edges over all n-vertex graphs that are
(H1 , . . . , Hk )-saturated.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
19 / 25
rsat(n; H1 , . . . , Hk )
Again, we are interested in (H1 , . . . , Hk )-saturated graphs with as few
edges as possible.
Definition:
For a number n and forbidden subgraphs H1 , . . . , Hk , we define
rsat(n; H1 , . . . , Hk )
to be the minimum number of edges over all n-vertex graphs that are
(H1 , . . . , Hk )-saturated.
Previous Example:

is 
Ferrara-Kim-Yeager (UCD, UIUC)

,
-saturated
Graph Saturation in Color
24 Sept 2014
19 / 25
rsat(n; H1 , . . . , Hk )
Again, we are interested in (H1 , . . . , Hk )-saturated graphs with as few
edges as possible.
Definition:
For a number n and forbidden subgraphs H1 , . . . , Hk , we define
rsat(n; H1 , . . . , Hk )
to be the minimum number of edges over all n-vertex graphs that are
(H1 , . . . , Hk )-saturated.
Previous Example:

is 
Ferrara-Kim-Yeager (UCD, UIUC)

,
-saturated, so rsat 5;
Graph Saturation in Color


,
 ≤ 6.
24 Sept 2014
19 / 25
rsat(n; H1 , . . . , Hk )
Again, we are interested in (H1 , . . . , Hk )-saturated graphs with as few
edges as possible.
Definition:
For a number n and forbidden subgraphs H1 , . . . , Hk , we define
rsat(n; H1 , . . . , Hk )
to be the minimum number of edges over all n-vertex graphs that are
(H1 , . . . , Hk )-saturated.
Previous Example:

is 
Ferrara-Kim-Yeager (UCD, UIUC)

,
-saturated, so rsat 5;
Graph Saturation in Color


,
≤.
24 Sept 2014
19 / 25
rsat(n; H1 , . . . , Hk )
Again, we are interested in (H1 , . . . , Hk )-saturated graphs with as few
edges as possible.
Definition:
For a number n and forbidden subgraphs H1 , . . . , Hk , we define
rsat(n; H1 , . . . , Hk )
to be the minimum number of edges over all n-vertex graphs that are
(H1 , . . . , Hk )-saturated.
Previous Example:

is 
Ferrara-Kim-Yeager (UCD, UIUC)

,
-saturated, so rsat 5;
Graph Saturation in Color


,
 ≤ 5.
24 Sept 2014
19 / 25
Forbidding Cliques: Ramsey Numbers
Definition:
Let R = R(c1 , . . . , ct ) be the smallest natural number so that, for
forbidden cliques Kc1 , . . . , Kct , no good coloring of KR exists.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
20 / 25
Forbidding Cliques: Ramsey Numbers
Definition:
Let R = R(c1 , . . . , ct ) be the smallest natural number so that, for
forbidden cliques Kc1 , . . . , Kct , no good coloring of KR exists.
Example: R(3, 3) = 6
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
20 / 25
Forbidding Cliques: Ramsey Numbers
Definition:
Let R = R(c1 , . . . , ct ) be the smallest natural number so that, for
forbidden cliques Kc1 , . . . , Kct , no good coloring of KR exists.
Example: R(3, 3) = 6
no good coloring of K6 exists
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
20 / 25
Forbidding Cliques: Ramsey Numbers
Definition:
Let R = R(c1 , . . . , ct ) be the smallest natural number so that, for
forbidden cliques Kc1 , . . . , Kct , no good coloring of KR exists.
Example: R(3, 3) = 6
no good coloring of K6 exists
Ferrara-Kim-Yeager (UCD, UIUC)
a good coloring of K5 exists
Graph Saturation in Color
24 Sept 2014
20 / 25
Forbidding Cliques: Hanson-Toft
Let R = R(c1 , . . . , ct ). The construction below is (Kc1 , . . . , Kct )-saturated.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
21 / 25
Forbidding Cliques: Hanson-Toft
Let R = R(c1 , . . . , ct ). The construction below is (Kc1 , . . . , Kct )-saturated.
KR−2
Ferrara-Kim-Yeager (UCD, UIUC)
n − (R − 2)
Graph Saturation in Color
24 Sept 2014
21 / 25
Forbidding Cliques: Hanson-Toft
Let R = R(c1 , . . . , ct ). The construction below is (Kc1 , . . . , Kct )-saturated.
KR−2
Ferrara-Kim-Yeager (UCD, UIUC)
n − (R − 2)
Graph Saturation in Color
24 Sept 2014
21 / 25
Forbidding Cliques: Hanson-Toft
Let R = R(c1 , . . . , ct ). The construction below is (Kc1 , . . . , Kct )-saturated.
KR−2
Ferrara-Kim-Yeager (UCD, UIUC)
n − (R − 2)
Graph Saturation in Color
24 Sept 2014
21 / 25
Forbidding Cliques: Hanson-Toft
Let R = R(c1 , . . . , ct ). The construction below is (Kc1 , . . . , Kct )-saturated.
KR−2
Ferrara-Kim-Yeager (UCD, UIUC)
n − (R − 2)
Graph Saturation in Color
24 Sept 2014
21 / 25
Forbidding Cliques: Hanson-Toft
Let R = R(c1 , . . . , ct ). The construction below is (Kc1 , . . . , Kct )-saturated.
KR−2
Ferrara-Kim-Yeager (UCD, UIUC)
n − (R − 2)
Graph Saturation in Color
24 Sept 2014
21 / 25
Forbidding Cliques: Hanson-Toft
Let R = R(c1 , . . . , ct ). The construction below is (Kc1 , . . . , Kct )-saturated.
KR−2
Ferrara-Kim-Yeager (UCD, UIUC)
n − (R − 2)
Graph Saturation in Color
24 Sept 2014
21 / 25
Forbidding Cliques: Hanson-Toft
Let R = R(c1 , . . . , ct ). The construction below is (Kc1 , . . . , Kct )-saturated.
KR−2
Ferrara-Kim-Yeager (UCD, UIUC)
n − (R − 2)
Graph Saturation in Color
24 Sept 2014
21 / 25
Forbidding Cliques: Hanson-Toft
Let R = R(c1 , . . . , ct ). The construction below is (Kc1 , . . . , Kct )-saturated.
KR−2
n − (R − 2)
Hanson-Toft
Conjecture: The construction above has the fewest possible edges.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
21 / 25
Forbidding Matchings: Mader
Mader, 1973: A result about matching-saturation (uncolored).
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
22 / 25
Forbidding Matchings: Mader
Mader, 1973: A result about matching-saturation (uncolored).
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
22 / 25
Forbidding Matchings: Mader
Mader, 1973: A result about matching-saturation (uncolored).
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
22 / 25
Forbidding Matchings: Mader
Mader, 1973: A result about matching-saturation (uncolored).
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
22 / 25
Forbidding Matchings: Ferrara-Kim-Y
Example: Forbidden matching on 10 edges.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y
Example: Forbidden matching on 10 edges.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y
Example: Forbidden matching on 10 edges.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y
Example: Forbidden matching on 10 edges.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y
Example: Forbidden matching on 10 edges.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y
Example: Forbidden matching on 10 edges.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y
Example: Forbidden matching on 10 edges.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y


Colored Example: Forbidden 
Ferrara-Kim-Yeager (UCD, UIUC)

,
,
Graph Saturation in Color
,

.
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y


Colored Example: Forbidden 
Ferrara-Kim-Yeager (UCD, UIUC)

,
,
Graph Saturation in Color
,

.
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y


Colored Example: Forbidden 
Ferrara-Kim-Yeager (UCD, UIUC)

,
,
Graph Saturation in Color
,

.
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y


Colored Example: Forbidden 
Ferrara-Kim-Yeager (UCD, UIUC)

,
,
Graph Saturation in Color
,

.
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y


Colored Example: Forbidden 
Ferrara-Kim-Yeager (UCD, UIUC)

,
,
Graph Saturation in Color
,

.
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y


Colored Example: Forbidden 
Ferrara-Kim-Yeager (UCD, UIUC)

,
,
Graph Saturation in Color
,

.
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y


Colored Example: Forbidden 
Ferrara-Kim-Yeager (UCD, UIUC)

,
,
Graph Saturation in Color
,

.
24 Sept 2014
23 / 25
Forbidding Matchings: Ferrara-Kim-Y


Colored Example: Forbidden 
Ferrara-Kim-Yeager (UCD, UIUC)

,
,
Graph Saturation in Color
,

.
24 Sept 2014
23 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
Ferrara-Kim-Yeager (UCD, UIUC)
,

.
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
Ferrara-Kim-Yeager (UCD, UIUC)
,

.
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
take red subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
take red subgraph
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
take red subgraph
This (uncolored!) subgraph is saturated.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
take red subgraph
This (uncolored!) subgraph is saturated.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
take red subgraph
This (uncolored!) subgraph is saturated.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Iterated Recoloring: Ferrara-Kim-Yeager
Goal:
Use results from (uncolored) saturation in the Ramsey version.



Example: Forbidden graphs 
,

.
good coloring
make red-heavy
take red subgraph
This (uncolored!) subgraph is saturated.
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
24 / 25
Thanks for Listening!
Ferrara-Kim-Yeager (UCD, UIUC)
Graph Saturation in Color
24 Sept 2014
25 / 25