124 メカニズム最適化のための平面無交差静定構造列挙アルゴリズム

抄録

In this paper we present an algorithm for enumerating without repetitions all the non-crossing generically minimally rigid bar-and-joint frameworks (also called non-crossing Laman frameworks) on a given generic set of n points. Our algorithm is based on the reverse search paradigm of Avis and Fukuda. It generates each output graph in O(n^4) time and O(n) space, or, with a slightly different implementation, in O(n^3) time and O(n^2) space. In particular, we obtain that the set of all non-crossing Laman frameworks on a given point set is connected by flips which remove an edge and then restore the minimally rigid property with the addition of a non-crossing edge.