2013 IEEE 54th Annual Symposium on Foundations of Computer Science (2000)

Redondo Beach, California

Nov. 12, 2000 to Nov. 14, 2000

ISSN: 0272-5428

ISBN: 0-7695-0850-2

pp: 432

R. Connelly , Dept. of Math., Cornell Univ., Ithaca, NY, USA

G. Rote , Dept. of Math., Cornell Univ., Ithaca, NY, USA

E.D. Demaine , Dept. of Math., Cornell Univ., Ithaca, NY, USA

ABSTRACT

Consider a planar linkage, consisting of disjoint polygonal arcs and cycles of rigid bars joined at incident endpoints (polygonal chains), with the property that no cycle surrounds another arc or cycle. We prove that the linkage can be continuously moved so that the arcs become straight, the cycles become convex, and no bars cross while preserving the bar lengths. Furthermore, our motion is piecewise-differentiable, does not decrease the distance between any pair of vertices, and preserves any symmetry present in the initial configuration. In particular this result settles the well-studied carpenter's rule conjecture.

INDEX TERMS

computational geometry; graph theory; polygonal arc straightening; polygonal cycle convexifying; planar linkage; polygonal chains; convex cycles; piecewise-differentiable motion; symmetry; rule conjecture; computational geometry; graph theory

CITATION

R. Connelly,
G. Rote,
E.D. Demaine,
"Straightening polygonal arcs and convexifying polygonal cycles",

*2013 IEEE 54th Annual Symposium on Foundations of Computer Science*, vol. 00, no. , pp. 432, 2000, doi:10.1109/SFCS.2000.892131