Bound on shortest cycle covers
Abstract
Assume G is a bridgeless graph. A cycle cover of G is a collection of cycles of G such that each edge of G is contained in at least one of the cycles. The length of a cycle cover of G is the sum of the lengths of the cycles in the cover. The minimum length of a cycle cover of G is denoted by cc(G). It was proved independently by Alon and Tarsi and by Bermond, Jackson, and Jaeger that cc(G) 53m for every bridgeless graph G with m edges. This remained the best-known upper bound for cc(G) for 40 years. In this paper, we prove that if G is a bridgeless graph with m edges and n2 vertices of degree 2, then cc(G) < 2918m+ 118n2. As a consequence, we show that cc(G) 53 m - 142 m. The upper bound cc(G) < 2918m ≈ 1.6111 m for bridgeless graphs G of minimum degree at least 3 improves the previous known upper bound 1.6258m. A key lemma used in the proof confirms Fan's conjecture that if C is a circuit of G and G/C admits a nowhere zero 4-flow, then G admits a 4-flow f such that E(G)-E(C)⊂eq supp (f) and |supp(f) E(C)|>34|E(C)|.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.