TY - GEN
T1 - MOTION PLANNING IN THE PRESENCE OF MOVING OBSTACLES.
AU - Reif, John
AU - Sharir, Micha
PY - 1985
Y1 - 1985
N2 - The authors investigate the computational complexity of planning the motion of a body B in 2-D or 3-D space, so as to avoid collision with moving obstacles of known, easily computed, trajectories. Dynamic movement problems are of fundamental importance to robotics, but their computational complexity has not previously been investigated. Evidence is provided that the 3-D dynamic movement problem is intractable even if B has only a constant number of degrees of freedom of movement. In particular, it is proved that the problem is PSPACE-hard if B is given a velocity modulus bound on its movements and is NP hard even if B has no velocity modulus bound, where in both cases B has 6 degrees of freedom. These results are proved using a unique method of simulation of a Turning machine that uses time to encode configurations.
AB - The authors investigate the computational complexity of planning the motion of a body B in 2-D or 3-D space, so as to avoid collision with moving obstacles of known, easily computed, trajectories. Dynamic movement problems are of fundamental importance to robotics, but their computational complexity has not previously been investigated. Evidence is provided that the 3-D dynamic movement problem is intractable even if B has only a constant number of degrees of freedom of movement. In particular, it is proved that the problem is PSPACE-hard if B is given a velocity modulus bound on its movements and is NP hard even if B has no velocity modulus bound, where in both cases B has 6 degrees of freedom. These results are proved using a unique method of simulation of a Turning machine that uses time to encode configurations.
UR - http://www.scopus.com/inward/record.url?scp=0022219394&partnerID=8YFLogxK
U2 - 10.1109/sfcs.1985.36
DO - 10.1109/sfcs.1985.36
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:0022219394
SN - 0818606444
SN - 9780818606441
T3 - Annual Symposium on Foundations of Computer Science (Proceedings)
SP - 144
EP - 154
BT - Annual Symposium on Foundations of Computer Science (Proceedings)
PB - IEEE
ER -