The Two Color Conjecture
Status partial high confidence
The Two Color Conjecture remains open in full generality: it is unknown whether every orientation of a simple planar graph admits a vertex partition into two acyclic sets. Meaningful partial progress exists: the conjecture is confirmed for planar digraphs of digirth at least 5 (Harutyunyan–Mohar, 2014) and digirth at least 4 (Li–Mohar, 2016), and has been shown equivalent to 2-colorability of all oriented $K_5$-minor-free graphs (Steiner, 2021).
Cited literature (4)
-
Every planar digraph of digirth at least 5 is 2-colorable (vertices partitioned into 2 acyclic sets); the result also holds for list colorings.
-
Every planar digraph of digirth at least 4 is 2-colourable, strengthening the digirth-5 result of Harutyunyan and Mohar.
-
The Two Color Conjecture is equivalent to the statement that every oriented $K_5$-minor-free graph is 2-colourable, providing a new reformulation of the problem.
-
Shows that Neumann-Lara's Conjecture is equivalent to the more general statement that every $K_5$-minor-free graph $G$ satisfies $\vec{\chi}(G) \leq 2$ and moreover any orientation of $G$ admits an acyclic 2-colouring without monochromatic triangles.
Reviewer notes. The full conjecture (digirth >= 3, i.e., arbitrary planar digraphs) remains open as of 2026. The SIAM page for the Li-Mohar paper returned HTTP 403; the DOI 10.1137/16M108080X is taken from the SIAM URL found in search results. A 2026 arXiv preprint (2603.01020, Harutyunyan-Picasarri-Arrieta-Puig i Surroca) proves the list version of the related Erdos-Neumann-Lara conjecture but does not directly resolve the Two Color Conjecture for planar digraphs.
Discussion
This is a type of coloring digraphs introduced by V. Neumann-Lara. More generally, if $ G $ is a digraph, we wish to partition the vertex set of $ G $ into as few parts as possible so that each induces an acyclic subgraph.
Bibliography
-
★
[N]V. Neumann-Lara (1985). Vertex colourings in digraphs. Some problems. Technical report, University of Waterloo.