Abstract:A majority coloring of a directed graph is a vertex-coloring in which every vertex has the same color as at most half of its out-neighbors. Kreutzer, Oum, Seymour, van der Zypen and Wood proved that every digraph has a majority $4$-coloring and conjectured that every digraph admits a majority $3$-coloring. They observed that the Local Lemma implies the conjecture for digraphs of large enough minimum out-degree if, crucially, the maximum in-degree is bounded by a(n exponential) function of the minimum out-degree. Our goal in this paper is to develop alternative methods that allow the verification of the conjecture for natural, broad digraph classes, without any restriction on the in-degrees. Among others, we prove the conjecture 1) for digraphs with chromatic number at most $6$ or dichromatic number at most $3$, and thus for all planar digraphs; and 2) for digraphs with maximum out-degree at most $4$. The benchmark case of $r$-regular digraphs remains open for $r \in [5,143]$. Our inductive proofs depend on loaded inductive statements about precoloring extensions of list-colorings. This approach also gives rise to stronger conclusions, involving the choosability version of majority coloring. We also give further evidence towards the existence of majority-$3$-colorings by showing that every digraph has a fractional majority 3.9602-coloring. Moreover we show that every digraph with large enough minimum out-degree has a fractional majority $(2+\varepsilon)$-coloring.

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

Four-coloring $P_6$-free graphs. II. Finding an excellent precoloring

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

A Linear-Time Algorithm for 4-Coloring Some Classes of Planar Graphs

4-coloring $P_6$-free graphs with no induced 5-cycles

A non-constructive proof of the Four Colour Theorem

Coloring some $(P_6,C_4)$-free graphs with $Δ-1$ colors

4-coloring ($P_6$, bull)-free graphs

Coloring ($P_6$, diamond, $K_4$)-free graphs

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

Three-coloring graphs with no induced seven-vertex path II : using a triangle

Coloring graphs with forbidden almost bipartite subgraphs

Coloring Planar Graphs via Colored Paths in the Associahedra

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

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

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

Research Progress on the Theory of Maximal Planar Graphs

Three-coloring graphs with no induced seven-vertex path I : the triangle-free case

On Equivalent Color Transform and Four Coloring Theorem.

Nearly optimal coloring of some C4-free graphs

Majority Colorings of Sparse Digraphs