{"title":"Visibility extension via reflection","authors":"Arash Vaezi , Bodhayan Roy , Mohammad Ghodsi","doi":"10.1016/j.tcs.2025.115083","DOIUrl":null,"url":null,"abstract":"<div><div>This paper studies a variant of the Art Gallery problem in which the “walls” can be replaced by <em>reflecting edges</em>, which allows the guards to see further and thereby see a larger portion of the gallery. Given a simple polygon <span><math><mtext>P</mtext></math></span>, first, we consider one guard as a point viewer, and we intend to use reflection to add a certain amount of area to the visibility polygon of the guard. We study visibility with specular and diffuse reflections where the specular type of reflection is the mirror-like reflection, and in the diffuse type of reflection, the angle between the incident and reflected ray may assume all possible values between 0 and <em>π</em>. Lee and Aggarwal already proved that several versions of the general Art Gallery problem are <span><math><mtext>NP</mtext></math></span>-hard. We show that several cases of adding an area to the visible area of a given point guard are <span><math><mtext>NP</mtext></math></span>-hard, too.</div><div>Second,<span><span><sup>1</sup></span></span> we assume that all edges are reflectors, and we intend to decrease the minimum number of guards required to cover the whole gallery.</div><div>Chao Xu proved that even considering <em>r</em> specular reflections, one may need <span><math><mo>⌊</mo><mfrac><mrow><mi>n</mi></mrow><mrow><mn>3</mn></mrow></mfrac><mo>⌋</mo></math></span> guards to cover the polygon, let <em>r</em> be the maximum number of reflections of a guard's visibility ray.</div><div>In this work, we prove that considering <em>r diffuse</em> reflections, the minimum number of <em>vertex or boundary</em> guards required to cover a given simple polygon <span><math><mi>P</mi></math></span> decreases to <span><math><mo>⌈</mo><mfrac><mrow><mi>α</mi></mrow><mrow><mn>1</mn><mo>+</mo><mo>⌊</mo><mfrac><mrow><mi>r</mi></mrow><mrow><mn>8</mn></mrow></mfrac><mo>⌋</mo></mrow></mfrac><mo>⌉</mo></math></span>, where <em>α</em> indicates the minimum number of guards required to cover the polygon without reflection. We also generalize the <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span>-approximation ratio algorithm of the vertex guarding problem to work in the presence of reflection.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1031 ","pages":"Article 115083"},"PeriodicalIF":0.9000,"publicationDate":"2025-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397525000210","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
This paper studies a variant of the Art Gallery problem in which the “walls” can be replaced by reflecting edges, which allows the guards to see further and thereby see a larger portion of the gallery. Given a simple polygon , first, we consider one guard as a point viewer, and we intend to use reflection to add a certain amount of area to the visibility polygon of the guard. We study visibility with specular and diffuse reflections where the specular type of reflection is the mirror-like reflection, and in the diffuse type of reflection, the angle between the incident and reflected ray may assume all possible values between 0 and π. Lee and Aggarwal already proved that several versions of the general Art Gallery problem are -hard. We show that several cases of adding an area to the visible area of a given point guard are -hard, too.
Second,1 we assume that all edges are reflectors, and we intend to decrease the minimum number of guards required to cover the whole gallery.
Chao Xu proved that even considering r specular reflections, one may need guards to cover the polygon, let r be the maximum number of reflections of a guard's visibility ray.
In this work, we prove that considering r diffuse reflections, the minimum number of vertex or boundary guards required to cover a given simple polygon decreases to , where α indicates the minimum number of guards required to cover the polygon without reflection. We also generalize the -approximation ratio algorithm of the vertex guarding problem to work in the presence of reflection.
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.