<p>An edge coloring of a graph <i>G</i> is <i>woody</i> if no cycle in <i>G</i> is monochromatic. The <i>arboricity</i> of a graph <i>G</i>, denoted by <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2934_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{arb}\,}}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>arb</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, is defined as the least number of colors needed for a woody coloring of <i>G</i>. Motivated by some recent higher-order generalizations of this parameter, we introduce here a new variant of arboricity based on the classical Whitney’s idea of broken circuits. A <i>broken cycle</i> in a graph <i>G</i> is any simple path in <i>G</i> obtained by deleting a single edge from a cycle in <i>G</i>. An edge coloring of <i>G</i> is <i>strongly woody</i> if no broken cycle in <i>G</i> is monochromatic. The least number of colors in a strongly woody coloring of <i>G</i> is denoted by <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2934_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(\zeta (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and called the <i>strong arboricity</i> of <i>G</i>. We prove that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2934_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(\zeta (G)\leqslant \chi _a(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>⩽</mo> <msub> <mi>χ</mi> <mi>a</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2934_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi _a(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>χ</mi> <mi>a</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the <i>acyclic chromatic number</i> of <i>G</i>, defined as the least number of colors in a proper vertex coloring avoiding a 2-colored cycle. This implies that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2934_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\zeta (G)\leqslant 5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>⩽</mo> <mn>5</mn> </mrow> </math></EquationSource> </InlineEquation>, for any planar graph <i>G</i>, and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2934_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\zeta (G)\leqslant 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>⩽</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, for any outerplanar graph. We conjecture that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2934_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\zeta (G)\leqslant 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>⩽</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> holds for all planar graphs and confirm this bound in the case of triangle-free planar graphs. We also prove that planar graphs with girth at least 13 satisfy <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2934_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\zeta (G)\leqslant 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>⩽</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. In general, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2934_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="140" /> </InlineMediaObject> <EquationSource Format="TEX">\(\zeta (G)\leqslant 4({{\,\textrm{arb}\,}}(G))^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>⩽</mo> <mn>4</mn> <msup> <mrow> <mo stretchy="false">(</mo> <mrow> <mspace width="0.166667em" /> <mtext>arb</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> holds for an arbitrary graph <i>G</i>, but we suspect that the true upper bound is linear. The paper is concluded with some open problems.</p>

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

Strong Arboricity of Graphs

  • Tomasz Bartnicki,
  • Sebastian Czerwiński,
  • Jarosław Grytczuk,
  • Zofia Miechowicz

摘要

An edge coloring of a graph G is woody if no cycle in G is monochromatic. The arboricity of a graph G, denoted by \({{\,\textrm{arb}\,}}(G)\) arb ( G ) , is defined as the least number of colors needed for a woody coloring of G. Motivated by some recent higher-order generalizations of this parameter, we introduce here a new variant of arboricity based on the classical Whitney’s idea of broken circuits. A broken cycle in a graph G is any simple path in G obtained by deleting a single edge from a cycle in G. An edge coloring of G is strongly woody if no broken cycle in G is monochromatic. The least number of colors in a strongly woody coloring of G is denoted by \(\zeta (G)\) ζ ( G ) and called the strong arboricity of G. We prove that \(\zeta (G)\leqslant \chi _a(G)\) ζ ( G ) χ a ( G ) , where \(\chi _a(G)\) χ a ( G ) is the acyclic chromatic number of G, defined as the least number of colors in a proper vertex coloring avoiding a 2-colored cycle. This implies that \(\zeta (G)\leqslant 5\) ζ ( G ) 5 , for any planar graph G, and \(\zeta (G)\leqslant 3\) ζ ( G ) 3 , for any outerplanar graph. We conjecture that \(\zeta (G)\leqslant 4\) ζ ( G ) 4 holds for all planar graphs and confirm this bound in the case of triangle-free planar graphs. We also prove that planar graphs with girth at least 13 satisfy \(\zeta (G)\leqslant 2\) ζ ( G ) 2 . In general, \(\zeta (G)\leqslant 4({{\,\textrm{arb}\,}}(G))^2\) ζ ( G ) 4 ( arb ( G ) ) 2 holds for an arbitrary graph G, but we suspect that the true upper bound is linear. The paper is concluded with some open problems.