The number of embeddings of minimally rigid graphs

被引:50
作者
Borcea, C [1 ]
Streinu, I
机构
[1] Rider Univ, Dept Math, Lawrenceville, NJ 08648 USA
[2] Smith Coll, Dept Comp Sci, Northampton, MA 01063 USA
关键词
Lower Bound; Euclidean Space; Complex Number; High Dimension; Algebraic Geometry;
D O I
10.1007/s00454-003-2902-0
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Rigid frameworks in some Euclidean space are embedded graphs having a unique local realization (up to Euclidean motions) for the given edge lengths, although globally they may have several. We study the number of distinct planar embeddings of minimally rigid graphs with n vertices. We show that, modulo planar rigid motions, this number is at most ((n-2) (2n-4)) approximate to 4(n). We also exhibit several families which realize lower bounds of the order of 2(n), 2.21(n) and 2.28(n). For the upper bound we use techniques from complex algebraic geometry, based on the (projective) Cayley-Menger variety CM2,n(C) subset of P((n)(2))(-1) (C) over the complex numbers C. In this context, point configurations are represented by coordinates given by squared distances between all pairs of points. Sectioning the variety with 2n - 4 hyperplanes yields at most deg (CM2,n) zero-dimensional components, and one finds this degree to be D-2,D-n = (1)/(2)((n-2) (2n-4)). The lower bounds are related to inductive constructions of minimally rigid graphs via Henneberg sequences. The same approach Works in higher dimensions. In particular, we show that it leads to 2-1) for the number of spatial embeddings an upper bound of 2D(3,n) = (2(n-3)/(n - 2) ((n-3) (2n-6)) with generic edge lengths of the 1-skeleton of a simplicial polyhedron, up to rigid motions. Our technique can also be adapted to the non-Euclidean case.
引用
收藏
页码:287 / 303
页数:17
相关论文
共 38 条
  • [1] [Anonymous], 1987, GEOMETRY
  • [2] BASU S, UNPUB ALGORITHMS REA
  • [3] BASU S, 2001, P 17 S COMP GEOM SOC, P288
  • [4] BERG A, IN PRESS J COMBIN B
  • [5] Berger M., 1987, Geometry, VI
  • [6] Blumenthal LM., 1970, THEORY APPL DISTANCE
  • [7] BORCEA C, 2002, UNPUB POINT CONFIGUR
  • [8] Canny J.F., 1988, Complexity of Robot Motion Planning
  • [9] Cauchy A. L., 1813, 16 CAH, VIX, P87
  • [10] CONNELLY R, 1993, HDB CONVEX GEOMETRY, VA, P223