<p>For <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(K_{1, t}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>t</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is called <i>t</i>-claw. A graph <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(G=(V, E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is <i>t</i>-claw free if it does not contain <i>t</i>-claw as a vertex-induced subgraph. In minimum <i>t</i>-claw deletion problem (<Emphasis FontCategory="NonProportional">Min-</Emphasis><i>t</i>-<Emphasis FontCategory="NonProportional">Claw-Del</Emphasis>), given a graph <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(G=(V, E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, it is required to find a vertex set <i>S</i> of minimum size such that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(G[V\setminus S]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">[</mo> <mi>V</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>S</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> is <i>t</i>-claw free. In a split graph, the vertex set is partitioned into two sets such that one forms a clique and the other forms an independent set. Every <i>t</i>-claw in a split graph has a center vertex in the clique partition. This observation motivates us to consider the minimum one-sided bipartite <i>t</i>-claw deletion problem (<Emphasis FontCategory="NonProportional">Min-</Emphasis><i>t</i><Emphasis FontCategory="NonProportional">-OSBCD</Emphasis>). Given a bipartite graph <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="116" /> </InlineMediaObject> <EquationSource Format="TEX">\(G=(A \cup B, E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>A</mi> <mo>∪</mo> <mi>B</mi> <mo>,</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, in <Emphasis FontCategory="NonProportional">Min-</Emphasis><i>t</i><Emphasis FontCategory="NonProportional">-OSBCD</Emphasis> it is asked to find a vertex set <i>S</i> of minimum size such that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(G[(A \cup B) {\setminus } S]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">[</mo> <mo stretchy="false">(</mo> <mi>A</mi> <mo>∪</mo> <mi>B</mi> <mo stretchy="false">)</mo> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>S</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> has no <i>t</i>-claw with the center vertex in <i>A</i>. A primal-dual algorithm approximates <Emphasis FontCategory="NonProportional">Min-</Emphasis><i>t</i><Emphasis FontCategory="NonProportional">-OSBCD</Emphasis> within a factor of <i>t</i>. We prove that it is <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textsf{UGC}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">UGC</mi> </math></EquationSource> </InlineEquation>-hard to approximate with a factor better than <i>t</i>. We also prove it is approximable within a factor of 2 for dense bipartite graphs. By using these results on <Emphasis FontCategory="NonProportional">Min-</Emphasis><i>t</i><Emphasis FontCategory="NonProportional">-OSBCD</Emphasis>, we prove that <Emphasis FontCategory="NonProportional">Min-</Emphasis><i>t</i>-<Emphasis FontCategory="NonProportional">Claw-Del</Emphasis> is <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textsf{UGC}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">UGC</mi> </math></EquationSource> </InlineEquation>-hard to approximate within a factor better than <i>t</i>, for split graphs. We also consider their complementary maximization problems and prove that they are <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_482_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textsf{APX}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">APX</mi> </math></EquationSource> </InlineEquation>-complete.</p>

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

On minimum t-claw deletion in split graphs

  • Sounaka Mishra

摘要

For \(t\ge 3\) t 3 , \(K_{1, t}\) K 1 , t is called t-claw. A graph \(G=(V, E)\) G = ( V , E ) is t-claw free if it does not contain t-claw as a vertex-induced subgraph. In minimum t-claw deletion problem (Min-t-Claw-Del), given a graph \(G=(V, E)\) G = ( V , E ) , it is required to find a vertex set S of minimum size such that \(G[V\setminus S]\) G [ V \ S ] is t-claw free. In a split graph, the vertex set is partitioned into two sets such that one forms a clique and the other forms an independent set. Every t-claw in a split graph has a center vertex in the clique partition. This observation motivates us to consider the minimum one-sided bipartite t-claw deletion problem (Min-t-OSBCD). Given a bipartite graph \(G=(A \cup B, E)\) G = ( A B , E ) , in Min-t-OSBCD it is asked to find a vertex set S of minimum size such that \(G[(A \cup B) {\setminus } S]\) G [ ( A B ) \ S ] has no t-claw with the center vertex in A. A primal-dual algorithm approximates Min-t-OSBCD within a factor of t. We prove that it is \({\textsf{UGC}}\) UGC -hard to approximate with a factor better than t. We also prove it is approximable within a factor of 2 for dense bipartite graphs. By using these results on Min-t-OSBCD, we prove that Min-t-Claw-Del is \({\textsf{UGC}}\) UGC -hard to approximate within a factor better than t, for split graphs. We also consider their complementary maximization problems and prove that they are \({\textsf{APX}}\) APX -complete.