3-Dimensional Shortest Paths in the Presence of Polyhedral Obstacles

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(nlog(k)) space.

[1]  John E. Hopcroft,et al.  Determining Points of a Circular Region Reachable by Joints of a Robot Arm , 1982 .

[2]  John E. Hopcroft,et al.  Motion of Objects in Contact , 1984 .

[3]  J. Schwartz,et al.  On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .

[4]  Christos H. Papadimitriou,et al.  An Algorithm for Shortest-Path Motion in Three Dimensions , 1985, Inf. Process. Lett..

[5]  John E. Hopcroft,et al.  Reducing Multiple Object Motion Planning to Graph Searching , 1984, SIAM J. Comput..

[6]  John E. Hopcroft,et al.  Movement Problems for 2-Dimensional Linkages , 1984, SIAM J. Comput..

[7]  Joseph O'Rourke,et al.  Shortest Paths on Polyhedral Surfaces , 1985, STACS.

[8]  Micha Sharir,et al.  An efficient and simple motion planning algorithm for a ladder moving in two-dimensional space amidst polygonal barriers (extended abstract) , 1985, SCG '85.

[9]  Micha Sharir,et al.  An efficient algorithm for planning collision-free translational motion of a convex polygonal object in 2-dimensional space amidst polygonal obstacles , 1985, SCG '85.

[10]  Micha Sharir,et al.  Retraction: A new approach to motion-planning , 1983, STOC.

[11]  John H. Reif,et al.  The complexity of elementary algebra and geometry , 1984, STOC '84.

[12]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[13]  Micha Sharir,et al.  On shortest paths in polyhedral spaces , 1986, STOC '84.

[14]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[15]  John E. Hopcroft,et al.  On the movement of robot arms in 2-dimensional bounded regions , 1982, FOCS 1982.

[16]  John F. Canny,et al.  New lower bound techniques for robot motion planning problems , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[17]  Chanderjit Bajaj Reducibility among Geometric Location-Allocation Optimization Problems , 1984 .

[18]  Dima Grigoriev,et al.  Complexity of Quantifier Elimination in the Theory of Algebraically Closed Fields , 1984, MFCS.