NP-completeness of chromatic orthogonal art gallery problem

被引:2
|
作者
Hoorfar, Hamid [1 ]
Bagheri, Alireza [1 ]
机构
[1] Amirkabir Univ Technol, Dept Comp Engn, Tehran Polytech, Tehran, Iran
来源
JOURNAL OF SUPERCOMPUTING | 2021年 / 77卷 / 03期
关键词
Orthogonal visibility; Chromatic guarding; Art gallery problem;
D O I
10.1007/s11227-020-03379-8
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The chromatic orthogonal art gallery problem is a well-known problem in the computational geometry. Two points in an orthogonal polygon P see each other if there is an axis-aligned rectangle inside P contains them. An orthogonal guarding of P is k-colorable, if there is an assignment between k colors and the guards such that the visibility regions of every two guards in the same color have no intersection. The purposes of this paper are discussing the time complexity of k-colorability of orthogonal guarding and providing algorithms for the chromatic orthogonal art gallery problem. The correctness of presented solutions is proved, mathematically. Herein, the heuristic method is used that leads us to an innovative reduction, some optimal and one approximation algorithms. The paper shows that deciding k-colorability of orthogonal guarding for P is NP-complete. First, we prove that deciding 2-colorability of P is NP-complete. It is proved by a reduction from planar monotone rectilinear 3-SAT problem. After that, a reduction from graph coloring implies this is true for every fixed integer k >= 2. In the third step, we present a 6-approximation algorithm for every orthogonal simple polygon. Also, an exact algorithm is provided for histogram polygons that finds the minimum chromatic number.
引用
收藏
页码:3077 / 3109
页数:33
相关论文
共 13 条
  • [1] NP-completeness of chromatic orthogonal art gallery problem
    Hamid Hoorfar
    Alireza Bagheri
    The Journal of Supercomputing, 2021, 77 : 3077 - 3109
  • [2] Conflict-free Chromatic Art Gallery Coverage
    Baertschi, Andreas
    Suri, Subhash
    29TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, (STACS 2012), 2012, 14 : 160 - 171
  • [3] Conflict-Free Chromatic Art Gallery Coverage
    Baertschi, Andreas
    Suri, Subhash
    ALGORITHMICA, 2014, 68 (01) : 265 - 283
  • [4] Conflict-Free Chromatic Art Gallery Coverage
    Andreas Bärtschi
    Subhash Suri
    Algorithmica, 2014, 68 : 265 - 283
  • [5] The dispersive art gallery problem
    Rieck, Christian
    Scheffer, Christian
    COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2024, 117
  • [6] The Art Gallery Problem Is ∃R-Complete
    Abrahamsen, Mikkel
    Adamaszek, Anna
    Miltzow, Tillmann
    STOC'18: PROCEEDINGS OF THE 50TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2018, : 65 - 73
  • [7] The Art Gallery Problem is 3R-complete
    Abrahamsen, Mikkel
    Adamaszek, Anna
    Miltzow, Tillmann
    JOURNAL OF THE ACM, 2022, 69 (01)
  • [8] A Practical Algorithm with Performance Guarantees for the Art Gallery Problem
    Hengeveld, Simon B.
    Miltzow, Tillmann
    DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2023, 25 (02):
  • [9] Tight bounds for conflict-free chromatic guarding of orthogonal art galleries
    Hoffmann, Frank
    Kriegel, Klaus
    Suri, Subhash
    Verbeek, Kevin
    Willert, Max
    COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2018, 73 : 24 - 34
  • [10] The Sectional Art Gallery and an Evolutionary Algorithm for Approaching Its Minimum Point Guard Problem
    Terhar, Fynn
    Icking, Christian
    2021 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC 2021), 2021, : 1390 - 1397