<p>The partial domination problem generalizes classic domination by requiring that a specified fraction <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(p \in (0, 1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> of vertices be dominated. The problem is NP-hard on general graphs, and Case et al. (2017) explicitly posed the question of whether the <i>p</i>-domination number <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\gamma _p(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is polynomial-time computable on trees. A polynomial-time algorithm in fact follows from the maximum-coverage work of Blair et al. (2008) on trees, via the threshold reduction <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\gamma _p(T) = \min \{\ell : d(\ell , T) \ge \lceil p|V(T)|\rceil \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mi>p</mi> </msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo movablelimits="true">min</mo> <mo stretchy="false">{</mo> <mi>ℓ</mi> <mo>:</mo> <mi>d</mi> <mrow> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>≥</mo> <mo>⌈</mo> <mi>p</mi> <mo stretchy="false">|</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>⌉</mo> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, a connection that does not appear to have been observed in the partial-domination literature. In this paper we present a direct dynamic programming algorithm for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\gamma _p(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, formulated in the language of partial domination and built on max-plus convolution. We prove correctness by induction on subtree height, establish a worst-case time complexity of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(O(|V|^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>V</mi> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and give a pruning rule that yields <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(O(p \cdot |V|^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo>·</mo> <mo stretchy="false">|</mo> <mi>V</mi> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, beneficial for small <i>p</i>.</p>

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

A Polynomial-Time Algorithm for Partial Domination in Trees

  • Stefan Kapunac

摘要

The partial domination problem generalizes classic domination by requiring that a specified fraction \(p \in (0, 1]\) p ( 0 , 1 ] of vertices be dominated. The problem is NP-hard on general graphs, and Case et al. (2017) explicitly posed the question of whether the p-domination number \(\gamma _p(T)\) γ p ( T ) is polynomial-time computable on trees. A polynomial-time algorithm in fact follows from the maximum-coverage work of Blair et al. (2008) on trees, via the threshold reduction \(\gamma _p(T) = \min \{\ell : d(\ell , T) \ge \lceil p|V(T)|\rceil \}\) γ p ( T ) = min { : d ( , T ) p | V ( T ) | } , a connection that does not appear to have been observed in the partial-domination literature. In this paper we present a direct dynamic programming algorithm for \(\gamma _p(T)\) γ p ( T ) , formulated in the language of partial domination and built on max-plus convolution. We prove correctness by induction on subtree height, establish a worst-case time complexity of \(O(|V|^2)\) O ( | V | 2 ) , and give a pruning rule that yields \(O(p \cdot |V|^2)\) O ( p · | V | 2 ) , beneficial for small p.