Abstract:The four-color conjecture has puzzled mathematicians for over 170 years and has yet to be proven by purely mathematical methods. This series of articles provides a purely mathematical proof of the four-color conjecture, consisting of two parts: the transformation step and the decycle step. The transformation step uses two innovative tools, contracting and extending operations and unchanged bichromatic cycles, to transform the proof of the four-color conjecture into the decycle problem of 4-base modules. Moreover, the decycle step solves the decycle problem of 4-base modules using two other innovative tools: the color-connected potential and the pocket operations. This article presents the proof of the transformation step.

What problem does this paper attempt to address?

This paper attempts to solve the Four - Color Conjecture (FCC), a long - standing problem that has plagued mathematicians. Specifically, the paper proposes a proof framework for the Four - Color Conjecture purely based on mathematical methods, which mainly consists of two parts: **Transformation Step** and **Decycle Step**. ### Main Problems 1. **Mathematical Proof of the Four - Color Conjecture**: - Since its proposal, the Four - Color Conjecture has troubled mathematicians for more than 170 years, and there is still no proof based entirely on mathematical methods. - The paper aims to provide a strict mathematical proof through innovative methods, rather than relying on computer - aided proofs. 2. **Specific Goals of the Transformation Step**: - By introducing two innovative tools - Contracting and Extending Operations and Unchanged Bichromatic Cycles, the proof of the Four - Color Conjecture is transformed into the Decycle Problem of 4 - base modules. - Specifically, the goal of the Transformation Step is to simplify the complex four - color graph coloring problem into a more manageable structural analysis of 4 - base modules. ### Key Concepts and Methods - **Maximal Planar Graphs (MPGs)**: A class of planar graphs that play a crucial role in the study of the Four - Color Conjecture. - **Euler's Formula**: A powerful tool for analyzing the structural characteristics of planar graphs. - **Kempe Change**: A basic technique for generating new 4 - color schemes by exchanging colors. - **Contracting and Extending Operations**: A new method for constructing and transforming MPGs. - **Unchanged Bichromatic Cycles**: A special class of bichromatic cycles whose properties remain unchanged in different 4 - color schemes. - **4 - base modules**: Sub - structures of maximal planar graphs based on Unchanged Bichromatic Cycles, used to further simplify the problem. ### Summary The main purpose of the paper is to transform the proof of the Four - Color Conjecture into a more manageable structural problem through innovative mathematical tools and methods, thereby providing a strict mathematical proof for the Four - Color Conjecture. Through the Transformation Step, the author transforms the proof problem of the Four - Color Conjecture into the Decycle Problem of 4 - base modules and introduces new tools and techniques for this purpose.

A Mathematical Proof of the Four-Color Conjecture (1): Transformation Step

A non-constructive proof of the Four Colour Theorem

A short proof of the Four Colour Theorem

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

A shorter proof of the Four Colour Theorem

A sequel to the adventure of RGB-tilings to explore the Four Color Theorem

A renewal approach to prove the Four Color Theorem unplugged, Part III: Diamond routes, canal lines and $Σ$-adjustments

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

Four-Coloring [math]-Free Graphs. I. Extending an Excellent Precoloring

Toward a language theoretic proof of the four color theorem

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

Reformulating the Map Color Theorem

An Elementary Proof of a Conjecture of Saikia on Congruences for $t$--Colored Overpartitions

On Equivalent Color Transform and Four Coloring Theorem.

Coloring Planar Graphs via Colored Paths in the Associahedra

Three-edge-coloring projective planar cubic graphs: A generalization of the Four Color Theorem

A proof of a conjecture of Erdős and Gyárfás on monochromatic path covers

On the 4-color theorem for signed graphs

Proof of a conjecture of Plummer and Zha

A Geometric Proof of Fermat’s Little Theorem

A note on Hadwiger's conjecture: Another proof that every 4-chromatic graph has a $K_4$ minor