Hardness of Token Swapping on Trees

03/11/2021
by   Oswin Aichholzer, et al.
0

Given a graph where every vertex has exactly one labeled token, how can we most quickly execute a given permutation on the tokens? In (sequential) token swapping, the goal is to use the shortest possible sequence of swaps, each of which exchanges the tokens at the two endpoints of an edge of the graph. In parallel token swapping, the goal is to use the fewest rounds, each of which consists of one or more swaps on the edges of a matching. We prove that both of these problems remain NP-hard when the graph is restricted to be a tree. These token swapping problems have been studied by disparate groups of researchers in discrete mathematics, theoretical computer science, robot motion planning, game theory, and engineering. Previous work establishes NP-completeness on general graphs (for both problems); polynomial-time algorithms for simple graph classes such as cliques, stars, paths, and cycles; and constant-factor approximation algorithms in some cases. The two natural cases of sequential and parallel token swapping in trees were first studied over thirty years ago (as "sorting with a transposition tree") and over twenty-five years ago (as "routing permutations via matchings"), yet their complexities were previously unknown. We also show limitations on approximation of sequential token swapping on trees: we identify a broad class of algorithms that encompass all three known polynomial-time algorithms that achieve the best known approximation factor (which is 2) and show that no such algorithm can achieve an approximation factor less than 2.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/16/2019

Token Swapping on Trees

The input to the token swapping problem is a graph with vertices v_1, v_...
research
06/21/2018

Shortest Reconfiguration Sequence for Sliding Tokens on Spiders

Suppose that two independent sets I and J of a graph with I = J are ...
research
10/06/2022

Sequentially Swapping Tokens: Further on Graph Classes

We study the following variant of the 15 puzzle. Given a graph and two t...
research
11/23/2019

A New Model in Firefighting Theory

Continuous and discrete models for firefighting problems are well-studie...
research
06/14/2018

A Computational Approach to Organizational Structure

An organizational structure defines how an organization arranges and man...
research
09/23/2020

Cyclic Shift Problems on Graphs

We study a new reconfiguration problem inspired by classic mechanical pu...
research
07/20/2022

Fault-Tolerant Distributed Directories

A distributed directory is an overlay data structure on a graph G that h...

Please sign up or login with your details

Forgot password? Click here to reset