Reconfigurations in graphs and grids

被引:31
作者
Calinescu, Gruia [1 ]
Dumitrescu, Adrian [2 ]
Pach, Janos [3 ,4 ]
机构
[1] IIT, Dept Comp Sci, Chicago, IL 60616 USA
[2] Univ Wisconsin, Dept Comp Sci, Milwaukee, WI 53201 USA
[3] NYU, Courant Inst, New York, NY 10012 USA
[4] CUNY City Coll, New York, NY 10031 USA
基金
美国国家科学基金会;
关键词
reconfiguration algorithms; approximation algorithms; local ratio method; proper function; NP-hardness;
D O I
10.1137/060652063
中图分类号
O29 [应用数学];
学科分类号
070104 [应用数学];
摘要
Let G be a connected graph, and let V and V' be two n-element subsets of its vertex set V (G). Imagine that we place a chip at each element of V and we want to move them into the positions of V' (V and V' may have common elements). A move is defined as shifting a chip from v(1) to v(2) (v(1), v(2) epsilon V (G)) on a path formed by edges of G so that no intermediate vertices are occupied. We give upper and lower bounds on the number of moves that are necessary and analyze the computational complexity of this problem under various assumptions: labeled versus unlabeled chips, arbitrary graphs versus the case when the graph is the rectangular (infinite) planar grid, etc. We prove hardness and inapproximability results for several variants of the problem. We also give a linear time algorithm which performs an optimal (minimum) number of moves for the unlabeled version in a tree, and a constant-ratio approximation algorithm for the unlabeled version in a graph. The graph algorithm uses the tree algorithm as a subroutine.
引用
收藏
页码:124 / 138
页数:15
相关论文
共 21 条
[1]
Moving coins [J].
Abellanas, M ;
Bereg, S ;
Hurtado, F ;
Olaverri, AG ;
Rappaport, D ;
Tejel, J .
COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2006, 34 (01) :35-48
[2]
Alimonti P, 1997, LECT NOTES COMPUT SC, V1203, P288
[3]
A modern treatment of the 15 puzzle [J].
Archer, AF .
AMERICAN MATHEMATICAL MONTHLY, 1999, 106 (09) :793-799
[4]
ARORA S, 1998, J ACM, V45, P1
[5]
A linear-time algorithm for the feasibility of pebble motion on trees [J].
Auletta, V ;
Monti, A ;
Parente, M ;
Persiano, P .
ALGORITHMICA, 1999, 23 (03) :223-245
[6]
One for the price of two: a unified approach for approximating covering problems [J].
Bar-Yehuda, R .
ALGORITHMICA, 2000, 27 (02) :131-144
[7]
The lifting model for reconfiguration [J].
Bereg, S ;
Dumitrescu, A .
DISCRETE & COMPUTATIONAL GEOMETRY, 2006, 35 (04) :653-669
[8]
BEREG S, IN PRESS INT J COMPU
[9]
Pushing squares around [J].
Dumitrescu, A ;
Pach, J .
GRAPHS AND COMBINATORICS, 2006, 22 (01) :37-50
[10]
Motion planning for metamorphic systems: Feasibility, decidability, and distributed reconfiguration [J].
Dumitrescu, A ;
Suzuki, I ;
Yamashita, M .
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2004, 20 (03) :409-418