一個 -維框架是一個二元組
,其中
是一個圖,頂點集
和 邊集
,並且
是一個將
中的點分配給
的每個頂點的對映。框架
中邊
的長度是
和
之間的歐幾里得距離。稱
為
在
中的一個實現。如果框架的點座標集在
上是代數獨立的,則稱該框架是通用的;如果
在
中的每個其他實現
,其中對應邊的長度相同,都與
全等,則稱該框架是全域性剛性的;也就是說,圖
及其在
中的邊長唯一確定
中所有頂點的成對距離。
在定義了上述術語之後,如果 在
中的每個(等價地,如果某些)通用實現都是全域性剛性的,則稱
在
中是普遍全域性剛性的 (Garamvölgyi et al. 2021)。
如果 在
上且有
個頂點的框架中是全域性剛性的,那麼
在 完全可重構的
中是完全可重構的 (Garamvölgyi et al. 2021)。