kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Minimum Star Partitions of Simple Polygons in Polynomial Time
University of Copenhagen, Copenhagen, Denmark.
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Theoretical Computer Science, TCS. Saarbrücken, Germany; Max Planck Institute for Informatics, Saarbrücken, Germany.ORCID iD: 0009-0004-0874-2356
University of Copenhagen, Copenhagen, Denmark.
University of Copenhagen, Copenhagen, Denmark.
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

Available from: 2024-07-03 Created: 2024-07-03 Last updated: 2024-07-04Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Blikstad, Joakim

Search in DiVA

By author/editor
Blikstad, Joakim
By organisation
Theoretical Computer Science, TCS
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 266 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf