Abstract
We study the difficulty of solving instances of a new family of sliding block puzzles called SEPARATION TM. Each puzzle in the family consists of an arrangement in the plane of n rectilinear wooden blocks, n > 0. The aim is to discover a sequence of rectilinear moves which when carried out will separate each piece to infinity. If there is such a sequence of moves we say the puzzle or arrangement is separable and if each piece is moved only once we say it is one-separable. Furthermore if it is one-separable with all moves being in the same direction we say it is iso-separable.
We prove:
-
(1)
There is an O(n log n) time algorithm to decide whether or not a puzzle is iso-separable, where the blocks have a total of n edges.
-
(2)
There is an O(n log2 n) time algorithm to decide whether or not a puzzle is one-separable.
-
(3)
It is decidable whether or not a puzzle is separable.
-
(4)
Deciding separability is NP-hard.
-
(5)
There are puzzles which require time exponential in the number of edges to separate them.
The work of the first author was supported in part by the Office of Naval Research and the Defense Advanced Research Projects Agency under Contract N00014-83-K-0146 and ARPA Order No. 4786 and under a National Science Foundation Grant No. MCS-8303925, that of the third by a grant from the Alexander von Humboldt Foundation, and that of the fourth by a Natural Sciences and Engineering Research Council of Canada Grant No. A-5692.
Preview
Unable to display preview. Download preview PDF.
References
Baker, B.S., Coffman Jr., E.G., and Rivest, R.L., Orthogonal Packings in Two Dimensions, SIAM Journal on Computing 9 (1980), 846–855.
Bentley, J.L., and Wood, D., An Optimal Worst-Case Algorithm for Reporting Intersections of Rectangles, IEEE Transactions on Computers, C-29 (1980), 571–577.
Edelsbrunner, H., A Time-and Space-Optimal Solution for the Planar All Intersecting Rectangles Problem. Tech. Rep., University of Graz, IIG Rep. 50, April 1980.
Guibas, L.J., and Yao, F.F., On Translating a Set of Rectangles, Proceedings of the Tenth Annual ACM-SIGACT Symposium on Theory of Computing (1980), 154–160.
Hopcroft, J.E., Joseph, D.A., and Whitesides, S.H., On the Movement of Robot Arms in 2-Dimensional Bounded Regions, Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, (1982), 280–289.
Lozano-Perez, T., and Wesley, M., An Algorithm for Planning Collision-Free Paths among Polyhedral Obstacles, Communications of the ACM 22 (1979), 560–570.
O'Dúnlaing, C., Sharir, M., and Yap, C.K., Retraction: A New Approach to Motion Planning, Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing (1983), 207–220.
Reif, J., Complexity of the Mover's Problem and Generalizations, Proceeding of the 20th Annual Symposium on Foundations of Computer Science (1979), 421–427.
Schlag, M., Liao, Y.Z., and Wong, C.K., An Algorithm for Optimal Two-Dimensional Compaction Layouts, IBM Research Center, Yorktown, Research Report RC 9739, 1982.
Schwartz, J.T., and Sharir, M., On the Piano Mover's Problem: I. The Special Case of a Rigid Polygonal Body Moving amidst Polygonal Barriers, Communications on Pure and Applied Mathematics (1983), to appear.
Schwartz, J.T., and Sharir, M., On the Piano Mover's Problem: II. General Techniques for Computing Topological Properties of Real Alagebraic Manifolds, Advances in Applied Mathematics (1983), to appear.
Schwartz, J.T., and Sharir, M., On the Piano Mover's Problem: III. Coordinating the Motion of Several Independent Bodies: The Special Case of Circular Bodies Moving amidst Polygonal Barriers, New York University Courant Institute Computer Science Technical Report, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chazelle, B., Ottmann, T., Soisalon-Soininen, E., Wood, D. (1984). The complexity and decidability of separation. In: Paredaens, J. (eds) Automata, Languages and Programming. ICALP 1984. Lecture Notes in Computer Science, vol 172. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-13345-3_10
Download citation
DOI: https://doi.org/10.1007/3-540-13345-3_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13345-2
Online ISBN: 978-3-540-38886-9
eBook Packages: Springer Book Archive