Mehlhorn, Kurt; Yap, Chee-Keng Constructive Whitney-Graustein theorem: Or how to untangle closed planar curves. (English) Zbl 0736.68030 SIAM J. Comput. 20, No. 4, 603-621 (1991). Summary: The classification of polygons is considered in which two polygons are regularly equivalent if one can be continuously transformed into the other such that for each intermediate polygon, no two adjacent edges overlap. A discrete analogue of the classic Whitney-Graustein theorem is proven by showing that the winding number of polygons is a complete invariant for this classification. Moreover, this proof is constructive in that for any pair of equivalent polygons, it produces some sequence of regular transformations taking one polygon to the other. Although this sequence has a quadratic number of transformations, it can be described and computed in real time. Cited in 2 Documents MSC: 68W10 Parallel algorithms in computer science 55M25 Degree, winding number Keywords:polygonscation of polygons; Whitney-Graustein theorem; winding number; computational algebraic topology PDFBibTeX XMLCite \textit{K. Mehlhorn} and \textit{C.-K. Yap}, SIAM J. Comput. 20, No. 4, 603--621 (1991; Zbl 0736.68030) Full Text: DOI