Dice Question Streamline Icon: https://streamlinehq.com

Wegner’s conjecture on distance-two colorings of planar graphs

Establish that for every planar graph G with maximum degree Δ, the distance-2 chromatic number χ2(G) satisfies the bounds 7 if Δ=3, Δ+5 if 4 ≤ Δ ≤ 7, and ⌊(3Δ)/2⌋+1 if Δ ≥ 8.

Information Square Streamline Icon: https://streamlinehq.com

Background

The survey presents a linear-programming-assisted discharging framework and reports improved bounds for χ2(G) when Δ=4, highlighting ongoing progress toward Wegner’s conjecture. Wegner’s conjecture proposes sharp upper bounds on the distance-2 chromatic number for planar graphs across degree regimes and remains unresolved in general.

References

By doing this, they made progress on Wegner's well-known conjecture about the distance 2-chromatic number $\chi_2(G)$ of planar graphs $G$ with maximum degree $\Delta$ (i.e., the classical chromatic number of the graph obtained by adding an edge between each pair of vertices at distance 2 in $G$): \begin{conj}[] Let $G$ be a planar graph with maximum degree $\Delta$. Then, we have: \begin{align*} \chi_2(G) \leq \begin{cases} 7& \textrm{if } \Delta=3,\ \Delta+5& \textrm{if } 4 \leq \Delta \leq 7,\ \lfloor \frac{3\Delta}{2} \rfloor +1 & \textrm{if } \Delta \geq 8.\ \end{cases} \end{align*} \end{conj}

Computer-assisted graph theory: a survey (2508.20825 - Jooken, 28 Aug 2025) in Section 4.1 ((Mixed integer) linear programming), discharging method discussion