CS205M Graph2
CS205M Graph2
3-colourable
Vertex Coloring Problem
(Ceven ) = 2
(Codd ) = 3
Complete Graphs
(Kn ) = n
Wheels
W5
(Wodd ) = 4 (Weven ) = 3
Vertex Coloring Problem
• Cn: cycle with n vertices; Kn: fully connected graph with n vertices;
• Km,n: complete bipartite graph
C4 C5
K4 K2, 3
Vertex Coloring Problem
G1 G2
Trees
root
even length:
odd length:
This is 2-colourable.
The proof is computer assisted, some mathematicians are still not happy.
Planar Graphs
K4
Planar Graphs
• Example: Q3
Non-Planar Graphs
K3,3 is Nonplanar
v1 v2 v3 v1 v5 v1 v5
R21
R2 R22 R1
R1 v3
v4 v5 v6 v4 v2 v4 v2
Faces/Regions
II
IV II
I
4 Faces/Regions
Region Boundaries
d
Region Boundaries
abca
b
d
Region Boundaries
abca
b
abda
a
d
Region Boundaries
abca
b
abda
a
acda
d
outer region
Region Boundaries
abca
b
abda
a
bcdb
acda
outer region d
Region Boundaries: Bridge
Region Boundaries: Bridge
f
a c e
efge
abcda
abcefgecda
outer region
Region Boundaries: Dongle
Region Boundaries: Dongle
s
r y x
v
t
w
rstur
outer region
u
Region Boundaries: Dongle
s
r y x
v
t
w
u
Region Boundaries: Dongle
s
stvxyxvwvturs
r y x
v
t
w
rstur
u
Face length
v –e +f = 2
v
u
f1
• Case 1:
an+1
bn+1
Proof of Euler’s Formula
• Case 2:
an+1
R
bn+1
Proof of Euler’s Formula
v –e +f = 2
v=1 f=e+1
Proof of Euler’s Formula
v –e +f = 2
e <= 3v-6
Note that
e <= 3v-6
Note that
So
e <= 3v-6
e <= 3v-6
This graph has v=5 and e=10, and so does not satisfy the claim.
Trees
• A connected graph without cycles is called a tree.
• (i.e. a tree is a connected acyclic graph)