The Two Color Conjecture

Medium ★★ Graph Theory » Directed Graphs

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)

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.

Auto-reviewed 2026-05-08 with claude-sonnet-4-6 (worker 04) (web search enabled).

Conjecture. If $ G $ is an orientation of a simple planar graph, then there is a partition of $ V(G) $ into $ \{X_1,X_2\} $ so that the graph induced by $ X_i $ is acyclic for $ i=1,2 $ .
Keywords: acyclic · digraph · planar

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.