{"id":"arxiv/2608.06538","url":"https://arxiv.org/abs/2608.06538","tags":["math.CO"],"score":0,"title":"Tuza's conjecture for graphs of maximum degree at most seven","domain":"math.CO","source":"arxiv","authors":["Anish Gupta"],"reviews":0,"subject":"math.CO","summary":"Tuza conjectured that every finite simple graph $G$ satisfies $τ(G) \\leq 2ν(G)$, where $ν(G)$ is the maximum number of pairwise edge-disjoint triangles and $τ(G)$ is the minimum number of edges whose deletion makes $G$ triangle-free. Puleo proved the conjecture for every graph of maximum average degree less than $7$; this covers maximum degree at most $6$ but no $7$-regular graph. We prove the conjecture for maximum degree at most $7$. The proof uses Puleo's reducible-set framework. At average degree seven his discharging step no longer forces a reducible configuration. In a minimal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-06","reactions":{}}