Lecture 16 - Notes
March 7, 2016
Planar Graphs Continued
Euler Relation
definition: The Euler Relation is, given a planar graph,
where $f$ is the number of faces, $v$ is the number of vertices and $e$ is the number of edges.
Proof
Imagine we're invading Rome and we want to first flood all the fields around Rome then destroy all roads leading to Rome. How many edges do we destroy?
To flood the regions we need to break a dyke leading into every region, so $f-1$ dykes (edges in this case).
To destroy the roads we have to destroy $v - 1$ roads.
So,
Geometric Dual
definition: We define the Geometric Dual of a planar graph $G$ as the graph created if we make a vertex out of every face of $G$.
If all faces are incident on at least $3$ edges then,
Theorem
If a Planar Graph without self-loops or multi-edges,
Genus
definition: The Genus of a graph is defined as the degree of the surface required to embed the graph on the surface. It is related to the graph by,
Here's some examples of different genus,
Genus 0 | Genus 1 | Genus 2 | Genus 3 |
---|---|---|---|
Embedding in a Plane
Pre-Processing
- Break a Graph into its connected components
- Break each component down to 2-connected components (subgraphs with no cut vertices)