<p>The dichromatic number <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vec {\chi }(D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>χ</mi> <mo stretchy="false">→</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of a digraph <i>D</i> is the minimum integer <i>k</i> such that <i>D</i> admits a <i>k</i>-dicolouring, i.e. a partition of its vertices into <i>k</i> acyclic subdigraphs. We say that a digraph <i>D</i> is a super-orientation of an undirected graph <i>G</i> if <i>G</i> is the underlying graph of <i>D</i>. If <i>D</i> does not contain any pair of symmetric arcs, we just say that <i>D</i> is an orientation of <i>G</i>. In this work, we give both lower and upper bounds on the dichromatic number of super-orientations of chordal graphs. In general, the dichromatic number of such digraphs is bounded above by the clique number of the underlying graph (because chordal graphs are perfect). However, this bound can be improved when we restrict the symmetric part of such a digraph. Let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(D=(V,A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a super-orientation of a chordal graph <i>G</i>. Let <i>B</i>(<i>D</i>) be the undirected graph with vertex set <i>V</i> in which <i>uv</i> is an edge if and only if both <i>uv</i> and <i>vu</i> belongs to <i>A</i>. An easy greedy procedure shows <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq3.gif" Format="GIF" Height="54" Rendition="HTML" Resolution="72" Type="Linedraw" Width="170" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vec {\chi }(D) \leqslant \Bigg \lceil \frac{\omega (G) + \Delta (B(D))}{2} \Bigg \rceil \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>χ</mi> <mo stretchy="false">→</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> <mo>⩽</mo> <mrow> <mo maxsize="2.470em" minsize="2.470em" stretchy="true">⌈</mo> </mrow> <mfrac> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </mfrac> <mrow> <mo maxsize="2.470em" minsize="2.470em" stretchy="true">⌉</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We show that this bound is best possible by constructing, for every fixed <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(k,\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>,</mo> <mi>ℓ</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\geqslant \ell +1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>⩾</mo> <mi>ℓ</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, a super-orientation <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_{k,\ell }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>ℓ</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of a chordal graph <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{k,\ell }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>ℓ</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega (G_{k,\ell }) = k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <msub> <mi>G</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>ℓ</mi> </mrow> </msub> <mo stretchy="false">)</mo> <mo>=</mo> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta (B(D_{k,\ell })) = \ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">(</mo> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>D</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>ℓ</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> <mo>=</mo> <mi>ℓ</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="116" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vec {\chi }(D_{k,\ell }) = \big \lceil \frac{k+\ell }{2}\big \rceil \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>χ</mi> <mo stretchy="false">→</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msub> <mi>D</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>ℓ</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">⌈</mo> </mrow> <mfrac> <mrow> <mi>k</mi> <mo>+</mo> <mi>ℓ</mi> </mrow> <mn>2</mn> </mfrac> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">⌉</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. When <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta (B(D)) = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> (i.e. <i>D</i> is an orientation of <i>G</i>), we give another construction showing that this is tight even for orientations of interval graphs. Next, we show that <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq12.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="228" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vec {\chi }(D) \leqslant \frac{1}{2}\omega (G) + O(\sqrt{d \cdot \omega (G)})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>χ</mi> <mo stretchy="false">→</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> <mo>⩽</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mi>ω</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>O</mi> <mrow> <mo stretchy="false">(</mo> <msqrt> <mrow> <mi>d</mi> <mo>·</mo> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <i>d</i> the maximum average degree of <i>B</i>(<i>D</i>). Finally, we show that if <i>B</i>(<i>D</i>) contains no <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_4\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation> as a subgraph, then <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq14.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="126" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vec {\chi }(D) \leqslant \bigg \lceil \frac{\omega (G)+3}{2} \bigg \rceil \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>χ</mi> <mo stretchy="false">→</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> <mo>⩽</mo> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">⌈</mo> </mrow> <mfrac> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mn>3</mn> </mrow> <mn>2</mn> </mfrac> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">⌉</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We justify that this is almost best possible by constructing, for every fixed <i>k</i>, a super-orientation <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_{k}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> of a chordal graph <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{k}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> with clique number <i>k</i> such that <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(B(D_k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo stretchy="false">(</mo> <msub> <mi>D</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a disjoint union of paths and <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2942_Article_IEq18.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="109" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vec {\chi }(D_k) = \left\lfloor \frac{k+3}{2} \right\rfloor \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>χ</mi> <mo stretchy="false">→</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msub> <mi>D</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfenced close="⌋" open="⌊"> <mfrac> <mrow> <mi>k</mi> <mo>+</mo> <mn>3</mn> </mrow> <mn>2</mn> </mfrac> </mfenced> </mrow> </math></EquationSource> </InlineEquation>. We also exhibit a family of orientations of cographs for which the dichromatic number is equal to the clique number of the underlying graph.</p>

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

Dichromatic number of chordal graphs

  • Stéphane Bessy,
  • Frédéric Havet,
  • Lucas Picasarri-Arrieta

摘要

The dichromatic number \(\vec {\chi }(D)\) χ ( D ) of a digraph D is the minimum integer k such that D admits a k-dicolouring, i.e. a partition of its vertices into k acyclic subdigraphs. We say that a digraph D is a super-orientation of an undirected graph G if G is the underlying graph of D. If D does not contain any pair of symmetric arcs, we just say that D is an orientation of G. In this work, we give both lower and upper bounds on the dichromatic number of super-orientations of chordal graphs. In general, the dichromatic number of such digraphs is bounded above by the clique number of the underlying graph (because chordal graphs are perfect). However, this bound can be improved when we restrict the symmetric part of such a digraph. Let \(D=(V,A)\) D = ( V , A ) be a super-orientation of a chordal graph G. Let B(D) be the undirected graph with vertex set V in which uv is an edge if and only if both uv and vu belongs to A. An easy greedy procedure shows \(\vec {\chi }(D) \leqslant \Bigg \lceil \frac{\omega (G) + \Delta (B(D))}{2} \Bigg \rceil \) χ ( D ) ω ( G ) + Δ ( B ( D ) ) 2 . We show that this bound is best possible by constructing, for every fixed \(k,\ell \) k , with \(k\geqslant \ell +1\) k + 1 , a super-orientation \(D_{k,\ell }\) D k , of a chordal graph \(G_{k,\ell }\) G k , such that \(\omega (G_{k,\ell }) = k\) ω ( G k , ) = k , \(\Delta (B(D_{k,\ell })) = \ell \) Δ ( B ( D k , ) ) = and \(\vec {\chi }(D_{k,\ell }) = \big \lceil \frac{k+\ell }{2}\big \rceil \) χ ( D k , ) = k + 2 . When \(\Delta (B(D)) = 0\) Δ ( B ( D ) ) = 0 (i.e. D is an orientation of G), we give another construction showing that this is tight even for orientations of interval graphs. Next, we show that \(\vec {\chi }(D) \leqslant \frac{1}{2}\omega (G) + O(\sqrt{d \cdot \omega (G)})\) χ ( D ) 1 2 ω ( G ) + O ( d · ω ( G ) ) with d the maximum average degree of B(D). Finally, we show that if B(D) contains no \(C_4\) C 4 as a subgraph, then \(\vec {\chi }(D) \leqslant \bigg \lceil \frac{\omega (G)+3}{2} \bigg \rceil \) χ ( D ) ω ( G ) + 3 2 . We justify that this is almost best possible by constructing, for every fixed k, a super-orientation \(D_{k}\) D k of a chordal graph \(G_{k}\) G k with clique number k such that \(B(D_k)\) B ( D k ) is a disjoint union of paths and \(\vec {\chi }(D_k) = \left\lfloor \frac{k+3}{2} \right\rfloor \) χ ( D k ) = k + 3 2 . We also exhibit a family of orientations of cographs for which the dichromatic number is equal to the clique number of the underlying graph.