Loading…
The Art Gallery Problem is ∃ℝ-complete
The Art Gallery Problem (AGP) is a classic problem in computational geometry, introduced in 1973 by Victor Klee. Given a simple polygon 풫 and an integer k , the goal is to decide if there exists a set G of k guards within 풫 such that every point p ∈ 풫 is seen by at least one guard g ∈ G . Each guard...
Saved in:
Published in: | Journal of the ACM 2022-02, Vol.69 (1), p.1-70 |
---|---|
Main Authors: | , , |
Format: | Article |
Language: | English |
Subjects: | |
Citations: | Items that this one cites Items that cite this one |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
cited_by | cdi_FETCH-LOGICAL-c984-f42d66d6ba89ecc60160562155a6af6a61d2868817cdabadee7675ea8610cded3 |
---|---|
cites | cdi_FETCH-LOGICAL-c984-f42d66d6ba89ecc60160562155a6af6a61d2868817cdabadee7675ea8610cded3 |
container_end_page | 70 |
container_issue | 1 |
container_start_page | 1 |
container_title | Journal of the ACM |
container_volume | 69 |
creator | Abrahamsen, Mikkel Adamaszek, Anna Miltzow, Tillmann |
description | The
Art Gallery Problem
(AGP) is a classic problem in computational geometry, introduced in 1973 by Victor Klee. Given a simple polygon 풫 and an integer
k
, the goal is to decide if there exists a set
G
of
k
guards
within 풫 such that every point
p
∈ 풫 is seen by at least one guard
g
∈
G
. Each guard corresponds to a point in the polygon 풫, and we say that a guard
g
sees
a point
p
if the line segment
pg
is contained in 풫.
We prove that the AGP is ∃ ℝ-complete, implying that (1) any system of polynomial equations over the real numbers can be encoded as an instance of the AGP, and (2) the AGP is not in the complexity class NP unless NP = ∃ ℝ. As a corollary of our construction, we prove that for any real algebraic number α, there is an instance of the AGP where one of the coordinates of the guards equals α in any guard set of minimum cardinality. That rules out many natural geometric approaches to the problem, as it shows that any approach based on constructing a finite set of candidate points for placing guards has to include points with coordinates being roots of polynomials with arbitrary degree. As an illustration of our techniques, we show that for every compact semi-algebraic set
S
⊆ [0, 1]
2
, there exists a polygon with corners at rational coordinates such that for every
p
∈ [0, 1]
2
, there is a set of guards of minimum cardinality containing
p
if and only if
p
∈
S
.
In the ∃ ℝ-hardness proof for the AGP, we introduce a new ∃ ℝ-complete problem ETR-INV. We believe that this problem is of independent interest, as it has already been used to obtain ∃ ℝ-hardness proofs for other problems. |
doi_str_mv | 10.1145/3486220 |
format | article |
fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2626954884</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2626954884</sourcerecordid><originalsourceid>FETCH-LOGICAL-c984-f42d66d6ba89ecc60160562155a6af6a61d2868817cdabadee7675ea8610cded3</originalsourceid><addsrcrecordid>eNotkMFKAzEYhIMouFbxFRY8CEI0ySZ_0mMptgoFPezBW8gm_2LLrrsm20PPevAlfLk-iSvtaRj4mBmGkGvO7jmX6qGQBoRgJyTjSmmqC_V2SjLGmKRKcn5OLlLajJYJpjNyV75jPotDvnRNg3GXv8auarDN1ynf_3ztv3-p79q-wQEvyVntmoRXR52QcvFYzp_o6mX5PJ-tqJ8aSWspAkCAypkpeg-MA1Mgxi0OXA0OeBAGjOHaB1e5gKhBK3QGOPMBQzEhN4fYPnafW0yD3XTb-DE2WgECpkoaI0fq9kD52KUUsbZ9XLcu7ixn9v8He_yh-AMNOU6i</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2626954884</pqid></control><display><type>article</type><title>The Art Gallery Problem is ∃ℝ-complete</title><source>EBSCOhost Business Source Ultimate</source><source>Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)</source><creator>Abrahamsen, Mikkel ; Adamaszek, Anna ; Miltzow, Tillmann</creator><creatorcontrib>Abrahamsen, Mikkel ; Adamaszek, Anna ; Miltzow, Tillmann</creatorcontrib><description>The
Art Gallery Problem
(AGP) is a classic problem in computational geometry, introduced in 1973 by Victor Klee. Given a simple polygon 풫 and an integer
k
, the goal is to decide if there exists a set
G
of
k
guards
within 풫 such that every point
p
∈ 풫 is seen by at least one guard
g
∈
G
. Each guard corresponds to a point in the polygon 풫, and we say that a guard
g
sees
a point
p
if the line segment
pg
is contained in 풫.
We prove that the AGP is ∃ ℝ-complete, implying that (1) any system of polynomial equations over the real numbers can be encoded as an instance of the AGP, and (2) the AGP is not in the complexity class NP unless NP = ∃ ℝ. As a corollary of our construction, we prove that for any real algebraic number α, there is an instance of the AGP where one of the coordinates of the guards equals α in any guard set of minimum cardinality. That rules out many natural geometric approaches to the problem, as it shows that any approach based on constructing a finite set of candidate points for placing guards has to include points with coordinates being roots of polynomials with arbitrary degree. As an illustration of our techniques, we show that for every compact semi-algebraic set
S
⊆ [0, 1]
2
, there exists a polygon with corners at rational coordinates such that for every
p
∈ [0, 1]
2
, there is a set of guards of minimum cardinality containing
p
if and only if
p
∈
S
.
In the ∃ ℝ-hardness proof for the AGP, we introduce a new ∃ ℝ-complete problem ETR-INV. We believe that this problem is of independent interest, as it has already been used to obtain ∃ ℝ-hardness proofs for other problems.</description><identifier>ISSN: 0004-5411</identifier><identifier>EISSN: 1557-735X</identifier><identifier>DOI: 10.1145/3486220</identifier><language>eng</language><publisher>New York: Association for Computing Machinery</publisher><subject>Algebra ; Art galleries & museums ; Computational geometry ; Guards ; Hardness ; Mathematical analysis ; Polygons ; Polynomials ; Real numbers</subject><ispartof>Journal of the ACM, 2022-02, Vol.69 (1), p.1-70</ispartof><rights>Copyright Association for Computing Machinery Feb 2022</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c984-f42d66d6ba89ecc60160562155a6af6a61d2868817cdabadee7675ea8610cded3</citedby><cites>FETCH-LOGICAL-c984-f42d66d6ba89ecc60160562155a6af6a61d2868817cdabadee7675ea8610cded3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>315,786,790,27957,27958</link.rule.ids></links><search><creatorcontrib>Abrahamsen, Mikkel</creatorcontrib><creatorcontrib>Adamaszek, Anna</creatorcontrib><creatorcontrib>Miltzow, Tillmann</creatorcontrib><title>The Art Gallery Problem is ∃ℝ-complete</title><title>Journal of the ACM</title><description>The
Art Gallery Problem
(AGP) is a classic problem in computational geometry, introduced in 1973 by Victor Klee. Given a simple polygon 풫 and an integer
k
, the goal is to decide if there exists a set
G
of
k
guards
within 풫 such that every point
p
∈ 풫 is seen by at least one guard
g
∈
G
. Each guard corresponds to a point in the polygon 풫, and we say that a guard
g
sees
a point
p
if the line segment
pg
is contained in 풫.
We prove that the AGP is ∃ ℝ-complete, implying that (1) any system of polynomial equations over the real numbers can be encoded as an instance of the AGP, and (2) the AGP is not in the complexity class NP unless NP = ∃ ℝ. As a corollary of our construction, we prove that for any real algebraic number α, there is an instance of the AGP where one of the coordinates of the guards equals α in any guard set of minimum cardinality. That rules out many natural geometric approaches to the problem, as it shows that any approach based on constructing a finite set of candidate points for placing guards has to include points with coordinates being roots of polynomials with arbitrary degree. As an illustration of our techniques, we show that for every compact semi-algebraic set
S
⊆ [0, 1]
2
, there exists a polygon with corners at rational coordinates such that for every
p
∈ [0, 1]
2
, there is a set of guards of minimum cardinality containing
p
if and only if
p
∈
S
.
In the ∃ ℝ-hardness proof for the AGP, we introduce a new ∃ ℝ-complete problem ETR-INV. We believe that this problem is of independent interest, as it has already been used to obtain ∃ ℝ-hardness proofs for other problems.</description><subject>Algebra</subject><subject>Art galleries & museums</subject><subject>Computational geometry</subject><subject>Guards</subject><subject>Hardness</subject><subject>Mathematical analysis</subject><subject>Polygons</subject><subject>Polynomials</subject><subject>Real numbers</subject><issn>0004-5411</issn><issn>1557-735X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><recordid>eNotkMFKAzEYhIMouFbxFRY8CEI0ySZ_0mMptgoFPezBW8gm_2LLrrsm20PPevAlfLk-iSvtaRj4mBmGkGvO7jmX6qGQBoRgJyTjSmmqC_V2SjLGmKRKcn5OLlLajJYJpjNyV75jPotDvnRNg3GXv8auarDN1ynf_3ztv3-p79q-wQEvyVntmoRXR52QcvFYzp_o6mX5PJ-tqJ8aSWspAkCAypkpeg-MA1Mgxi0OXA0OeBAGjOHaB1e5gKhBK3QGOPMBQzEhN4fYPnafW0yD3XTb-DE2WgECpkoaI0fq9kD52KUUsbZ9XLcu7ixn9v8He_yh-AMNOU6i</recordid><startdate>20220228</startdate><enddate>20220228</enddate><creator>Abrahamsen, Mikkel</creator><creator>Adamaszek, Anna</creator><creator>Miltzow, Tillmann</creator><general>Association for Computing Machinery</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20220228</creationdate><title>The Art Gallery Problem is ∃ℝ-complete</title><author>Abrahamsen, Mikkel ; Adamaszek, Anna ; Miltzow, Tillmann</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c984-f42d66d6ba89ecc60160562155a6af6a61d2868817cdabadee7675ea8610cded3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Algebra</topic><topic>Art galleries & museums</topic><topic>Computational geometry</topic><topic>Guards</topic><topic>Hardness</topic><topic>Mathematical analysis</topic><topic>Polygons</topic><topic>Polynomials</topic><topic>Real numbers</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Abrahamsen, Mikkel</creatorcontrib><creatorcontrib>Adamaszek, Anna</creatorcontrib><creatorcontrib>Miltzow, Tillmann</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Journal of the ACM</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Abrahamsen, Mikkel</au><au>Adamaszek, Anna</au><au>Miltzow, Tillmann</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>The Art Gallery Problem is ∃ℝ-complete</atitle><jtitle>Journal of the ACM</jtitle><date>2022-02-28</date><risdate>2022</risdate><volume>69</volume><issue>1</issue><spage>1</spage><epage>70</epage><pages>1-70</pages><issn>0004-5411</issn><eissn>1557-735X</eissn><abstract>The
Art Gallery Problem
(AGP) is a classic problem in computational geometry, introduced in 1973 by Victor Klee. Given a simple polygon 풫 and an integer
k
, the goal is to decide if there exists a set
G
of
k
guards
within 풫 such that every point
p
∈ 풫 is seen by at least one guard
g
∈
G
. Each guard corresponds to a point in the polygon 풫, and we say that a guard
g
sees
a point
p
if the line segment
pg
is contained in 풫.
We prove that the AGP is ∃ ℝ-complete, implying that (1) any system of polynomial equations over the real numbers can be encoded as an instance of the AGP, and (2) the AGP is not in the complexity class NP unless NP = ∃ ℝ. As a corollary of our construction, we prove that for any real algebraic number α, there is an instance of the AGP where one of the coordinates of the guards equals α in any guard set of minimum cardinality. That rules out many natural geometric approaches to the problem, as it shows that any approach based on constructing a finite set of candidate points for placing guards has to include points with coordinates being roots of polynomials with arbitrary degree. As an illustration of our techniques, we show that for every compact semi-algebraic set
S
⊆ [0, 1]
2
, there exists a polygon with corners at rational coordinates such that for every
p
∈ [0, 1]
2
, there is a set of guards of minimum cardinality containing
p
if and only if
p
∈
S
.
In the ∃ ℝ-hardness proof for the AGP, we introduce a new ∃ ℝ-complete problem ETR-INV. We believe that this problem is of independent interest, as it has already been used to obtain ∃ ℝ-hardness proofs for other problems.</abstract><cop>New York</cop><pub>Association for Computing Machinery</pub><doi>10.1145/3486220</doi><tpages>70</tpages></addata></record> |
fulltext | fulltext |
identifier | ISSN: 0004-5411 |
ispartof | Journal of the ACM, 2022-02, Vol.69 (1), p.1-70 |
issn | 0004-5411 1557-735X |
language | eng |
recordid | cdi_proquest_journals_2626954884 |
source | EBSCOhost Business Source Ultimate; Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list) |
subjects | Algebra Art galleries & museums Computational geometry Guards Hardness Mathematical analysis Polygons Polynomials Real numbers |
title | The Art Gallery Problem is ∃ℝ-complete |
url | http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-09-22T03%3A34%3A45IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=The%20Art%20Gallery%20Problem%20is%20%E2%88%83%E2%84%9D-complete&rft.jtitle=Journal%20of%20the%20ACM&rft.au=Abrahamsen,%20Mikkel&rft.date=2022-02-28&rft.volume=69&rft.issue=1&rft.spage=1&rft.epage=70&rft.pages=1-70&rft.issn=0004-5411&rft.eissn=1557-735X&rft_id=info:doi/10.1145/3486220&rft_dat=%3Cproquest_cross%3E2626954884%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c984-f42d66d6ba89ecc60160562155a6af6a61d2868817cdabadee7675ea8610cded3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2626954884&rft_id=info:pmid/&rfr_iscdi=true |