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$.

A Geometric Duality of a Planar Graph

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

  1. Break a Graph into its connected components
  2. Break each component down to 2-connected components (subgraphs with no cut vertices)