### Abstract

We study some minimum-area hull problems that generalize the notion of convex hull to star-shaped and monotone hulls. Specifically, we consider the minimum-area star-shaped hull problem: Given an n-vertex simple polygon P, find a minimum-area, star-shaped polygon P* containing P. This problem arises in lattice packings of translates of multiple, nonidentical shapes in material layout problems (e.g., in clothing manufacture), and has been recently posed by Daniels and Milenkovic. We consider two versions of the problem: the restricted version, in which the vertices of P* are constrained to be vertices of P, and the unrestricted version, in which the vertices of P* can be anywhere in the plane. We prove that the restricted problem falls in the class of "3SUM-hard" (sometimes called "n^{2}-hard") problems, which are suspected to admit no solutions in o(n^{2}) time. Further, we give an O(n^{2}) time algorithm, improving the previous bound of O(n^{5}). We also show that the unrestricted problem can be solved in O(n^{2}p(n)) time, where p(n) is the time needed to find the roots of two equations in two unknowns, each a polynomial of degree O(n). We also consider the case in which P* is required to be monotone, with respect to an unspecified direction; we refer to this as the minimum-area monotone hull problem. We give a matching lower and upper bound of Θ(n log n) time for computing P* in the restricted version, and an upper bound of O(nq(n)) time in the unrestricted version, where q(n) is the time needed to find the roots of two polynomial equations in two unknowns with degrees 2 and O(n).

Original language | English (US) |
---|---|

Pages (from-to) | 119-136 |

Number of pages | 18 |

Journal | Algorithmica (New York) |

Volume | 21 |

Issue number | 1 |

State | Published - 1998 |

### Fingerprint

### Keywords

- 3SUM-Hardness
- Computational geometry
- Design and analysis of algorithms
- Lower bounds
- Minimum-area hulls
- Monotone polygons
- Star-shaped polygons

### ASJC Scopus subject areas

- Computer Graphics and Computer-Aided Design
- Software
- Safety, Risk, Reliability and Quality
- Applied Mathematics

### Cite this

*Algorithmica (New York)*,

*21*(1), 119-136.

**On minimum-area hulls.** / Arkin, E. M.; Chiang, Yi-Jen; Held, M.; Mitchell, J. S B; Sacristan, V.; Skiena, S. S.; Yang, T. C.

Research output: Contribution to journal › Article

*Algorithmica (New York)*, vol. 21, no. 1, pp. 119-136.

}

TY - JOUR

T1 - On minimum-area hulls

AU - Arkin, E. M.

AU - Chiang, Yi-Jen

AU - Held, M.

AU - Mitchell, J. S B

AU - Sacristan, V.

AU - Skiena, S. S.

AU - Yang, T. C.

PY - 1998

Y1 - 1998

N2 - We study some minimum-area hull problems that generalize the notion of convex hull to star-shaped and monotone hulls. Specifically, we consider the minimum-area star-shaped hull problem: Given an n-vertex simple polygon P, find a minimum-area, star-shaped polygon P* containing P. This problem arises in lattice packings of translates of multiple, nonidentical shapes in material layout problems (e.g., in clothing manufacture), and has been recently posed by Daniels and Milenkovic. We consider two versions of the problem: the restricted version, in which the vertices of P* are constrained to be vertices of P, and the unrestricted version, in which the vertices of P* can be anywhere in the plane. We prove that the restricted problem falls in the class of "3SUM-hard" (sometimes called "n2-hard") problems, which are suspected to admit no solutions in o(n2) time. Further, we give an O(n2) time algorithm, improving the previous bound of O(n5). We also show that the unrestricted problem can be solved in O(n2p(n)) time, where p(n) is the time needed to find the roots of two equations in two unknowns, each a polynomial of degree O(n). We also consider the case in which P* is required to be monotone, with respect to an unspecified direction; we refer to this as the minimum-area monotone hull problem. We give a matching lower and upper bound of Θ(n log n) time for computing P* in the restricted version, and an upper bound of O(nq(n)) time in the unrestricted version, where q(n) is the time needed to find the roots of two polynomial equations in two unknowns with degrees 2 and O(n).

AB - We study some minimum-area hull problems that generalize the notion of convex hull to star-shaped and monotone hulls. Specifically, we consider the minimum-area star-shaped hull problem: Given an n-vertex simple polygon P, find a minimum-area, star-shaped polygon P* containing P. This problem arises in lattice packings of translates of multiple, nonidentical shapes in material layout problems (e.g., in clothing manufacture), and has been recently posed by Daniels and Milenkovic. We consider two versions of the problem: the restricted version, in which the vertices of P* are constrained to be vertices of P, and the unrestricted version, in which the vertices of P* can be anywhere in the plane. We prove that the restricted problem falls in the class of "3SUM-hard" (sometimes called "n2-hard") problems, which are suspected to admit no solutions in o(n2) time. Further, we give an O(n2) time algorithm, improving the previous bound of O(n5). We also show that the unrestricted problem can be solved in O(n2p(n)) time, where p(n) is the time needed to find the roots of two equations in two unknowns, each a polynomial of degree O(n). We also consider the case in which P* is required to be monotone, with respect to an unspecified direction; we refer to this as the minimum-area monotone hull problem. We give a matching lower and upper bound of Θ(n log n) time for computing P* in the restricted version, and an upper bound of O(nq(n)) time in the unrestricted version, where q(n) is the time needed to find the roots of two polynomial equations in two unknowns with degrees 2 and O(n).

KW - 3SUM-Hardness

KW - Computational geometry

KW - Design and analysis of algorithms

KW - Lower bounds

KW - Minimum-area hulls

KW - Monotone polygons

KW - Star-shaped polygons

UR - http://www.scopus.com/inward/record.url?scp=0010466489&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0010466489&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0010466489

VL - 21

SP - 119

EP - 136

JO - Algorithmica

JF - Algorithmica

SN - 0178-4617

IS - 1

ER -