Abstract
We consider the problem of finding a minimum length path between two points in 3-dimensional Euclidean space which avoids a set of (not necessarily convex) polyhedral obstacles; we let n denote the number of the obstacle edges and k denote the number of "islands" in the obstacle space. An island is defined to be a maximal convex obstacle surface such that for any two points contained in the interior of the island, a minimal length path between these two points is strictly contained in the interior of the island; for example, a set of i disconnected convex polyhedra forms a set of i islands, however, a single non-convex polyhedron will constitute more that one island. Prior to this work, the best known algorithm required double-exponential time. We present an algorithm that runs in \(n^{k^{0(1)} }\) time and also one that runs in O(n log(k)) space.
This work was partially supported by the Office of Naval Research grant number N000-14-80-C-0647 and was completed while this author was visiting the Laboratory for Computer Science at MIT.
This work was partially supported by NSF grant number DCR-8403244.
Preview
Unable to display preview. Download preview PDF.
References
C. Bajaj [1984]. "Reducibility among Geometric Location-Allocation Optimization Problems", Technical Report TR84-607, Computer Science Dept., Cornell University, Ithaca, NY.
M. Ben-Or, D. Kozen, and J. Reif [1984]. "The Complexity of Elementary Algebra and Geometry", Proceedings 16 th ACM Symposium on the Theory of Computing, Washington, DC, 457–464.
J. Canny and J. H. Reif [1987]. "New Lower Bounds for Robot Motion Planning Problems", Proceedings 28th Annual IEEE Symposium on the Foundations of Computer Science, Los Angeles, CA, 49–60.
A. L. Chistov and D. Yu. Grigor'ev [1985]. "Complexity of Quantifier Elimination in the Theory of Algebraically Closed Fields", Technical Report, Institute of the Academy of Sciences, Leningrad, USSR.
G. E. Collins [1975]. "Quantifier Elimination for Real Closed Fields by Cylindric Algebraic Decomposition", Proceedings Second GI Conference on Automata Theory and Formal Languages, Springer-Verlag LNCS 35, Berlin, 134–183.
W. R. Franklin and V. Akman [1984]. "Minimal Paths Between Two Points On/Around A Convex Polyhedron", Technical Report, Electrical, Computer, and Systems Engineering Dept., Rensselaer Polytechnic Institute, Troy, NY.
W. R. Franklin, V. Akman, and C. Verrilli [1984]. "Voronoi Diagrams with Barriers and on Polyhedra", Technical Report, Electrical, Computer, and Systems Engineering Dept., Rensselaer Polytechnic Institute, Troy, NY.
J. E. Hopcroft, D. A. Joseph, and S. H. Whitesides [1982]. "On the Movement of Robot Arms in 2-Dimensional Bounded Regions", Proceedings 23rd IEEE Symposium on Foundations of Computer Science", Chicago, IL, 280–289.
J. E. Hopcroft, D. A. Joseph, and S. H. Whitesides [1982b]. "Movement Problems for 2-Dimensional Linkages", Technical Report TR82-515, Computer Science Dept., Cornell University, Ithaca, NY.
J. E. Hopcroft, D. A. Joseph, and S. H. Whitesides [1982c]. "Determining Points of a Circular Region Reachable by Joints of a Robot Arm", Technical Report TR82-516, Computer Science Dept., Cornell University, Ithaca, NY.
J. E. Hopcroft and G. Wilfong [1984]. "On the Motion of Objects in Contact", Technical Report TR84-602, Computer Science Dept., Cornell University, Ithaca, NY.
J. E. Hopcroft and G. Wilfong [1984b]. "Reducing Multiple Object Motion Planning to Graph Searching", Technical Report TR84-616, Computer Science Dept., Cornell University, Ithaca, NY.
D. A. Joseph and W. H. Plantinga [1985]. "On the Complexity of Reachability and Motion Planning Questions", Proceedings First Annual Conference of Computation Geometry, Baltimore, MD, 62–66.
K. Kedem and M. Sharir [1985]. "An Efficient Algorithm for Planning Collision-Free Translational Motion of a Convex Polyhedral Object in 2-Dimensional Space Admidst Polygonal Obstacles", Proceedings First Annual Conference of Computational Geometry, Baltimore, MD, 75–80.
D. Leven and M. Sharir [1985]. "An Efficient and Simple Motion Planning Algorithm for a Ladder Moving in Two-Dimensional Space Admidst Polygonal Barriers", Proceedings First Annual Conference of Computational Geometry, Baltimore, MD, 221–227.
T. Lozano-Perez [1980]. "Automatic Planning of Manipulation Transfer Movements", AI Memo 606, Artificial Intelligence Laboratory, MIT, Cambridge, MA.
T. Lozano-Perez and M. A. Wesley [1979]. "An Algorithm for Planning Collision-Free Paths among Polyhedral Obstacles", CACM 22:10, 560–570.
C. O'Dunlaing, M. Sharir, and C. K. Yap [1983]. "Retraction: A New Approach to Motion Planning", Proceedings 15 th ACM Symposium on the Theory of Computing, Boston, MA, 207–220.
J. O'Rourke, S. Suri, and H. Booth [1984]. "Shortest Paths on Polyhedral Surfaces", Technical Report, Dept. of Electrical Engineering and Computer Science, Johns Hopkins University.
C. H. Papadimitriou [1984]. "An Algorithm for Shortest Path Motion in Three Dimensions", Technical Report, Stanford University.
J. Reif [1979]. "Complexity of the Mover's Problem", Proceedings 20 th IEEE Symposium on Foundations of Computer Science", San Juan, Puerto Rico, 421–427; also to appear in Planning, Geometry, and the Complexity of Robot Planning, ed. by J. Schwartz.
J. T. Schwartz and M. Sharir [1981]. "On the Piano Movers Problem 1: The Case of a 2-Dimensional Rigid Polygonal Body Moving Amidst Barriers", Technical Report TR39, Computer Science Dept., New York University, NY.
J. T. Schwartz and M. Sharir [1982]. "On the Piano Movers Problem 2: General Techniques for Computing Topological Properties of Real Algebraic Manifolds", Technical Report TR41, Computer Science Dept., New York University, NY.
M. Sharir and A. Schorr [1984]. "On Shortest Paths in Polyhedral Spaces", Proceedings 16 th ACM Symposium on the Theory of Computing, Washington, DC, 144–153.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reif, J.H., Storer, J.A. (1988). 3-dimensional shortest paths in the presence of polyhedral obstacles. In: Chytil, M.P., Koubek, V., Janiga, L. (eds) Mathematical Foundations of Computer Science 1988. MFCS 1988. Lecture Notes in Computer Science, vol 324. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017133
Download citation
DOI: https://doi.org/10.1007/BFb0017133
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50110-7
Online ISBN: 978-3-540-45926-2
eBook Packages: Springer Book Archive