Minimum Star Partitions of Simple Polygons in Polynomial Time
2024 (English)In: STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery (ACM) , 2024, p. 904-910Conference paper, Published paper (Refereed)
Abstract [en]
We devise a polynomial-time algorithm for partitioning a simple polygon P into a minimum number of star-shaped polygons. The question of whether such an algorithm exists has been open for more than four decades [Avis and Toussaint, Pattern Recognit., 1981] and it has been repeated frequently, for example in O'Rourke's famous book [Art Gallery Theorems and Algorithms, 1987]. In addition to its strong theoretical motivation, the problem is also motivated by practical domains such as CNC pocket milling, motion planning, and shape parameterization. The only previously known algorithm for a non-trivial special case is for P being both monotone and rectilinear [Liu and Ntafos, Algorithmica, 1991]. For general polygons, an algorithm was only known for the restricted version in which Steiner points are disallowed [Keil, SIAM J. Comput., 1985], meaning that each corner of a piece in the partition must also be a corner of P. Interestingly, the solution size for the restricted version may be linear for instances where the unrestricted solution has constant size. The covering variant in which the pieces are star-shaped but allowed to overlap - known as the Art Gallery Problem - was recently shown to be ∃ℝ-complete and is thus likely not in NP [Abrahamsen, Adamaszek and Miltzow, STOC 2018 & J. ACM 2022]; this is in stark contrast to our result. Arguably the most related work to ours is the polynomial-time algorithm to partition a simple polygon into a minimum number of convex pieces by Chazelle and Dobkin [STOC, 1979 & Comp. Geom., 1985].
Place, publisher, year, edition, pages
Association for Computing Machinery (ACM) , 2024. p. 904-910
Series
Proceedings of the Annual ACM Symposium on Theory of Computing, ISSN 0737-8017
Keywords [en]
polygon partition, star-shaped polygon
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-349904DOI: 10.1145/3618260.3649756Scopus ID: 2-s2.0-85196619422OAI: oai:DiVA.org:kth-349904DiVA, id: diva2:1881680
Conference
56th Annual ACM Symposium on Theory of Computing, STOC 2024, Vancouver, Canada, Jun 24 2024 - Jun 28 2024
Note
QC 20240704
Part of ISBN 979-840070383-6
2024-07-032024-07-032024-07-04Bibliographically approved