Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v...
Transcript of Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v...
![Page 1: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/1.jpg)
Short proofs of coloring theorems on planargraphs
Oleg V. Borodin, Alexandr V. Kostochka, Bernard Lidický,Matthew Yancey
Sobolev Institute of Mathematics and Novosibirsk State UniversityUniversity of Illinois at Urbana-Champaign
AMS Sectional MeetingsUniversity of Mississippi, Oxford
March 2, 2013
![Page 2: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/2.jpg)
Definitions (4-critical graphs)
graph G = (V ,E)
coloring is ϕ : V → C such that ϕ(u) 6= ϕ(v) if uv ∈ E
G is a k-colorable if coloring with |C| = k exists
G is a 4-critical graph if G is not 3-colorablebut every H ⊂ G is 3-colorable.
![Page 3: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/3.jpg)
Inspiration
Theorem (Grötzsch ’59)Every planar triangle-free graph is 3-colorable.
Recently reproved by Kostochka and Yancey using
Theorem (Kostochka and Yancey ’12)If G is 4-critical graph, then
|E(G)| ≥ 5|V (G)| − 23
.
used as 3|E(G)| ≥ 5|V (G)| − 2
![Page 4: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/4.jpg)
Every planar triangle-free graph is 3-colorable.
Let G be a minimal counterexample - not 3-colorable but everysubgraph is. i.e. G is 4-criticalCASE1 G contains a 4-face (try 3-color G)
v3 v2
v1v0
CASE2 G contains no 4-faces
![Page 5: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/5.jpg)
Every planar triangle-free graph is 3-colorable.
Let G be a minimal counterexample - not 3-colorable but everysubgraph is. i.e. G is 4-criticalCASE1 G contains a 4-face (try 3-color G)
1 2
12
1 2
13
CASE2 G contains no 4-faces
![Page 6: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/6.jpg)
Every planar triangle-free graph is 3-colorable.
Let G be a minimal counterexample - not 3-colorable but everysubgraph is. i.e. G is 4-criticalCASE1 G contains a 4-face (try 3-color G)
1 2
12
1 2
13
CASE2 G contains no 4-faces
![Page 7: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/7.jpg)
Every planar triangle-free graph is 3-colorable.
Let G be a minimal counterexample - not 3-colorable but everysubgraph is. i.e. G is 4-criticalCASE1 G contains a 4-face (try 3-color G)
v3 v2
v1v0
x1
x2
CASE2 G contains no 4-faces
![Page 8: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/8.jpg)
Every planar triangle-free graph is 3-colorable.
Let G be a minimal counterexample - not 3-colorable but everysubgraph is. i.e. G is 4-criticalCASE1 G contains a 4-face (try 3-color G)
v3 v2
v1v0
x1
x2
y1
y2
CASE2 G contains no 4-faces
![Page 9: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/9.jpg)
Every planar triangle-free graph is 3-colorable.
Let G be a minimal counterexample - not 3-colorable but everysubgraph is. i.e. G is 4-criticalCASE1 G contains a 4-face (try 3-color G)
CASE2 G contains no 4-faces|E(G)| = e, |V (G)| = v , |F (G)| = f .• v − 2 + f = e by Euler’s formula• 2e ≥ 5f since face is at least 5-face• 5v − 10 + 5f = 5e• 5v − 10 + 2e ≥ 5e• 5v − 10 ≥ 3e (our case)• 3e ≥ 5v − 2 (every 4-critical graph)
![Page 10: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/10.jpg)
Generalizations?
Theorem (Grötzsch ’59)Every planar triangle-free graph is 3-colorable.
Can be strengthened?
![Page 11: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/11.jpg)
Generalizations?
Theorem (Grötzsch ’59)Every planar triangle-free graph is 3-colorable.
Can be strengthened?
Yes! - recall that CASE2• 5v − 10 ≥ 3e (no 3-,4-faces)• 3e ≥ 5v − 2 (every 4-critical graph)
has some gap.
![Page 12: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/12.jpg)
Adding a bit
Theorem (Aksenov ’77; Jensen and Thomassen ’00)Let G be a triangle-free planar graph and H be a graph suchthat G = H − h for some edge h of H. Then H is 3-colorable.
G
H
h
![Page 13: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/13.jpg)
Adding a bit
Theorem (Aksenov ’77; Jensen and Thomassen ’00)Let G be a triangle-free planar graph and H be a graph suchthat G = H − h for some edge h of H. Then H is 3-colorable.
Theorem (Jensen and Thomassen ’00)Let G be a triangle-free planar graph and H be a graph suchthat G = H − v for some vertex v of degree 3. Then H is3-colorable.
G
H
h
G
H
v
![Page 14: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/14.jpg)
Adding a bit
Theorem (Aksenov ’77; Jensen and Thomassen ’00)Let G be a triangle-free planar graph and H be a graph suchthat G = H − h for some edge h of H. Then H is 3-colorable.
TheoremLet G be a triangle-free planar graph and H be a graph suchthat G = H − v for some vertex v of degree 4. Then H is3-colorable.
G
H
h
G
H
v
![Page 15: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/15.jpg)
For proof
TheoremLet G be a triangle-free planar graph and H be a graph suchthat G = H − v for some vertex v of degree 4. Then H is3-colorable.
G
H
h
G
H
v
![Page 16: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/16.jpg)
Proof
G plane, triangle-free, G = H − v ,H is 4-critical G
H
h
G
H
v
CASE1: No 4-faces in GV (H) = v ,E(H) = e,V (G) = v − 1,E(G) = e − 4,F (G) = f• 5f ≤ 2(e − 4) since G has no 4-faces• (n − 1) + f − (e − 4) = 2 by Euler’s formula• 5n + 5f − 5e = −5• 5n − 3e − 8 ≥ −5• 5n − 3 ≥ 3e (our case)• but 3e ≥ 5n − 2 (H is 4-criticality)
CASE2: 4-face (v0, v1, v2, v3) ∈ G
![Page 17: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/17.jpg)
Proof
G plane, triangle-free, G = H − v ,H is 4-critical G
H
h
G
H
v
CASE1: No 4-faces in GCASE2: 4-face (v0, v1, v2, v3) ∈ G
v3 v2
v1v0
![Page 18: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/18.jpg)
Proof
G plane, triangle-free, G = H − v ,H is 4-critical G
H
h
G
H
v
CASE1: No 4-faces in GCASE2: 4-face (v0, v1, v2, v3) ∈ G
v3 v2
v1v0
x1
x2
![Page 19: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/19.jpg)
Proof
G plane, triangle-free, G = H − v ,H is 4-critical G
H
h
G
H
v
CASE1: No 4-faces in GCASE2: 4-face (v0, v1, v2, v3) ∈ G
v3 v2
v1v0
x1
x2
y1
y2
![Page 20: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/20.jpg)
Precoloring
Theorem (Grötzsch ’59)Let G be a triangle-free planar graph and F be a face of G oflength at most 5. Then each 3-coloring of F can be extended toa 3-coloring of G.
G G G
Theorem (Aksenov et al. ’02)Let G be a triangle-free planar graph. Then each coloring oftwo non-adjacent vertices can be extended to a 3-coloring of G.
![Page 21: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/21.jpg)
For proof
Theorem (Grötzsch ’59)Let G be a triangle-free planar graph and F be a face of G oflength at most 5. Then each 3-coloring of F can be extended toa 3-coloring of G.
G G
![Page 22: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/22.jpg)
Proof
If G is triangle-free planar, F is a precolored 4-face or 5-face,then precoloring of F extends.
CASE1: F is a 4-face
1 2
12
G
CASE2: F is a 5-face
![Page 23: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/23.jpg)
Proof
If G is triangle-free planar, F is a precolored 4-face or 5-face,then precoloring of F extends.
CASE1: F is a 4-face H is 3-colorable
1 2
12
G G v
H
CASE2: F is a 5-face
![Page 24: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/24.jpg)
Proof
If G is triangle-free planar, F is a precolored 4-face or 5-face,then precoloring of F extends.
CASE1: F is a 4-face H is 3-colorable
1 2
12
G G v
H 1 2
12
G 3
H
CASE2: F is a 5-face
![Page 25: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/25.jpg)
Proof
If G is triangle-free planar, F is a precolored 4-face or 5-face,then precoloring of F extends.
CASE1: F is a 4-face H is 3-colorable
1 2
12
G G v
H 1 2
12
G 3
H
1 2
13
G
CASE2: F is a 5-face
![Page 26: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/26.jpg)
Proof
If G is triangle-free planar, F is a precolored 4-face or 5-face,then precoloring of F extends.
CASE1: F is a 4-face H is 3-colorable
1 2
12
G G v
H 1 2
12
G 3
H
1 2
13
G G H
CASE2: F is a 5-face
![Page 27: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/27.jpg)
Proof
If G is triangle-free planar, F is a precolored 4-face or 5-face,then precoloring of F extends.
CASE1: F is a 4-face H is 3-colorable
1 2
12
G G v
H 1 2
12
G 3
H
1 2
13
G G H
1 2
13
G H
CASE2: F is a 5-face
![Page 28: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/28.jpg)
ProofIf G is triangle-free planar, F is a precolored 4-face or 5-face,then precoloring of F extends.
CASE1: F is a 4-face H is 3-colorable
1 2
12
G G v
H 1 2
12
G 3
H
1 2
13
G G H
1 2
13
G H
CASE2: F is a 5-face
2 3
213
G
![Page 29: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/29.jpg)
ProofIf G is triangle-free planar, F is a precolored 4-face or 5-face,then precoloring of F extends.
CASE1: F is a 4-face H is 3-colorable
1 2
12
G G v
H 1 2
12
G 3
H
1 2
13
G G H
1 2
13
G H
CASE2: F is a 5-face
2 3
213
G G v
H
![Page 30: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/30.jpg)
ProofIf G is triangle-free planar, F is a precolored 4-face or 5-face,then precoloring of F extends.
CASE1: F is a 4-face H is 3-colorable
1 2
12
G G v
H 1 2
12
G 3
H
1 2
13
G G H
1 2
13
G H
CASE2: F is a 5-face
2 3
213
G G v
H 2 3
213
G 1
H
![Page 31: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/31.jpg)
Some triangles?
Theorem (Grötzsch ’59)Every planar triangle-free graph is 3-colorable.
![Page 32: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/32.jpg)
Some triangles?
Theorem (Grötzsch ’59)Every planar triangle-free graph is 3-colorable.
We already showed one triangle!
G
Removing one edge of triangle results in triangle-free G.
![Page 33: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/33.jpg)
Some triangles?
Theorem (Grötzsch ’59)Every planar triangle-free graph is 3-colorable.
Theorem (Grünbaum ’63; Aksenov ’74; Borodin ’97)Let G be a planar graph containing at most three triangles.Then G is 3-colorable.
G
![Page 34: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/34.jpg)
Three triangles - Proof outline
Theorem (Grünbaum ’63; Aksenov ’74; Borodin ’97)Let G be a planar graph containing at most three triangles.Then G is 3-colorable.
• G is 4-critical (minimal counterexample)• 3-cycle is a face• 4-cycle is a face or has a triangle inside and outside• 5-cycle is a face or has a triangle inside and outside
CASE1: G has no 4-facesCASE2: G has a 4-faces with triangle (no identification)CASE3: G has a 4-face where identification applies
![Page 35: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/35.jpg)
Three triangles - Proof outline
CASE1: G has no 4-faces
• v − 2 + f = e by Euler’s formula• 5v − 4 + 5f − 6 = 5e• 2e ≥ 5(f − 3) + 3 · 3 = 5f − 6 since 3 triangles• 5v − 4 ≥ 3e (our case)• 3e ≥ 5v − 2 (every 4-critical graph)
![Page 36: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/36.jpg)
Three triangles - Proof outline
CASE2: G has a 4-face F with a triangle (no identification)
v3 v2
v1v0
F
Both v0, v1, v2 and v0, v2, v3 are faces. G has 4 vertices!
![Page 37: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/37.jpg)
Three triangles - Proof
CASE3: G has a 4-face where identification applies
v3 v2
v1v0
x1
x2
y1
y2
Since G is planar, some vertices are the same.
![Page 38: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/38.jpg)
Three triangles - Proof
CASE3: G has a 4-face where identification applies
v3 v2
v1v0
x1
x2
y1
y2
Since G is planar, some vertices are the same.
v0 v1
v2v3
z
x = y
v0 v1
v2v3
z
x y
![Page 39: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/39.jpg)
Three triangles - Proof
CASE3: G has a 4-face where identification applies
Since G is planar, some vertices are the same.
v0 v1
v2v3
z
x = y
v0 v1
v2v3
z
x y
Only some cases left . . .
![Page 40: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/40.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
![Page 41: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/41.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
face
![Page 42: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/42.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
face
v0 v1
v2v3
z
x = y
![Page 43: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/43.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
face
v0 v1
v2v3
z
x = y
v0
v1 = v3
v2
z
x = y
![Page 44: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/44.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
face
v0 v1
v2v3
z
x = y
v0
v1 = v3
v2
z
x = y
v0
v1 = v3
x = y
z
![Page 45: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/45.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
face
v0 v1
v2v3
z
x = y
v0
v1 = v3
v2
z
x = y
v0
v1 = v3
x = y
z
v0
v1 = v3
x = y
z
w1
![Page 46: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/46.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
face
v0 v1
v2v3
z
x = y
v0
v1 = v3
v2
z
x = y
v0
v1 = v3
x = y
z
v0
v1 = v3
x = y
z
w1
v0 v1
v2v3
z
x = y
w1
![Page 47: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/47.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
face
v0 v1
v2v3
z
x = y
v0
v1 = v3
v2
z
x = y
v0
v1 = v3
x = y
z
v0
v1 = v3
x = y
z
w1
v0 v1
v2v3
z
x = y
w1
v0 v1
v2v3
z
x = y
w1
![Page 48: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/48.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
face
v0 v1
v2v3
z
x = y
v0
v1 = v3
v2
z
x = y
v0
v1 = v3
x = y
z
v0
v1 = v3
x = y
z
w1
v0 v1
v2v3
z
x = y
w1 v0 v1
v2v3
z
x = y
w1
v0 v1
v2v3
z
x = y
w1
w2
![Page 49: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/49.jpg)
One of the 2 cases left
v0 v1
v2v3
z
x = y
face
v0 v1
v2v3
z
x = y
v0
v1 = v3
v2
z
x = y
v0
v1 = v3
x = y
z
v0
v1 = v3
x = y
z
w1
v0 v1
v2v3
z
x = y
w1 v0 v1
v2v3
z
x = y
w1 v0 v1
v2v3
z
x = y
w1
w2
v0 v1
v2v3
z
x = y
w1 = w2
![Page 50: Short proofs of coloring theorems on planar graphs · CASE1 G contains a4-face (try3-color G) v 3 v 2 v 0 v 1 x 1 x 2 CASE2 G contains no4-faces. Every planar triangle-free graph](https://reader035.fdocument.pub/reader035/viewer/2022071023/5fd87f111c99531ba65f14dc/html5/thumbnails/50.jpg)
Thank you for your attention!
I hope to see you at EXCILL2, Mar 16-18 @ UIUC