Reconfigurations in graphs and grids

被引:10
作者
Calinescu, G [1 ]
Dumitrescu, A
Pach, J
机构
[1] IIT, Dept Comp Sci, Chicago, IL 60616 USA
[2] Univ Wisconsin, Dept Comp Sci, Milwaukee, WI 53211 USA
[3] Courant Inst Math Sci, New York, NY 10012 USA
来源
LATIN 2006: THEORETICAL INFORMATICS | 2006年 / 3887卷
关键词
D O I
10.1007/11682462_27
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Let C be a connected graph, and let V and V' 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 nu(1) to nu(2) (nu(1), nu(2) is an element of 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 provide 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.
引用
收藏
页码:262 / 273
页数:12
相关论文
共 19 条
[1]  
ABELLANAS M, IN PRESS COMPUTATION
[2]  
Alimonti P, 1997, LECT NOTES COMPUT SC, V1203, P288
[3]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theoryof NP-Completeness
[4]   A modern treatment of the 15 puzzle [J].
Archer, AF .
AMERICAN MATHEMATICAL MONTHLY, 1999, 106 (09) :793-799
[5]  
ARORA S, 1998, J ACM, V45, P1
[6]   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
[7]   One for the price of two: a unified approach for approximating covering problems [J].
Bar-Yehuda, R .
ALGORITHMICA, 2000, 27 (02) :131-144
[8]  
BEREG S, IN PRESS LNCS P
[9]   Analytic residues along algebraic cycles [J].
Berenstein, CA ;
Vidras, A ;
Yger, A .
JOURNAL OF COMPLEXITY, 2005, 21 (01) :5-42
[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