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.

Constrained path-finding and structure from acyclicity

Combinatorial Generation Algorithms for Directed Lattice Paths

Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix

Efficiently Deciding Algebraic Equivalence of Bow-Free Acyclic Path Diagrams

Theory on Structure and Coloring of Maximal Planar Graphs (2) Domino Configurations and Extending-Contracting Operations

The road problem and homomorphisms of directed graphs

Bijections and congruences involving lattice paths and integer compositions

Long induced paths in sparse graphs and graphs with forbidden patterns

Odd Paths, Cycles and $T$-joins: Connections and Algorithms

Coloring graphs with forbidden almost bipartite subgraphs

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

Non-crossing paths with geographic constraints

Conjunctive Queries over Trees

Constrained Flows in Networks

On Conway’s Potential Function for Colored Links

Separating the edges of a graph by a linear number of paths

Total-rainbow connection and forbidden subgraphs

Fair splitting of colored paths

Arborescences and Shortest Path Trees when Colors Matter

Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant