Given k terminal pairs and two tuples of (internally) vertex-disjoint shortest paths in an unweighted graph, we study the problem of determining whether one tuple can be transformed into the other by repeatedly replacing a single vertex in one shortest path, while maintaining a tuple of vertex-disjoint shortest paths at every step. In this paper, we analyze the problem from the viewpoint of parameterized complexity. We first provide a tight complexity classification based on the maximum terminal distance D, defined as the largest distance among the terminal pairs: the problem is (para-)PSPACE-complete for any fixed \(D \ge 3\) , while it is solvable in polynomial time when \(D \le 2\) . We then show that the problem is fixed-parameter tractable when parameterized by \(\ell + \varDelta \) , where \(\ell \) is the number of transformation steps and \(\varDelta \) is the maximum degree of an input graph. Finally, we examine the effect of structural graph parameters, by showing that the problem is fixed-parameter tractable when parameterized by k plus one of the modular-width, cluster deletion number, and tree-depth of an input graph.

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

Parameterized Complexity of Reconfiguring Vertex-Disjoint Shortest Paths

  • Rin Saito,
  • Takehiro Ito

摘要

Given k terminal pairs and two tuples of (internally) vertex-disjoint shortest paths in an unweighted graph, we study the problem of determining whether one tuple can be transformed into the other by repeatedly replacing a single vertex in one shortest path, while maintaining a tuple of vertex-disjoint shortest paths at every step. In this paper, we analyze the problem from the viewpoint of parameterized complexity. We first provide a tight complexity classification based on the maximum terminal distance D, defined as the largest distance among the terminal pairs: the problem is (para-)PSPACE-complete for any fixed \(D \ge 3\) , while it is solvable in polynomial time when \(D \le 2\) . We then show that the problem is fixed-parameter tractable when parameterized by \(\ell + \varDelta \) , where \(\ell \) is the number of transformation steps and \(\varDelta \) is the maximum degree of an input graph. Finally, we examine the effect of structural graph parameters, by showing that the problem is fixed-parameter tractable when parameterized by k plus one of the modular-width, cluster deletion number, and tree-depth of an input graph.