一般全局刚性

一个 -维框架是一个二元组 ，其中 是一个图，顶点集 和 边集 ，并且 是一个将 中的点分配给 的每个顶点的映射。框架 中边 的长度是 和 之间的欧几里得距离。称 为 在 中的一个实现。如果框架的点坐标集在 上是代数独立的，则称该框架是通用的；如果 在 中的每个其他实现 ，其中对应边的长度相同，都与 全等，则称该框架是全局刚性的；也就是说，图 及其在 中的边长唯一确定 中所有顶点的成对距离。

在定义了上述术语之后，如果 在 中的每个（等价地，如果某些）通用实现都是全局刚性的，则称 在 中是普遍全局刚性的 (Garamvölgyi et al. 2021)。

如果 在 上且有 个顶点的框架中是全局刚性的，那么 在 完全可重构的 中是完全可重构的 (Garamvölgyi et al. 2021)。