On Characterizations of Rigid Graphs in the Plane Using Spanning Trees On Characterizations of Rigid Graphs in the Plane

摘要

We study characterizations of generic rigid graphs and generic circuits in the plane using only few decompositions into spanning trees. Generic rigid graphs in the plane can be characterized by spanning tree decompositions [5,6]. A graph G with n vertices and 2n − 3 edges is generic rigid in the plane if and only if doubling any edge results in a graph which is the union of two spanning trees. This requires 2n − 3 decompositions into spanning trees. We show that n − 2 decompositions suffice: only edges of G − T can be doubled where T is a spanning tree of G. A recent result on tensegrity frameworks by Recski [7] implies a characterization of generic circuits in the plane. A graph G with n vertices and 2n − 2 edges is a generic circuit in the plane if and only if replacing any edge of G by any (possibly new) edge results in a graph which is the union of two spanning trees. This requires (2n-2)(((n) || 2) - 1)+1(2n-2)({nchoose 2} - 1)+1 decompositions into spanning trees. We show that 2n − 2 decompositions suffice. Let e₁,e₂,¼,e_2n-2e_1,e_2,ldots,e_{2n-2} be any circular order of edges of G (i.e. e₀ = e_2n-2e_0 = e_{2n-2}). The graph G is a generic circuit in the plane if and only if G + e_i - e_i-1G + e_i - e_{i-1} is the union of two spanning trees for any i = 1,2, ¼, 2n-2i = 1,2, ldots, 2n-2. Furthermore, we show that only n decompositions into spanning trees suffice.