Paper by Erik D. Demaine

Reference:

Erik D. Demaine, Martin L. Demaine, Eli Fox-Epstein, Duc A. Hoang, Takehiro Ito, Hirotaka Ono, Yota Otachi, Ryuhei Uehara, and Takeshi Yamada, “Polynomial-time algorithm for sliding tokens on trees”, in Proceedings of the 25th International Symposium on Algorithms and Computation (ISAAC 2014), Lecture Notes in Computer Science, volume 8889, December 15–17, 2014, pages 389–400.

BibTeX

@InProceedings{TokenReconfigurationTrees_ISAAC2014,
  AUTHOR        = {Erik D. Demaine and Martin L. Demaine and Eli Fox-Epstein and Duc A. Hoang and Takehiro Ito and Hirotaka Ono and Yota Otachi and Ryuhei Uehara and Takeshi Yamada},
  TITLE         = {Polynomial-time algorithm for sliding tokens on trees},
  BOOKTITLE     = {Proceedings of the 25th International Symposium on Algorithms and Computation (ISAAC 2014)},
  bookurl       = {http://tcs.postech.ac.kr/isaac2014/},
  VOLUME        = 8889,
  SERIES        = {Lecture Notes in Computer Science},
  seriesurl     = {http://www.springer.de/comp/lncs/},
  MONTH         = {December 15--17},
  YEAR          = 2014,
  PAGES         = {389--400},

  doi           = {https://dx.doi.org/10.1007/978-3-319-13075-0_31},
  dblp          = {https://dblp.org/rec/conf/isaac/DemaineDFHIOOUY14},
  comments      = {This paper is also available from <A HREF="http://dx.doi.org/10.1007/978-3-319-13075-0_31">SpringerLink</A>.},
  papers        = {TokenReconfigurationTrees_TCS2015},
}

Abstract:

Suppose that we are given two independent sets I_b and I_r of a graph such that |I_b| = |I_r|, and imagine that a token is placed on each vertex in I_b. Then, the sliding token problem is to determine whether there exists a sequence of independent sets which transforms I_b into I_r so that each independent set in the sequence results from the previous one by sliding exactly one token along an edge in the graph. This problem is known to be PSPACE-complete even for planar graphs, and also for bounded treewidth graphs. In this paper, we show that the problem is solvable for trees in quadratic time. Our proof is constructive: for a yes-instance, we can find an actual sequence of independent sets between I_b and I_r whose length (i.e., the number of token-slides) is quadratic. We note that there exists an infinite family of instances on paths for which any sequence requires quadratic length.

Comments:

This paper is also available from SpringerLink.

Availability:

The paper is available in PDF (240k).

See information on file formats.

[Google Scholar search]

Related papers:

TokenReconfigurationTrees_TCS2015 (Linear-time algorithm for sliding tokens on trees)