<p>Assume <i>G</i> is a bridgeless graph. A cycle cover of <i>G</i> is a collection of cycles of <i>G</i> such that each edge of <i>G</i> is contained in at least one of the cycles. The length of a cycle cover of <i>G</i> is the sum of the lengths of the cycles in the cover. The minimum length of a cycle cover of <i>G</i> is denoted by <i>scc</i>(<i>G</i>). The minimum length of a cycle cover of <i>G</i> consisting of <i>k</i> cycles is denoted by <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(scc_k(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mi>c</mi> <msub> <mi>c</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. It was proved independently by Alon and Tarsi and by Bermond, Jackson, and Jaeger that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(scc(G)\le \frac{5}{3}m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mi>c</mi> <mi>c</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mfrac> <mn>5</mn> <mn>3</mn> </mfrac> <mi>m</mi> </mrow> </math></EquationSource> </InlineEquation> for every bridgeless graph <i>G</i> with <i>m</i> edges. This remained the best-known upper bound for <i>scc</i>(<i>G</i>) for 40 years. In this paper, we prove that if <i>G</i> is a bridgeless graph with <i>m</i> edges and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(n_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>n</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> vertices of degree 2, then <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(scc_3(G) &lt; \frac{29}{18}m+ \frac{1}{18}n_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mi>c</mi> <msub> <mi>c</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>&lt;</mo> <mfrac> <mn>29</mn> <mn>18</mn> </mfrac> <mi>m</mi> <mo>+</mo> <mfrac> <mn>1</mn> <mn>18</mn> </mfrac> <msub> <mi>n</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. As a consequence, we show that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(scc_3(G) \le \frac{5}{3} m - \frac{1}{42} \log _2m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mi>c</mi> <msub> <mi>c</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mfrac> <mn>5</mn> <mn>3</mn> </mfrac> <mi>m</mi> <mo>-</mo> <mfrac> <mn>1</mn> <mn>42</mn> </mfrac> <msub> <mo>log</mo> <mn>2</mn> </msub> <mi>m</mi> </mrow> </math></EquationSource> </InlineEquation>. The upper bound <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( scc(G) &lt; \frac{29}{18}m \approx 1.6111 m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mi>c</mi> <mi>c</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>&lt;</mo> <mfrac> <mn>29</mn> <mn>18</mn> </mfrac> <mi>m</mi> <mo>≈</mo> <mn>1.6111</mn> <mi>m</mi> </mrow> </math></EquationSource> </InlineEquation> for bridgeless graphs <i>G</i> of minimum degree at least 3 improves the previous known upper bound 1.6258<i>m</i> for such graphs. A key lemma used in the proof confirms Fan’s conjecture that if <i>C</i> is a circuit of <i>G</i> and <i>G</i>/<i>C</i> admits a nowhere zero 4-flow, then <i>G</i> admits a 4-flow <i>f</i> such that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(E(G)-E(C)\subseteq \text {supp} (f)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>-</mo> <mi>E</mi> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> <mo>⊆</mo> <mtext>supp</mtext> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(|\text {supp}(f)\cap E(C)|&gt;\frac{3}{4}|E(C)|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mtext>supp</mtext> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <mi>E</mi> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>&gt;</mo> </mrow> <mfrac> <mn>3</mn> <mn>4</mn> </mfrac> <mrow> <mo stretchy="false">|</mo> <mi>E</mi> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Bound on Shortest Cycle Covers

  • Deping Song,
  • Xuding Zhu

摘要

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 scc(G). The minimum length of a cycle cover of G consisting of k cycles is denoted by \(scc_k(G)\) s c c k ( G ) . It was proved independently by Alon and Tarsi and by Bermond, Jackson, and Jaeger that \(scc(G)\le \frac{5}{3}m\) s c c ( G ) 5 3 m for every bridgeless graph G with m edges. This remained the best-known upper bound for scc(G) for 40 years. In this paper, we prove that if G is a bridgeless graph with m edges and \(n_2\) n 2 vertices of degree 2, then \(scc_3(G) < \frac{29}{18}m+ \frac{1}{18}n_2\) s c c 3 ( G ) < 29 18 m + 1 18 n 2 . As a consequence, we show that \(scc_3(G) \le \frac{5}{3} m - \frac{1}{42} \log _2m\) s c c 3 ( G ) 5 3 m - 1 42 log 2 m . The upper bound \( scc(G) < \frac{29}{18}m \approx 1.6111 m\) s c c ( G ) < 29 18 m 1.6111 m for bridgeless graphs G of minimum degree at least 3 improves the previous known upper bound 1.6258m for such graphs. 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)\subseteq \text {supp} (f)\) E ( G ) - E ( C ) supp ( f ) and \(|\text {supp}(f)\cap E(C)|>\frac{3}{4}|E(C)|\) | supp ( f ) E ( C ) | > 3 4 | E ( C ) | .