Week 11 - Ryerson University

advertisement
AM8002
Fall 2014
Week 11 –
Cop number of
outerplanar graphs
Dr. Anthony Bonato
Ryerson University
Planar graphs
• a graph is planar if it can be drawn in the plane
without edge crossings
Theorem 11.1 (Aigner, Fromme,84): planar graphs
have cop number at most 3.
2
Example: Buckeyball graphs
• girth 5, 3-regular, so have cop number ≥ 3
(and so = 3 by theorem).
3
Ideas behind proof
• cop territory: induced subgraph so that if the
robber entered he would eventually be caught
(not necessarily immediately)
• cop territory starts as a maximum order
isometric path
• inductively grow cop territory, until it is entire
graph
• show that the cop territory is always one of three
kinds, and that we can always enlarge it so it
remains one of the three kinds
4
Outerplanar graphs
• a graph is outerplanar if its vertices can be
arranged on a circle with the following
properties:
1. Every edge joins two consecutive vertices
on the circle, or forms a chord on the
circle.
2. If two chords intersect, then they do so at
a vertex.
5
Examples
• cycles
• each of these are maximal outerplanar:
6
Characterization
Theorem 11.2 (Kuratowski,1930)
A graph is planar if it does not contain a
subdivision of K5 or K3,3.
Theorem 11.3 (Harary, Chartrand,1967)
A graph is outerplanar if it does not contain
a subdivision of K4 or K2,3.
7
Cop number of
outerplanar graphs
Theorem 11.4 (Clarke, 02) If G is
outerplanar, then it’s cop number is at
most 2.
• proof is simpler than planar case, but still
needs some care
• overall idea is similar: enlarge cop territory
• two cases: no cut vertices, or some cut
vertices
8
Download