Problème de la galerie d'art

En informatique, plus précisément en géométrie algorithmique, le problème de la galerie d'art est un problème de visibilité bien étudié inspiré d'un problème réel. Il se formule comme suit :

« Quel est le nombre de gardiens nécessaires pour surveiller une galerie d'art, et où faut-il les placer ? »
Une 3-coloration des sommets d'un polygone triangulé. Les sommets d'une même couleur donnent un ensemble de gardiens. Les sommets bleus par exemple fournissent un ensemble non-optimal de 3 gardiens. Il est possible de n'avoir que 2 gardiens, en les plaçant au nœud bleu le plus en haut, et au nœud vert le plus en bas.

Formellement, la galerie d'art est représenté par un polygone simple et chaque gardien par un point du polygone. Un ensemble de points est dit surveiller ou couvrir un polygone si, pour tout point du polygone, il existe un point tel que le segment de droite entre et est entièrement contenu dans le polygone. On peut aussi interpréter les gardiens comme des caméras de surveillance et demander que l'ensemble de la galerie soit visible en balayage.

Le théorème de la galerie d'art

Le théorème de la galerie d'art, démontré par Václav Chvátal, donne un majorant du nombre minimal de gardiens. Il dit :

« Pour garder un polygone simple à sommets, gardiens suffisent, et cette borne peut être atteinte ».

Historique

Quatre caméras couvrent cette galerie.

La question sur le nombre de gardiens nécessaires a été posée à Chvátal par Victor Klee en 1973[1]. Chvátal l'a prouvé peu de temps après[2]. La démonstration de Chvátal a été simplifiée par Steve Fisk, au moyen d'une argument basé sur une coloration de graphe[3]. Fisk était alors professeur de mathématiques au Bowdoin College[4].

Le problème et le théorème de la galerie d'art est moins connu que les thèmes standard de la géométrie algorithmique comme l'enveloppe convexe, la triangulation d'un polygone ou le calcul du diagramme de Voronoï, mais il figure dans divers manuels et cours de géométrie algorithmique[5],[6],[7],[8],[9],[10],[11].

La démonstration de Fisk

La preuve de Steve Fisk[12] est courte et élégante : elle figure dans le livre Raisonnements divins[13]. La preuve est pour l'essentiel comme suit. On commence par trianguler le polygone (sans ajouter de nouveaux sommets). On procède comme pour la triangulation : On utilise le fait que tout polygone simple à au moins quatre sommets possède au moins deux « oreilles ». Une oreille est un triangle avec deux arêtes appartenant à la frontière du polygone, et la troisième située à l'intérieur du polygone. L'algorithme consiste à trouver une telle oreille, à la retirer du polygone, ce qui donne un nouveau polygone plus petit, donc 3-coloriable par récurrence, et ce coloriage est facilement étendu en coloriant le sommet supplémentaire de l'oreille avec la couleur restante. Dans une coloration en 3 couleurs, chaque triangle doit comporter les 3 couleurs. Les sommets de l'une des couleurs forment un ensemble de gardiens valide puisque chaque triangle du polygone est gardé par son sommet de cette couleur. Comme les trois couleurs partitionnent les n sommets du polygone, la couleur avec le moins de sommets définit un ensemble de gardiens valides avec au plus gardiens.

Variantes

Problème de la forteresse. Pour 13 sommets, il faut 5 gardiens.

La majoration de Chvátal reste valable si la restriction des gardiens aux sommets est affaiblie à des gardiens à tout point qui n'est pas à l'extérieur du polygone.

Il existe d'autres généralisations ou spécialisations du théorème de la galerie d'art original[14]. Par exemple, pour les polygones orthogonaux, c'est-à-dire des polygones dont les côtés se joignent à angle droit, il suffit de gardiens. Il existe au moins trois démonstrations différentes de ce résultat, aucune n'est simple, l'une par Kahn, Maria Klawe et Daniel Kleitman; une autre par Anna Lubiw; et encore une autre par Jörg-Rüdiger Sack et Godfried Toussaint (en)[15].

Un problème similaire consiste à déterminer le nombre minimal de gardiens nécessaires pour couvrir l'extérieur d'un polygone (c'est le « problème de la forteresse »): sont suffisants et parfois aussi nécessaires. En d'autre termes, couvrir l'extérieur, qui est infini, est plus exigeant que de couvrir l'intérieur fini[16].

Complexité algorithmique

Le problème de calcul

Des algorithmes efficaces existent pour trouver des ensembles de gardiens placés aux sommets du polygone et qui vérifient la majoration de Chvátal, donc d'au plus gardiens.

David Avis et Godfried Toussaint[17] ont prouvé qu'un tel placement peut être calculé en temps dans le pire des cas, en utilisant une méthode de diviser pour régner. Kooshesh et Moret 1992 ont donné un algorithme en temps linéaire en utilisant l'algorithme de la preuve de Fisk et l'algorithme linéaire de triangulation de Bernard Chazelle.

Un algorithme de calcul a été proposé par Couto, de Rezende et de Souza 2011 pour les gardiens placés aux sommets. Les auteurs ont mené de nombreux tests avec diverses classes de polygones qui ont montré que des solutions optimales peuvent être trouvées en un temps relativement court même pour des polygones à plusieurs milliers de sommets[18].

Le problème de décision

Considéré comme un problème de décision, le problème de la galerie d'art est le problème de déterminer, étant donné un polygone et un entier k, si ce polygone peut être gardé avec au plus k gardiens. Ce problème est -complet[19], où est la classe de complexité qui correspond au fragment existentiel de la théorie des corps réels clos. Les variations usuelles (comme restreindre les positions des gardiens aux sommets ou aux arêtes du polygone) sont NP-difficiles[20].

Approximation

En ce qui concerne un algorithme d'approximation pour le nombre minimum de gardiens, Eidenbenz, Stamm et Widmayer 2001 ont montré que le problème est APX-difficile ; ceci implique qu'il est peu probable qu'un rapport d'approximation meilleur qu'une constante fixée puisse être réalisé par un algorithme d'approximation en temps polynomial. Toutefois, on ne connaît pas d'algorithme avec un rapport d'approximation constant. En revanche, une approximation logarithmique du nombre minimum de gardien peut être obtenue en réduisant le problème au problème de couverture par ensembles[21]. Il a été montré par Pavel Valtr[22] que le système d'ensembles dérivé d'un problème de galerie d'art a une dimension de Vapnik-Tchervonenkis bornée, ce qui permet d'appliquer des algorithmes de couverture par ensembles basés sur des ε-réseaux (en) dont le rapport d'approximation est le logarithme du nombre optimal de gardiens plutôt que du nombre de sommets du polygone[23]. Pour le cas de gardiens sans restriction sur leur position, le nombre potentiellement infini des positions rend le problème encore plus difficile[24]. Si l'on force les gardiens à occuper des positions sur une grille fine, un algorithme d'approximation logarithmique plus compliqué peut être obtenu sous des hypothèses additionnelles peu contraignantes[25].

Dimensions supérieures

Exemple d'un polyèdre avec des points à l'intérieur qui ne sont visibles d'aucun de ses sommets.

Si le musée est représenté en dimension supérieure par un polyèdre, alors il peut ne pas suffire de positionner un gardien sur chaque sommet pour couvrir la totalité du musée. Même si les surfaces du polyèdre sont alors sous surveillance, il est possible que des points à l'intérieur du polyèdre ne puissent pas être visibles[26].

Notes

Références

Livres
  • Joseph O'Rourke, Art Gallery Theorems and Algorithms, Oxford University Press, (ISBN 0-19-503965-3, lire en ligne).
  • Mark de Berg, Otfried Cheong, Marc van Kreveld et Mark Overmars, Computational geometry : algorithms and applications, Springer Verlag, , 3e éd., 386 p. (ISBN 978-3-540-65620-3 et 3-540-65620-0, présentation en ligne, lire en ligne), chap. 3 (« Polygon Triangulation »), p. 45-61.
  • Luca Castelli Aleardi et Steve Oudot, Introduction à la géométrie algorithmique et ses applications, École polytechnique de Paris, coll. « Cours INF562 », , 123 p. (lire en ligne).
  • Jean-Daniel Boissonnat, Géométrie algorithmique : des données géométriques à la géométrie des données : Leçon inaugurale du cours, Paris, Librairie Arthème Fayard et Collège de France, , 73 p. (ISBN 978-2-213-70765-5 et 978-2-213-70512-5, lire en ligne).
  • Jacob E. Goodman et Joseph O'Rourke (éditeurs), The Handbook of Discrete and Computational Geometry, CRC Press, , 2e éd. (ISBN 1-58488-301-4).
  • (en) Herbert Edelsbrunner, Algorithms in Combinatorial Geometry, Berlin/Heidelberg/Paris etc., Springer-Verlag, coll. « EATCS Monographs on Theoretical Computer Science » (no 10), , 423 p. (ISBN 3-540-13722-X, lire en ligne).
  • (en) János Pach et Pankaj K. Agarwal, Combinatorial Geometry, New York/Chichester/Brisbane etc., John Wiley & Sons, , 354 p. (ISBN 0-471-58890-3).
  • (en) János Pach et Micha Sharir, Combinatorial Geometry and its Algorithmic Applications : The Alcala Lectures, Providence, R.I., American Mathematical Society, coll. « Mathematical Surveys and Monographs » (no 152), , 235 p. (ISBN 978-0-8218-4691-9, lire en ligne).
  • (en) Kurt Mehlhorn et Stefan Naeher, LEDA, A Platform for Combinatorial and Geometric Computing, Cambridge, Cambridge University Press, , 1018 p. (ISBN 0-521-56329-1, lire en ligne).
Articles
  • Mikkel Abrahamsen, Anna Adamaszek et Tillmann Miltzow, « The Art Gallery Problem is -complete », preprint (arxiv), (arXiv 1704.06969).
  • Alok Aggarwal, The art gallery theorem : Its variations, applications, and algorithmic aspects (thèse Ph. D.), Johns Hopkins University, .
  • David Avis et Godfried T. Toussaint, « An efficient algorithm for decomposing a polygon into star-shaped polygons », Pattern Recognition, vol. 13, no 6, , p. 395–398 (DOI 10.1016/0031-3203(81)90002-9, lire en ligne).
  • Édouard Bonnet et Tillmann Miltzow, « An Approximation Algorithm for the Art Gallery Problem », Symposium on Computational Geometry, , p. 20:1-20:15, article no 20 (arXiv 1607.05527, lire en ligne).
  • Hervé Brönnimann et Michael T. Goodrich, « Almost optimal set covers in finite VC-dimension », Discrete and Computational Geometry, vol. 14, no 1, , p. 463–479 (DOI 10.1007/BF02570718).
  • Václav Chvátal, « A combinatorial theorem in plane geometry », Journal of Combinatorial Theory, Series B, vol. 18, , p. 39–41 (DOI 10.1016/0095-8956(75)90061-1).
  • Marcelo C. Couto, Pedro J. de Rezende et Cid C. de Souza, « An exact algorithm for minimizing vertex guards on art galleries », International Transactions in Operational Research, vol. 18, no 4, , p. 425–448 (DOI 10.1111/j.1475-3995.2011.00804.x).
  • Marcelo C. Couto, Pedro J. de Rezende et Cid C. de Souza, Benchmark instances for the art gallery problem with vertex guards, (lire en ligne).
  • Ajay Deshpande, Taejung Kim, Erik Demaine et Sanjay E. Sarma, « A Pseudopolynomial Time O(logn)-Approximation Algorithm for Art Gallery Problems », dans Proc. Workshop Algorithms and Data Structures, Springer-Verlag, coll. « Lecture Notes in Computer Science » (no 4619), (ISBN 978-3-540-73948-7, DOI 10.1007/978-3-540-73951-7_15), p. 163–174.
  • Stephan Eidenbenz, Christoph Stamm et Peter Widmayer, « Inapproximability results for guarding polygons and terrains », Algorithmica, vol. 31, no 1, , p. 79–113 (DOI 10.1007/s00453-001-0040-8, lire en ligne [archive du ]).
  • Steve Fisk, « A short proof of Chvátal's watchman theorem », Journal of Combinatorial Theory, Series B, vol. 24, no 3, , p. 374 (DOI 10.1016/0095-8956(78)90059-X).
  • Subir Kumar Ghosh, « Approximation algorithms for art gallery problems in polygons », Discrete Applied Mathematics, vol. 158, no 6, , p. 718-722.
  • J. Kahn, Maria M. Klawe et Daniel J. Kleitman, « Traditional galleries require fewer watchmen », SIAM J. Alg. Disc. Meth., vol. 4, no 2, , p. 194–206 (DOI 10.1137/0604020).
  • Ali A. Kooshesh et Bernard M. E. Moret, « Three-coloring the vertices of a triangulated simple polygon », Pattern Recognition, vol. 25, no 4, , p. 443 (DOI 10.1016/0031-3203(92)90093-X).
  • Der-Tsai Lee et A. K. Lin, « Computational complexity of art gallery problems », IEEE Transactions on Information Theory, vol. 32, no 2, , p. 276–282 (DOI 10.1109/TIT.1986.1057165).
  • Anna Lubiw, « Decomposing polygonal regions into convex quadrilaterals », dans Proc. 1st ACM Symposium on Computational Geometry, (ISBN 0-89791-163-6, DOI 10.1145/323233.323247), p. 97–106.
  • Jörg-Rüdiger Sack et Godfried Toussaint, « Guard placement in rectilinear polygons », dans Godfried Toussaint (éditeur), Computational Morphology, North-Holland, , p. 153–176.
  • Thomas Shermer, « Recent Results in Art Galleries », Proceedings of the IEEE, vol. 80, no 9, , p. 1384–1399 (DOI 10.1109/5.163407, lire en ligne).
  • Pavel Valtr, « Guarding galleries where no point sees a small area », Israel J. Math., vol. 104, no 1, , p. 1–16 (DOI 10.1007/BF02897056).

Articles connexes

  • Portail de la géométrie
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.