90 likes | 352 Views
Problem: Induced Planar Graphs. Tim Hayes Mentor: Dr. Fiorini. Graph Theory: Common Definitions. Graph (G): a collection of vertices (V(G)) and edges (E(G)). Simple graph: graph without loops or multiple edges.
E N D
Problem: Induced Planar Graphs Tim Hayes Mentor: Dr. Fiorini
Graph Theory: Common Definitions • Graph (G): a collection of vertices (V(G)) and edges (E(G)). • Simple graph: graph without loops or multiple edges. • Subgraph: graph H is a subgraph of graph G if V(H) is a subset of V(G) and E(H) is a subset of E(H). • Connected graph: A graph that has a u,v-path for each pair of vertices u,v.
Example of an Induced Planar Graph • Spaces between lines are regions, where a vertex can be placed. • If there is a boundary between two regions, there is an edge between the corresponding vertices.
Definitions Continued • Isomorphism: An isomorphism from G to H is a bijection f: V(G) → V(H) such that the edge (u,v) is an element of E(G) if and only if (f(u),f(v)) is an element of E(H). • Cycle: A list of vertices v₁,… vn, such that (v(i-1), vi) is an edge and the v₁ = vn. A cycle is an odd-cycle if it involves an odd number of edges and even if it involves an even number.
Graphs to be discussed… Bipartite graph: A graph is bipartite if its vertex set can be partitioned into (at most) two independent sets (subgraphs without edges). Planar graph: A graph is planar if it can be drawn in the plane without edge crossings.
Question: Given any graph, can this graph be an induced planar graph? Can a non-planar graph be represented as a induced planar graph? It seems that by the construction of an induced planar graph that this is not the case. If so, by Wagner’s Theorem, then K3,3 and K5 is not isomorphic to a graph that can be obtained by zero or more edge contractions of a subgraph of the induced planar graph.
No non-planar graphs… but what about… …graphs with odd cycles? Can we suggest that if a graph has an odd cycle, any graph isomorphic to it is not an induced planar graph? It seems that C(2n+1) does not have an isomorphic graph that is a planar induced graph. ? ?
Odd cycles? Is it the case that for any graph, if a subgraph of this graph is isomorphic to C(2n+1) then this graph is not isomorphic to any induced planar graph? Well, all faces must have an even number of edges… what if we have an odd cycle Bipartite graphs
Ok, so planar and bipartite… What about this one? ?