Characterizing redundant rigidity and redundant global rigidity of body-hinge graphs

Although an efficient algorithm which determines mixed-connectivity is still not known, our result implies that both edge-redundancy for rigidity and edge-redundancy for global rigidity can be checked via efficient graph-connectivity algorithms.