An IP solution to the art gallery problem

  • Authors:
  • Marcelo C. Couto;Pedro J. de Rezende;Cid C. de Souza

  • Affiliations:
  • State University of Campinas, Campinas, Brazil;State University of Campinas, Campinas, Brazil;State University of Campinas, Campinas, Brazil

  • Venue:
  • Proceedings of the twenty-fifth annual symposium on Computational geometry
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Art Gallery problem (AGP) consists of minimizing the number of guards required to cover a gallery whose boundary is a simple polygon P . In this paper, we describe an Integer Programming based solution to agp that is presented in the accompanying video. Said solution is comprised of an exact algorithm that models discretizations of P as instances of the Set Cover problem and iteratively solves them using an IP solver. We have shown elsewhere [4] that this process always converges. A testing environment, shown in the video, has been implemented with which we have collected substantial experimental evidence that this approach is very efficient in practice, by solving instances of up to 2500 vertices.