Linear-time algorithm for sliding tokens on trees

From MaRDI portal
Publication:496016

DOI10.1016/J.TCS.2015.07.037zbMATH Open1329.68135arXiv1406.6576OpenAlexW2169085828MaRDI QIDQ496016FDOQ496016


Authors: Erik D. Demaine, Martin L. Demaine, Eli Fox-Epstein, Duc A. Hoang, Takehiro Ito, Hirotaka Ono, Yota Otachi, Ryuhei Uehara, Takeshi Yamada Edit this on Wikidata


Publication date: 16 September 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Abstract: Suppose that we are given two independent sets Ib and Ir of a graph such that |Ib|=|Ir|, and imagine that a token is placed on each vertex in Ib. Then, the sliding token problem is to determine whether there exists a sequence of independent sets which transforms Ib into Ir 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 thus study the problem restricted to trees, and give the following three results: (1) the decision problem is solvable in linear time; (2) for a yes-instance, we can find in quadratic time an actual sequence of independent sets between Ib and Ir whose length (i.e., the number of token-slides) is quadratic; and (3) there exists an infinite family of instances on paths for which any sequence requires quadratic length.


Full work available at URL: https://arxiv.org/abs/1406.6576




Recommendations




Cites Work


Cited In (32)





This page was built for publication: Linear-time algorithm for sliding tokens on trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q496016)