Abstract: Maximal planar graph refers to the planar graph with the most edges, which means no more edges can be added so that the resulting graph is still planar. The Four-Color Conjecture says that every planar graph without loops is 4-colorable. Indeed, in order to prove Four-Color Conjecture, it clearly suffices to show that all maximal planar graphs are 4-colorable. Since this conjecture was proposed in 1852, no mathematical proofs have been invented up until now. Maybe the main reasons lie in the following three aspects in terms of maximal planar graphs: not clearing up the structures, not figuring out the coloring types, and not straightening out the relation between structure and coloring. For this, we will write a series of articles to study the structure and coloring theory of maximal planar graphs systematically. This is our first article, which focuses mainly on the structure and coloring relations. First, we introduce a new way to construct maximal planar graphs. The advantage of this method is that it establishes an immediate relation with 4-colorings, and reveals how a given maximal planar graph is generated. Second, a special class of maximal planar graphs--recursive maximal planar graphs is researched in depth, which lays a foundation for solving the uniquely 4-colorable planar graphs conjecture(see subsequent articles). Third, we discover an important mode for classifying 4-colorings: tree-coloring and cycle-coloring, which runs through the whole series of articles. Furthermore, this mode is applied to the research on an arbitrary 4-coloring and its corresponding structure of unions of two and three bicolored subgraphs. Finally, we introduce the concepts of black-white coloring and stamen phenomenon, and find out a necessary and sufficient condition for an even cycle to be a 2-colorable cycle.

Research Progress on the Theory of Kempe Changes

Kempe Equivalence of Colorings of 4-Regular Graphs

Kempe Equivalent List Colorings

Examining Kempe equivalence via commutative algebra

Kempe equivalent list colorings revisited

A renewal approach to prove the Four Color Theorem unplugged, Part II: R/G/B Kempe chains in an extremum non-4-colorable MPG

Research Progress on the Theory of Maximal Planar Graphs

Kempe classes and almost bipartite graphs

On a recolouring version of Hadwiger's conjecture

Theory on the Structure and Coloring of Maximal Planar Graphs (1)Recursion Formulae of Chromatic Polynomial and Four-Color Conjecture

Brooks' Theorem and Beyond

On Equivalent Color Transform and Four Coloring Theorem.

Algorithmic methods of finite discrete structures. The Four Color Theorem. Theory, methods, algorithms

Theory on Structure and Coloring of Maximal Planar Graphs (I): Relationship between Structure and Coloring

Reformulating the Map Color Theorem

A Theory for Coloring Walks in a Digraph

A note on transformations of edge colorings of chordless graphs and triangle-free graphs

Graph colorings under global structural conditions

When does the list-coloring function of a graph equal its chromatic polynomial

Theory on Structure and Coloring of Maximal Planar Graphs (3) Purely Tree-colorable and Uniquely 4-colorable Maximal Planar Graph Conjectures