Computing form-closure configurations

We present the first output-sensitive algorithm for computing all placements of four (frictionless) points that put a polygonal part in form closure. Our efficient algorithm runs in O(n^2+ε+K) time, where n is the number of vertices of the polygon, K is the description size of the set of form closure placements, and ε is an arbitrarily small constant. The basis of our algorithm is a translation of the problem into geometric searching problems, which are solved with the use of efficient data structures. Our results can be extended to the problem of computing all placements of a line and two points that put a polygonal part in form closure. The resulting algorithm runs in O(n² log² n+K) time, where K is again the description size of the output