ScholarQuill logoScholarQuillUniversity Notes
  • Notes
  • Past Papers
  • Blogs
  • Todo
Login
ScholarQuill logoScholarQuillUniversity Notes
Login
NotesPast PapersBlogsTodo
More
SubjectsDiscussionCGPA CalculatorGPA CalculatorStudent PortalCourse Outline
About
About usPrivacy PolicyReportContact
Notes
Past Papers
Blogs
Todo
Analytics
    Current Subject
    🧩
    Discrete Structures
    GE-167
    Progress0 / 67 topics
    Topics
    1. Mathematical Reasoning: Propositional and Predicate Logic2. Propositional Logic: Logical Operators3. Translations Between Symbolic Expressions and Formal English Expression4. Logical Equivalences5. Predicate Logic: Quantifiers6. Nested Quantification7. Equivalences in Predicate Logic8. Translations Between Symbolic Forms and Formal English9. Rules of Inference: Proof Methods and Strategies10. Direct Proof11. Proof by Contraposition12. Proof by Induction13. Proof by Implication14. Existence Proof15. Uniqueness Proofs16. Trivial Proofs17. Vacuous Proofs18. Sets: Notations and Set Operations19. Venn Diagrams20. Countable and Uncountable Sets21. Relations: Equivalence Relations and Partitions22. Partial Orderings23. Recurrence Relations24. Functions: Injective, Surjective, Bijective25. Special Types of Functions26. Function Composition27. Inverse Functions28. Recursive Functions29. Compositions30. Number Theory: Sequences and Series31. Counting: Inclusion and Exclusion Principle32. Pigeonhole Principle33. Permutations and Combinations34. Integers and Divisibility: Division Theorem35. Modular Arithmetic36. LCM and GCD37. Euclidean and Extended Euclidean Method38. Finding Solutions to Congruence39. Primes: Fundamental Theorem of Arithmetic40. Characterizations of Primes41. Mersenne Primes42. Induction: Weak Induction43. Strong Induction44. Recursion and Recurrences: Formulation of Recurrences45. Closed Formulas46. Counting: Product Rule and Sum Rule47. Principle of Inclusion-Exclusion48. Binomial Coefficients49. Pascal's Identity and Pascal’s Triangle50. Binomial Theorem51. Relations: Reflexive, Symmetric, Transitive, and Antisymmetric52. Equivalence Relations and Equivalence Classes53. Partial Orders54. Graph Theory: Terminologies55. Elements of Graph Theory56. Planar Graphs57. Graph Coloring58. Euler Graph59. Hamiltonian Path60. Rooted Trees61. Graph Traversals62. Handshaking Lemma and Corollary63. Special Families of Graphs64. Graph Isomorphism65. Planarity in Graphs66. Eulerian and Hamiltonian Graphs67. Trees in Graph Theory
    GE-167›Planar Graphs
    Discrete StructuresTopic 56 of 67

    Planar Graphs

    7 minread
    1,105words
    Intermediatelevel

    Planar Graphs

    In graph theory, a planar graph is a graph that can be drawn on a plane (or a flat surface) such that no edges cross each other. In other words, a graph is planar if it is possible to lay out its vertices and edges on a two-dimensional surface without any edges intersecting, except at their endpoints (the vertices).

    Planar graphs have important applications in areas like circuit design, geographical mapping, and graph drawing. Understanding planar graphs is crucial in graph theory, and several fundamental concepts and results are associated with them.


    1. Definition of a Planar Graph

    A graph G=(V,E)G = (V, E)G=(V,E) is planar if there exists an embedding of GGG into the plane, i.e., a way to draw GGG on the plane such that no two edges intersect except at their vertices.

    2. Non-Planar Graphs

    If a graph cannot be drawn on a plane without edges crossing, it is called a non-planar graph. One of the most famous examples of a non-planar graph is the K5 (complete graph on 5 vertices) and K3,3 (complete bipartite graph on two sets of 3 vertices).


    3. Kuratowski's Theorem

    A key result in the theory of planar graphs is Kuratowski's Theorem, which characterizes planar graphs in terms of subgraphs.

    • Kuratowski's Theorem states that a graph is planar if and only if it does not contain a subgraph that is a subdivision of either K5 (the complete graph on 5 vertices) or K3,3 (the complete bipartite graph on two sets of 3 vertices).

    K5 (Complete graph on 5 vertices)

    • The graph K5 is a complete graph on 5 vertices, meaning each vertex is connected to every other vertex.
    • K5 cannot be drawn in a plane without edges crossing.

    K3,3 (Complete bipartite graph on two sets of 3 vertices)

    • K3,3 is a complete bipartite graph consisting of two sets of 3 vertices, with each vertex in one set connected to all vertices in the other set.
    • K3,3 also cannot be drawn in a plane without edges crossing.

    Thus, Kuratowski's Theorem provides a way to check whether a graph is planar: if the graph contains a subgraph that is a subdivision of K5 or K3,3, it is non-planar.


    4. Euler’s Formula for Planar Graphs

    One of the most important results for planar graphs is Euler's formula, which relates the number of vertices (VVV), edges (EEE), and faces (FFF) in a planar graph.

    Euler's formula states that for a connected planar graph:

    V−E+F=2V - E + F = 2V−E+F=2

    Where:

    • VVV is the number of vertices,
    • EEE is the number of edges, and
    • FFF is the number of faces (regions, including the outer region, into which the plane is divided by the edges).

    Applications of Euler's Formula

    • Planarity Checking: Euler’s formula is useful for determining whether a given graph can be planar based on its number of vertices and edges. If a graph does not satisfy Euler's formula, it cannot be planar.
    • Graph Drawing: Euler’s formula can help in understanding the constraints of drawing planar graphs and helps in algorithms for planar graph drawing.

    5. Planar Graphs and Graph Coloring

    In planar graphs, there is a well-known result called the Four Color Theorem, which states that:

    • Any planar graph can be colored using no more than four colors such that no two adjacent vertices share the same color.

    This result was first conjectured in 1852 and was proven in 1976 by Kenneth Appel and Wolfgang Haken, using computer-assisted proof methods. The Four Color Theorem has important implications for map coloring, where regions of a map can be represented as vertices, and borders between regions as edges.


    6. Planar Graph Drawing

    • Planar Embedding: The process of embedding a planar graph into the plane such that no edges intersect except at their endpoints is called a planar embedding.
    • Face: In a planar embedding of a graph, the regions formed by the edges are called faces (including the outer face, which is the region surrounding the graph).

    7. Properties of Planar Graphs

    • Maximum number of edges: For a connected planar graph with VVV vertices, the maximum number of edges EEE is given by:

      E≤3V−6E \leq 3V - 6E≤3V−6

      This inequality holds for planar graphs with V≥3V \geq 3V≥3. If a graph exceeds this number of edges, it is non-planar.

    • Planar Subgraphs: If a graph is planar, then every subgraph of it is also planar. However, the reverse is not necessarily true (i.e., not every subgraph of a planar graph is planar).


    8. Types of Planar Graphs

    • Outerplanar Graph: A graph is outerplanar if it can be embedded in the plane in such a way that all of its vertices lie on the boundary of the outer face.
    • Polyhedral Graph: A polyhedral graph is a planar graph that represents the vertices and edges of a convex polyhedron (3-dimensional object). A classical example of a polyhedral graph is the graph of the tetrahedron or cube.

    9. Applications of Planar Graphs

    • Geographical Mapping: Planar graphs are used in geographical mapping and map coloring problems, where regions are represented by vertices, and borders between regions are represented by edges.
    • Circuit Design: In electrical engineering, planar graphs are used to represent circuit layouts, ensuring that connections between components do not cross each other.
    • Network Design: Planar graphs are useful in network topology, where the goal is to design a network that minimizes edge crossings.

    Summary of Key Points

    • A planar graph can be drawn on a plane without edge crossings.
    • Kuratowski's Theorem helps identify non-planar graphs by checking for subgraphs isomorphic to K5 or K3,3.
    • Euler's formula for a connected planar graph is V−E+F=2V - E + F = 2V−E+F=2.
    • The Four Color Theorem guarantees that four colors are sufficient to color any planar graph.
    • Planar graphs have limitations on the number of edges, given by E≤3V−6E \leq 3V - 6E≤3V−6.
    • Applications: Planar graphs are used in map coloring, circuit design, network topology, and more.
    Previous topic 55
    Elements of Graph Theory
    Next topic 57
    Graph Coloring

    Past Papers

    Open this section to load past papers

    Click on Show Past Papers to see past papers.
    On This Page
      Reading Stats
      Est. reading time7 min
      Word count1,105
      Code examples0
      DifficultyIntermediate