TY - JOUR
T1 - On the "piano movers" problem. II. General techniques for computing topological properties of real algebraic manifolds
AU - Schwartz, Jacob T.
AU - Sharir, Micha
N1 - Funding Information:
*Work on this paper has been supported in part by the Office of Naval Research Contract NOOOl4-75-C-0571; work by the second author has also been supported in part by the Bat-Sheva Fund of Israel.
PY - 1983/9
Y1 - 1983/9
N2 - This paper continues the discussion, begun in J. Schwartz and M. Sharir [Comm. Pure Appl. Math., in press], of the following problem, which arises in robotics: Given a collection of bodies B, which may be hinged, i.e., may allow internal motion around various joints, and given a region bounded by a collection of polyhedral or other simple walls, decide whether or not there exists a continuous motion connecting two given positions and orientations of the whole collection of bodies. We show that this problem can be handled by appropriate refinements of methods introduced by A. Tarski ["A Decision Method for Elementary Algebra and Geometry," 2nd ed., Univ. of Calif. Press, Berkeley, 1951] and G. Collins [in "Second GI Conference on Automata Theory and Formal Languages," Lecture Notes in Computer Science, Vol. 33, pp. 134-183, Springer-Verlag, Berlin, 1975], which lead to algorithms for this problem which are polynomial in the geometric complexity of the problem for each fixed number of degrees of freedom (but exponential in the number of degrees of freedom). Our method, which is also related to a technique outlined by J. Reif [in "Proceedings, 20th Symposium on the Foundations of Computer Science," pp. 421-427, 1979], also gives a general (but not polynomial time) procedure for calculating all of the homology groups of an arbitrary real algebraic variety. Various algorithmic issues concerning computations with algebraic numbers, which are required in the algorithms presented in this paper, are also reviewed.
AB - This paper continues the discussion, begun in J. Schwartz and M. Sharir [Comm. Pure Appl. Math., in press], of the following problem, which arises in robotics: Given a collection of bodies B, which may be hinged, i.e., may allow internal motion around various joints, and given a region bounded by a collection of polyhedral or other simple walls, decide whether or not there exists a continuous motion connecting two given positions and orientations of the whole collection of bodies. We show that this problem can be handled by appropriate refinements of methods introduced by A. Tarski ["A Decision Method for Elementary Algebra and Geometry," 2nd ed., Univ. of Calif. Press, Berkeley, 1951] and G. Collins [in "Second GI Conference on Automata Theory and Formal Languages," Lecture Notes in Computer Science, Vol. 33, pp. 134-183, Springer-Verlag, Berlin, 1975], which lead to algorithms for this problem which are polynomial in the geometric complexity of the problem for each fixed number of degrees of freedom (but exponential in the number of degrees of freedom). Our method, which is also related to a technique outlined by J. Reif [in "Proceedings, 20th Symposium on the Foundations of Computer Science," pp. 421-427, 1979], also gives a general (but not polynomial time) procedure for calculating all of the homology groups of an arbitrary real algebraic variety. Various algorithmic issues concerning computations with algebraic numbers, which are required in the algorithms presented in this paper, are also reviewed.
UR - http://www.scopus.com/inward/record.url?scp=0347647219&partnerID=8YFLogxK
U2 - 10.1016/0196-8858(83)90014-3
DO - 10.1016/0196-8858(83)90014-3
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0347647219
SN - 0196-8858
VL - 4
SP - 298
EP - 351
JO - Advances in Applied Mathematics
JF - Advances in Applied Mathematics
IS - 3
ER -