Linear arboricity conjecture

Bondy–Murty, Graph Theory, Appendix A, item 16 · Covers, decompositions and packings

Bondy–Murty Conjecture — first stated 1981

Status partial high confidence

The linear arboricity conjecture (la(G) = ⌈(k+1)/2⌉ for every k-regular graph G) remains open in full generality. The conjecture is confirmed for k ≤ 3 (cubic graphs, classical). Best known general upper bound as of 2025 is la(G) ≤ Δ/2 + O(log n) (Christoph et al., 2025), an exponential improvement over the O(Δ^{2/3}) error of Ferber–Fox–Jain (2018). The conjecture is also verified for 2k-regular graphs with girth ≥ 2k (Mishra, 2025).

Cited literature (3)

  • Ferber, A., Fox, J., Jain, V. · arXiv preprint · arXiv:1809.04716

    Proves la(G) ≤ Δ/2 + O(Δ^{2/3−α}) for some α > 0 and gives probabilistic poly-time algorithms; improves the 1992 Alon–Spencer bound but does not settle the conjecture.

  • Christoph, M., Draganıć, N., Girão, A., Hurley, E., Michel, L., Müyesser, A. · arXiv preprint · arXiv:2507.20500

    Proves every graph of maximum degree Δ decomposes into at most Δ/2 + O(log n) linear forests, an exponential improvement over prior error terms when Δ = Ω(n^ε); full conjecture (Δ/2 + O(1)) remains open.

  • Tapas Kumar Mishra · arXiv preprint · arXiv:2512.11240

    Proves the linear arboricity conjecture for 2k-regular graphs with girth g(G) ≥ 2k using a network-flow construction; also gives weaker bounds for smaller girth (la ≤ k+2 if g ≥ k, etc.).

Reviewer notes. Conjecture confirmed for k=1,2,3 (classical; cubic case la=2 follows by DFS in linear time). The full conjecture for all k is open; the gap between proven bound Δ/2+O(log n) and conjectured bound ⌈(Δ+1)/2⌉ = Δ/2+O(1) is now logarithmic. Deciding whether la(G)=Δ/2 for even Δ is NP-complete (making exact determination hard in general). Corpus record arXiv:2302.13312 tracks a related refinement for planar graphs. Title and full author name for arXiv:2512.11240 were not returned by WebFetch; the URL and main result were confirmed.

Auto-reviewed 2026-09-10 with claude-sonnet-4-6 (web search enabled).

Conjecture. Every simple $k$-regular graph has linear arboricity $\lceil (k+1)/2 \rceil$.

Context

The linear arboricity $\mathrm{la}(G)$ is the least number of linear forests (forests whose components are paths) whose union is $G$. Equivalently: every simple graph of maximum degree $\Delta$ satisfies $\mathrm{la}(G) \le \lceil (\Delta+1)/2 \rceil$.

In the book: Theorem 13.19.

Related records in this index

This conjecture was absent from the Open Problem Garden and arXiv corpora; the records below are the nearest ones.

Source

Théorie des graphes (J.A. Bondy, U.S.R. Murty; French edition by Frédéric Havet, 2025), Appendix A « Problèmes ouverts »
Item 16, book p. 627 (PDF p. 643) · https://inria.hal.science/hal-05211979v1 · PDF
English edition: J.A. Bondy, U.S.R. Murty, Graph Theory, GTM 244, Springer 2008, Appendix A.