graph theory ch6 planar graphs. basic definitions curve, polygon curve, drawing crossing, planar,...
TRANSCRIPT
Basic Definitions curve, polygon curve, drawing crossing, planar, planar embedding,
and plane graph open set region, face
Restricted Jordan Curve Theorem
Theorem. A simple closed polygonal curve C consisting of finite number of segments partitions the plane into exactly 2 faces, each have C as boundary
Dual Graphs Definition:
let function F on a graph F(G) = { faces of G }if there exits f: V(G*) → F(G) so that f is 1-1 & onto and for all x, y V(G*), there is an edge connects x, y iff there is an edge e in G that f(x) and f(y) are on the different side of e.
A cut-edge in G becomes a loop in G*
For all x V(G*) and X = f(x), x is in the interior of X Each edge e in G there is exactly one e* in G* that e and e* cro
sses. (G*) *=G iff G is connected
pf:a) for all G, G* is connectedb) each face in G* contains exactly one vertex of G
Two embeddings of a planar graph may have non-isomorphic duals.
Length of a face
length of a face is defined as total length of the boundary of the face.
2e(G) = ∑L (Fi) Theorem.
edges in G form a cycle in G iff the corresponding edges in G* form a bond in G*
Theorem.the follows are equivalentA) G is bipartiteB) every face of G has even lengthC) G* is Eulerian
Outerplane graph Def: outerplanar, outerplane graph
a graph is outerplanar if it has an embedding that every vertex is on the boundary of the unbounded face.
The boundary of the outer face of a 2-connected outerplane graph is a spanning cycle
K4 and K2,3 are not outerplanar.
Every simple outerplane graph has 2 non-adjacent vertex of degree at most 2pf:1. n(G) < 3, every vertex has degree ≤22. n(G) = 4 holds. (think about K4 – {any edges})3. n(G) ≥ 4
Euler’s Formula n – e + f = 2
All planar embeddings of connected graph G have the same number of faces
A graph with k components, n – e + f = k+1
For simple planar graphs, e(G) ≤ 3n(G) – 6,if G is triangle free, e(G) ≤ 2n(G) – 4pf:2e = ∑L (Fi) ≥ 3f -----(*)f = e – n + 2
=> e ≤ 3n – 6for triangle free case, 3f in (*) -> 4f
K5 and K3,3 are not planar
Maximal Planar Graph
Def. Maximal planar graph: a simple planar graph that is not a spanning subgraph of any other planar graph.
Proposition. The follows are equivalentA)G has 3n-6 edgesB)G is a triangulationC)G is a maximal plane graph
Regular Polyhedra A graph embeds in the plane iff it embeds on a sphere
For a regular polyhedra of degree k and all faces’ length are l e( 2/k + 2/l -1 ) = 2=> (2/k) + (2/l) > 1=> (k – 2)(l – 2) < 4hence k and l can only be k l f
3 3 43 4 64 3 83 5 125 3 20
Kuratowski’s Theorem Theorem. A graph is planar iff it does not contain a subdivisio
n of K5 or K3,3. Kuratowski subgraph: a subgraph contains a subdivision of K
5 or K3,3. minimal nonplanar graph: a nonplanar graph that every prop
er subgraph is planar
Lemma 1if F is the edge set of a face in a planar embedding of G, then G has an embedding with F being the edge set of the unbounded face.
Lemma 2every minimal planar graph is 2-connected.
Lemma 3let S = {x, y} be a separating set of G, if G is nonplanar, there Exist some S-lobe adding (x, y) is nonplanar.
Lemma 4if G is a graph with Fewest Edges among all nonplanar graphs without Kuratowski subgraphs G is 3-connected
Convex embedding: planar embedding that each face boundary is a convex polygon
Theorem. Every 3-connected planar graph has a convex embedding
Theorem. Every 3-connected graph G with at least 5 vertices has an edge e such that G˙e is 3-connected.
Theorem. (Tutte1960) if G is a 3-connected graph without subdivision of K5 or K3,3, then G has a convex embedding in the plane with no three vertices on a line
Pf: induction on n(G)K4:
n(G) > 4:exist e that G˙e is 3-connected. G˙e has no Kuratowski subgraph.e z, H = G˙eH-z is 2-connected.
Definition: H is a minor of G if a copy of H can be obtained by deleting or contracting edges of G.
G is planar iff neither K5 nor K3,3 is a minor of G. Nonseparating Let G be a subdivisions of a 3-connected graph.G is planar iff
every edge e exactly lies in 2 nonseparating cycles.
H-fragment Conflict Planarity testing If a planar embedding of H can be extended to a planar
embedding of G, then in that extension every H-fragment of G appears inside a single face of H.
Planarity testing1. find a cycle G0
2. for each Gi-fragment B, determine all faces of Gi that contain all vertices of attachment of B. call it F(B)3. if F(B) is empty for some B, stop (FAIL). Else, choose one.4. choose a path P between 2 vertices of attachment of B. embed P across F(B). Result in Gi+1.