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

23.07.2020

NP-completeness of chromatic orthogonal art gallery problem

verfasst von: Hamid Hoorfar, Alireza Bagheri

Erschienen in: The Journal of Supercomputing | Ausgabe 3/2021

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
1.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat Ç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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat Levcopoulos C (1987) Heuristics for minimum decompositions of polygons. PhD thesis Levcopoulos C (1987) Heuristics for minimum decompositions of polygons. PhD thesis
24.
Zurück zum Zitat 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.
Zurück zum Zitat 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
26.
27.
Zurück zum Zitat Worman CJ, Keil M (2007) Polygon decomposition and the orthogonal art gallery problem. Int J Comput Geom Appl 17(02):105–138MathSciNetMATHCrossRef Worman CJ, Keil M (2007) Polygon decomposition and the orthogonal art gallery problem. Int J Comput Geom Appl 17(02):105–138MathSciNetMATHCrossRef
Metadaten
Titel
NP-completeness of chromatic orthogonal art gallery problem
verfasst von
Hamid Hoorfar
Alireza Bagheri
Publikationsdatum
23.07.2020
Verlag
Springer US
Erschienen in
The Journal of Supercomputing / Ausgabe 3/2021
Print ISSN: 0920-8542
Elektronische ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-020-03379-8

Weitere Artikel der Ausgabe 3/2021

The Journal of Supercomputing 3/2021 Zur Ausgabe