Abstract:The Four color problem is closely related to other branches of mathematics and practical applications. More than 20 of its reformulations are known, which connect this problem with problems of algebra, statistical mechanics and planning. And this is also typical for mathematics: the solution to a problem studied out of pure curiosity turns out to be useful in representing real objects and processes that are completely different in nature. Despite the published machine methods for combinatorial proof of the Four color conjecture, there is still no clear description of the mechanism for coloring a planar graph with four colors, its natural essence and its connection with the phenomenon of graph planarity. It is necessary not only to prove (preferably by deductive methods) that any planar graph can be colored with four colors, but also to show how to color it. The paper considers an approach based on the possibility of reducing a maximally flat graph to a regular flat cubic graph with its further coloring. Based on the Tate-Volynsky theorem, the vertices of a maximally flat graph can be colored with four colors, if the edges of its dual cubic graph can be colored with three colors. Considering the properties of a colored cubic graph, it can be shown that the addition of colors obeys the transformation laws of the fourth order Klein group. Using this property, it is possible to create algorithms for coloring planar graphs.

Finite 4-Primary Groups with Disconnected Gruenberg–Kegel Graph Containing a Triangle

Finite Groups Whose Prime Graphs Do Not Contain Triangles. III

Classifying prime graphs of finite groups -- a methodical approach

Triangles in the graph of conjugacy classes of normal subgroups

Generalised triangle groups of type (2,3,2) with no cyclic essential representations

On combinatorial properties of Gruenberg--Kegel graphs of finite groups

Finite groups with geodetic Cayley graphs

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

Residual Finiteness of $A_{2,3,2n}$ Triangle Artin Groups

Finite Solvable Groups Whose Character Graphs Are Trees

Finite groups with planar generating graph

Triangles of Baumslag-Solitar Groups

A Note on Uniquely 3-Colourable Planar Graphs

Triangle-free Graphs with Three Positive Eigenvalues

Triangle-free triple systems

Triangle-free graphs with diameter 2

On Frobenius graphs of diameter 3 for finite groups

Characterizing finite groups whose enhanced power graphs have universal vertices

Searching for regular, triangle-distinct graphs

On regular triangle-distinct graphs

The groups $Γ_{n}^{4}$, braids, and $3$-manifolds