<p>We settle the parameterized complexities of several variants of independent set reconfiguration and dominating set reconfiguration, parameterized by the number of tokens. We show that both problems are XL-complete when there is no limit on the number of moves, XNL-complete when a maximum length <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> for the sequence is given in binary in the input, and XNLP-complete when <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> is given in unary. The problems were known to be <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textrm{W}[1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>W</mtext> <mo stretchy="false">[</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>- and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textrm{W}[2]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>W</mtext> <mo stretchy="false">[</mo> <mn>2</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>-hard respectively when <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> is also a parameter. We complete the picture by showing membership in those classes. Moreover, we show that for all the variants that we consider, token sliding and token jumping are equivalent under pl-reductions. We introduce partitioned variants of token jumping and token sliding, and give pl-reductions between the four variants that have precise control over the number of tokens and the length of the reconfiguration sequence.</p>

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

Parameterized Complexities of Dominating and Independent Set Reconfiguration

  • Hans L. Bodlaender,
  • Carla Groenland,
  • Céline M. F. Swennenhuis

摘要

We settle the parameterized complexities of several variants of independent set reconfiguration and dominating set reconfiguration, parameterized by the number of tokens. We show that both problems are XL-complete when there is no limit on the number of moves, XNL-complete when a maximum length \(\ell \) for the sequence is given in binary in the input, and XNLP-complete when \(\ell \) is given in unary. The problems were known to be \(\textrm{W}[1]\) W [ 1 ] - and \(\textrm{W}[2]\) W [ 2 ] -hard respectively when \(\ell \) is also a parameter. We complete the picture by showing membership in those classes. Moreover, we show that for all the variants that we consider, token sliding and token jumping are equivalent under pl-reductions. We introduce partitioned variants of token jumping and token sliding, and give pl-reductions between the four variants that have precise control over the number of tokens and the length of the reconfiguration sequence.