Daniel Bertschinger, Nicolas El Maalouly, Tillmann Miltzow, Patrick Schnider, Simon Weber
{"title":"Topological Art in Simple Galleries","authors":"Daniel Bertschinger, Nicolas El Maalouly, Tillmann Miltzow, Patrick Schnider, Simon Weber","doi":"10.1007/s00454-023-00540-x","DOIUrl":null,"url":null,"abstract":"Abstract Let P be a simple polygon, then the art gallery problem is looking for a minimum set of points (guards) that can see every point in P . We say two points $$a,b\\in P$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>a</mml:mi> <mml:mo>,</mml:mo> <mml:mi>b</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>P</mml:mi> </mml:mrow> </mml:math> can see each other if the line segment $${\\text {seg}} (a,b)$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mtext>seg</mml:mtext> <mml:mo>(</mml:mo> <mml:mi>a</mml:mi> <mml:mo>,</mml:mo> <mml:mi>b</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> is contained in P . We denote by V ( P ) the family of all minimum guard placements. The Hausdorff distance makes V ( P ) a metric space and thus a topological space. We show homotopy-universality, that is, for every semi-algebraic set S there is a polygon P such that V ( P ) is homotopy equivalent to S . Furthermore, for various concrete topological spaces T , we describe instances I of the art gallery problem such that V ( I ) is homeomorphic to T .","PeriodicalId":356162,"journal":{"name":"Discrete and Computational Geometry","volume":"396 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete and Computational Geometry","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s00454-023-00540-x","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Abstract Let P be a simple polygon, then the art gallery problem is looking for a minimum set of points (guards) that can see every point in P . We say two points $$a,b\in P$$ a,b∈P can see each other if the line segment $${\text {seg}} (a,b)$$ seg(a,b) is contained in P . We denote by V ( P ) the family of all minimum guard placements. The Hausdorff distance makes V ( P ) a metric space and thus a topological space. We show homotopy-universality, that is, for every semi-algebraic set S there is a polygon P such that V ( P ) is homotopy equivalent to S . Furthermore, for various concrete topological spaces T , we describe instances I of the art gallery problem such that V ( I ) is homeomorphic to T .