<p>In Chordal/Interval Vertex Deletion we ask how many vertices one needs to remove from a&#xa0;graph to make it chordal (respectively: interval). We study these problems under the parameterization by treewidth <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1293_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{tw}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">tw</mi> </math></EquationSource> </InlineEquation> of the input graph <i>G</i>. On the one hand, we present an algorithm for Chordal Vertex Deletion with running time <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1293_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^{\mathcal {O}(\textbf{tw})} \cdot |V(G)|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mi mathvariant="bold">tw</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo>·</mo> <mrow> <mo stretchy="false">|</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, improving upon the running time <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1293_Article_IEq3.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="135" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^{\mathcal {O}(\textbf{tw}^2)} \cdot |V(G)|^{\mathcal {O}(1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <msup> <mi mathvariant="bold">tw</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </msup> <mo>·</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> by Jansen, de Kroon, and Włodarczyk (STOC’21). When a tree decomposition of width <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1293_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{tw}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">tw</mi> </math></EquationSource> </InlineEquation> is given, then the base of the exponent equals <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1293_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^{\omega -1}\cdot 3 + 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mrow> <mi>ω</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>·</mo> <mn>3</mn> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Our algorithm is based on a&#xa0;novel link between chordal graphs and graphic matroids, which allows us to employ the framework of representative families. On&#xa0;the other hand, we prove that Interval Vertex Deletion cannot be solved in time <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1293_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="159" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^{o(\textbf{tw}\log \textbf{tw})} \cdot |V(G)|^{\mathcal {O}(1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mrow> <mi>o</mi> <mo stretchy="false">(</mo> <mi mathvariant="bold">tw</mi> <mo>log</mo> <mi mathvariant="bold">tw</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo>·</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> assuming the Exponential Time&#xa0;Hypothesis.</p>

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

Tight Bounds for Chordal/Interval Vertex Deletion Parameterized by Treewidth

  • Michał Włodarczyk

摘要

In Chordal/Interval Vertex Deletion we ask how many vertices one needs to remove from a graph to make it chordal (respectively: interval). We study these problems under the parameterization by treewidth \(\textbf{tw}\) tw of the input graph G. On the one hand, we present an algorithm for Chordal Vertex Deletion with running time \(2^{\mathcal {O}(\textbf{tw})} \cdot |V(G)|\) 2 O ( tw ) · | V ( G ) | , improving upon the running time \(2^{\mathcal {O}(\textbf{tw}^2)} \cdot |V(G)|^{\mathcal {O}(1)}\) 2 O ( tw 2 ) · | V ( G ) | O ( 1 ) by Jansen, de Kroon, and Włodarczyk (STOC’21). When a tree decomposition of width \(\textbf{tw}\) tw is given, then the base of the exponent equals \(2^{\omega -1}\cdot 3 + 1\) 2 ω - 1 · 3 + 1 . Our algorithm is based on a novel link between chordal graphs and graphic matroids, which allows us to employ the framework of representative families. On the other hand, we prove that Interval Vertex Deletion cannot be solved in time \(2^{o(\textbf{tw}\log \textbf{tw})} \cdot |V(G)|^{\mathcal {O}(1)}\) 2 o ( tw log tw ) · | V ( G ) | O ( 1 ) assuming the Exponential Time Hypothesis.