Skip to main content
Top
Published in: The Journal of Supercomputing 3/2021

23-07-2020

NP-completeness of chromatic orthogonal art gallery problem

Authors: Hamid Hoorfar, Alireza Bagheri

Published in: The Journal of Supercomputing | Issue 3/2021

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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\ge 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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Biedl Th, Irfan MT, Iwerks J, Kim J, Mitchell JSB (2011) Guarding polyominoes. In: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, pp 387–396 Biedl Th, Irfan MT, Iwerks J, Kim J, Mitchell JSB (2011) Guarding polyominoes. In: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, pp 387–396
4.
go back to reference Bottino A, Laurentini A (2011) A nearly optimal algorithm for covering the interior of an art gallery. Pattern Recognit 44(5):1048–1056MATHCrossRef Bottino A, Laurentini A (2011) A nearly optimal algorithm for covering the interior of an art gallery. Pattern Recognit 44(5):1048–1056MATHCrossRef
5.
go back to reference Çağırıcı O, Ghosh SK, Hliněnỳ P, Roy B (2019) On conflict-free chromatic guarding of simple polygons. In: International Conference on Combinatorial Optimization and Applications. Springer, Berlin, pp 601–612 Çağırıcı O, Ghosh SK, Hliněnỳ P, Roy B (2019) On conflict-free chromatic guarding of simple polygons. In: International Conference on Combinatorial Optimization and Applications. Springer, Berlin, pp 601–612
7.
go back to reference Couto MC, de Rezende PJ, de Souza CC (2011) An exact algorithm for minimizing vertex guards on art galleries. Int Trans Oper Res 18(4):425–448MathSciNetMATHCrossRef Couto MC, de Rezende PJ, de Souza CC (2011) An exact algorithm for minimizing vertex guards on art galleries. Int Trans Oper Res 18(4):425–448MathSciNetMATHCrossRef
8.
go back to reference de Berg M, Khosravi A (2010) Optimal binary space partitions in the plane. In: International Computing and Combinatorics Conference. Springer, Berlin, pp 216–225 de Berg M, Khosravi A (2010) Optimal binary space partitions in the plane. In: International Computing and Combinatorics Conference. Springer, Berlin, pp 216–225
9.
go back to reference Dörre P (2004) Every planar graph is 4-colourable and 5-choosable a joint proof. Unpublished note, Fachhochschule Südwestfalen, University of Applied Sciences Dörre P (2004) Every planar graph is 4-colourable and 5-choosable a joint proof. Unpublished note, Fachhochschule Südwestfalen, University of Applied Sciences
10.
go back to reference Durocher S, Mehrabi S (2012) Computing partitions of rectilinear polygons with minimum stabbing number. In: International Computing and Combinatorics Conference. Springer, Berlin, pp 228–239 Durocher S, Mehrabi S (2012) Computing partitions of rectilinear polygons with minimum stabbing number. In: International Computing and Combinatorics Conference. Springer, Berlin, pp 228–239
11.
go back to reference Erickson L, LaValle SM (2010) A chromatic art gallery problem. Technical report Erickson L, LaValle SM (2010) A chromatic art gallery problem. Technical report
12.
go back to reference Erickson LH, LaValle SM (2011) How many landmark colors are needed to avoid confusion in a polygon? In: 2011 IEEE International Conference on Robotics and Automation. IEEE, pp 2302–2307 Erickson LH, LaValle SM (2011) How many landmark colors are needed to avoid confusion in a polygon? In: 2011 IEEE International Conference on Robotics and Automation. IEEE, pp 2302–2307
14.
go back to reference Fekete SP, Friedrichs S, Hemmer M (2014) Complexity of the general chromatic art gallery problem. In: Proceedings of 30th European Workshop on Computational Geometry (EuroCG 2014) Fekete SP, Friedrichs S, Hemmer M (2014) Complexity of the general chromatic art gallery problem. In: Proceedings of 30th European Workshop on Computational Geometry (EuroCG 2014)
15.
go back to reference Fekete SP, Friedrichs S, Hemmer M, Mitchell JBM, Schmidt C (2014) On the chromatic art gallery problem. In: CCCG Fekete SP, Friedrichs S, Hemmer M, Mitchell JBM, Schmidt C (2014) On the chromatic art gallery problem. In: CCCG
16.
go back to reference Garey MR, Johnson DS, Stockmeyer L (1974) Some simplified NP-complete problems. In: Proceedings of the Sixth Annual ACM Symposium on Theory of Computing. ACM, pp 47–63 Garey MR, Johnson DS, Stockmeyer L (1974) Some simplified NP-complete problems. In: Proceedings of the Sixth Annual ACM Symposium on Theory of Computing. ACM, pp 47–63
17.
go back to reference Ghosh SK (2010) Approximation algorithms for art gallery problems in polygons and terrains. In: International Workshop on Algorithms and Computation. Springer, Berlin, pp 21–34 Ghosh SK (2010) Approximation algorithms for art gallery problems in polygons and terrains. In: International Workshop on Algorithms and Computation. Springer, Berlin, pp 21–34
18.
go back to reference Hoffmann F, Kriegel K, Suri S, Verbeek K, Willert M (2018) Tight bounds for conflict-free chromatic guarding of orthogonal art galleries. Comput Geom 73:24–34MathSciNetMATHCrossRef Hoffmann F, Kriegel K, Suri S, Verbeek K, Willert M (2018) Tight bounds for conflict-free chromatic guarding of orthogonal art galleries. Comput Geom 73:24–34MathSciNetMATHCrossRef
19.
go back to reference Hoorfar H, Mohades A (2015) Special guards in chromatic art gallery. In: European Conference on Computational Geometry Hoorfar H, Mohades A (2015) Special guards in chromatic art gallery. In: European Conference on Computational Geometry
20.
go back to reference Iwamoto C, Ibusuki T (2020) Computational complexity of the chromatic art gallery problem for orthogonal polygons. In: International Workshop on Algorithms and Computation. Springer, Berlin, pp 146–157 Iwamoto C, Ibusuki T (2020) Computational complexity of the chromatic art gallery problem for orthogonal polygons. In: International Workshop on Algorithms and Computation. Springer, Berlin, pp 146–157
23.
go back to reference Levcopoulos C (1987) Heuristics for minimum decompositions of polygons. PhD thesis Levcopoulos C (1987) Heuristics for minimum decompositions of polygons. PhD thesis
24.
go back to reference Liu Y, Morgana A, Simeone B (1998) A linear algorithm for 2-bend embeddings of planar graphs in the two-dimensional grid. Discrete Appl Math 81(1–3):69–91MathSciNetMATH Liu Y, Morgana A, Simeone B (1998) A linear algorithm for 2-bend embeddings of planar graphs in the two-dimensional grid. Discrete Appl Math 81(1–3):69–91MathSciNetMATH
25.
go back to reference Martins AM, Bajuelos AL (2006) Vertex guards in a subclass of orthogonal polygons. Int J Comput Sci Netw Secur 6:102–108 Martins AM, Bajuelos AL (2006) Vertex guards in a subclass of orthogonal polygons. Int J Comput Sci Netw Secur 6:102–108
27.
Metadata
Title
NP-completeness of chromatic orthogonal art gallery problem
Authors
Hamid Hoorfar
Alireza Bagheri
Publication date
23-07-2020
Publisher
Springer US
Published in
The Journal of Supercomputing / Issue 3/2021
Print ISSN: 0920-8542
Electronic ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-020-03379-8

Other articles of this Issue 3/2021

The Journal of Supercomputing 3/2021 Go to the issue

Premium Partner