Flipturning polygons

A flipturn transforms a nonconvex simple polygon into another simple polygon by rotating a concavity 180◦ around the midpoint of its bounding convex hull edge. Joss and Shannon proved in 1973 that a sequence of flipturns eventually transforms any simple polygon into a convex polygon. This paper desc...

Descripción completa

Detalles Bibliográficos
Autores: Aichholzer, Oswin, Cortés Parejo, María del Carmen, Demaine, Erik D., Dujmović, Vida, Erickson, Jeff, Meijer, Henk, Overmars, Mark, Palop, Belén, Ramaswami, Suneeta, Toussaint, Godfried T.
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2002
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/163498
Acceso en línea:https://hdl.handle.net/11441/163498
https://doi.org/10.1007/s00454-002-2775-7
Access Level:acceso abierto
Descripción
Sumario:A flipturn transforms a nonconvex simple polygon into another simple polygon by rotating a concavity 180◦ around the midpoint of its bounding convex hull edge. Joss and Shannon proved in 1973 that a sequence of flipturns eventually transforms any simple polygon into a convex polygon. This paper describes several new results about such flipturn sequences. We show that any orthogonal polygon is convexified after at most n−5 arbitrary flipturns, or at most 5(n−4)/6 well-chosen flipturns, improving the previously best upper bound of (n − 1)!/2. We also show that any simple polygon can be convexified by at most n2−4n+1 flipturns, generalizing earlier results of Ahn et al. These bounds depend critically on how degenerate cases are handled; we carefully explore several possibilities. We prove that computing the longest flipturn sequence for a simple polygon is NP-hard. Finally, we show that although flipturn sequences for the same polygon can have significantly different lengths, the shape and position of the final convex polygon is the same for all sequences and can be computed in O(n log n) time.