The Art Gallery Problem Presentation for MA 341 Joseph Dewees December 1, 1999.

Slides:



Advertisements
Similar presentations
Computational Geometry
Advertisements

Bipartite Matching, Extremal Problems, Matrix Tree Theorem.
Introduction to Graph Theory Lecture 11: Eulerian and Hamiltonian Graphs.
EECS 4101/5101 Prof. Andy Mirzaian. References: [M. de Berge et al ’00] chapter 3 [Preparata-Shamos’85] chapter 6 [O’Rourke’98] chapter 1 [M. de Berge.
Section 1.7: Coloring Graphs
Congruent Triangles Geometry Chapter 4.
3.5 The Triangle Sum Theorem
An exterior angle is outside the triangle and next to one of the sides. 4-2 Exterior Angle Theorem.
Classes of Polygons Planar polygons Non-planar polygons Simple
The Maths of Pylons, Art Galleries and Prisons Under the Spotlight John D. Barrow.
Feb Polygon Triangulation Shmuel Wimer Bar Ilan Univ., School of Engineering.
Face Guards for Art Galleries Diane Souvaine, Raoul Veroy, and Andrew Winslow Tufts University.
G UARDING A RT G ALLERY By: Venkatsai Bhimanthini Fall’2014.
Applied Combinatorics, 4th Ed. Alan Tucker
Lecture 3: Polygon Triangulation Computational Geometry Prof. Dr. Th. Ottmann 1 Polygon Triangulation Motivation: Guarding art galleries Art gallery theorem.
Lecture 3: Polygon Triangulation Computational Geometry Prof. Dr. Th. Ottmann Polygon Triangulation Motivation: Guarding art galleries Art gallery theorem.
Copyright 2002 Joseph O’Rourke. DIMACS Connect Institute Keynote Address, May 4, Unsolved Problems in Visibility Joseph O’Rourke Smith College 
Art Gallery Problems Prof. Silvia Fernández. Star-shaped Polygons A polygon is called star-shaped if there is a point P in its interior such that the.
Problems to Solve Involving Induction Proof by Induction Basis Step: Does it work for n=0?
Art Gallery Theorem Computational Geometry, WS 2006/07 Lecture 8, Part 1 Prof. Dr. Thomas Ottmann Algorithmen & Datenstrukturen, Institut für Informatik.
Caracterização e Vigilância de algumas Subclasses de Polígonos Ortogonais Ana Mafalda Martins Universidade Católica Portuguesa CEOC Encontro Anual CEOC.
The Pythagorean Theorem
The Art Gallery Problem
1 What is Computational Geometry Ref: Godfried T. Toussaint.
The Art Gallery Problem
Click on the text to see the different geometric proofs.
Proofs of the Pythagorean TheoremProjector Resources Proofs of the Pythagorean Theorem Projector Resources.
1 HEINZ NIXDORF INSTITUTE University of Paderborn Algorithms and Complexity Christian Schindelhauer Search Algorithms Winter Semester 2004/ Jan.
9/7/06CS 6463: AT Computational Geometry1 CS 6463: AT Computational Geometry Fall 2006 Triangulations and Guarding Art Galleries Carola Wenk.
 Jim has six children.  Chris fights with Bob,Faye, and Eve all the time; Eve fights (besides with Chris) with Al and Di all the time; and Al and Bob.
Chapter An Introduction to Problem Solving 1 1 Copyright © 2013, 2010, and 2007, Pearson Education, Inc.
2.5 Postulates & Paragraph Proofs
MA Day 55 – April 4, 2013 Section 13.3: The fundamental theorem for line integrals – Review theorems – Finding Potential functions – The Law of.
Mathematical Induction II Lecture 21 Section 4.3 Mon, Feb 27, 2006.
2.4 Use Postulates & Diagrams
CENG 789 – Digital Geometry Processing 02- Polygons and Triangulations Asst. Prof. Yusuf Sahillioğlu Computer Eng. Dept,, Turkey.
Section 3.5 Polygons A polygon is:  A closed plane figure made up of several line segments they are joined together.  The sides to not cross each other.
Art gallery theorems for guarded guards T.S. Michael, Val Pinciub Computational Geometry 26 (2003) 247–258.
Pylon of the Month Rigidity  Division leads to more boundary  cut Division Can be Dangerous.
This line is called a transversal.
Proof: Meaningful and as a Problem- Based Instructional Task First, inductive approach to find a pattern, make a conjecture, solve the problem Then prove.
13-1 Coloring Regions with Two Colors. Theorem The regions formed by n circles in the plane can be colored with red and blue in such a way that.
Computational Geometry Polygon Triangulation and The Art Gallery Problem Joachim Gudmundsson NICTA, Sydney.
 A Polygon is a closed plane figure with at least three sides. The sides intersect only at their endpoints, and no adjacent sides are collinear. A. B.
Geometry Chapter 3 Parallel Lines and Perpendicular Lines Pages
Matching Lecture 19: Nov 23.
Some Results on Hidden Edge Guards Sarah Cannon Diane Souvaine Andrew Winslow.
1/29/15CMPS 3130/6130 Computational Geometry1 CMPS 3130/6130 Computational Geometry Spring 2015 Triangulations and Guarding Art Galleries Carola Wenk.
The Art Gallery Problem Bart Verzijlenberg. Agenda Problem Problem Chvátal’s Classical Art Gallery Theorem Chvátal’s Classical Art Gallery Theorem Proof.
Open Guard Edges and Edge Guards in Simple Polygons Csaba Tóth, Godfried Toussaint, and Andrew Winslow.
Introduction to Graph Theory Lecture 13: Graph Coloring: Edge Coloring.
Polygon - A closed plane figure with at least three sides that are segments. The sides intersect only at their endpoints and no adjacent sides are collinear.
Contest Algorithms January 2016 Triangulation & the Art Gallery Problem Contest Algorithms1.
Prims Algorithm for finding a minimum spanning tree
9/8/10CS 6463: AT Computational Geometry1 CS 6463: AT Computational Geometry Fall 2010 Triangulations and Guarding Art Galleries Carola Wenk.
Polygons Mr Red is going to walk around the outside of the polygon. The black arrow shows the way he is facing as he walks.
Angles When the sides of a polygon are extended, other angles are formed. The original angles are the interior angles. The angles that form linear pairs.
Possible Art Gallery Polygonal Closed CurveSay what?  Any figure that is made up of straight line pieces that are connected end to end to form a loop.
Polygon Triangulation
Strong Induction: Selected Exercises Goal Explain & illustrate proof construction of a variety of theorems using strong induction.
CMPS 3130/6130 Computational Geometry Spring 2017
3. Polygon Triangulation
CENG 789 – Digital Geometry Processing 02- Polygons and Triangulations
Warm Up Problem of the Day Lesson Presentation Lesson Quizzes.
Do Now Solve each equation. x = x = 180 x + 32 = 180 x = 90
Tucker, Applied Combinatorics, Sec 2.4
The Art Gallery Problem
The Art Gallery Problem
Polygon Triangulation
Here are four triangles. What do all of these triangles have in common
Presentation transcript:

The Art Gallery Problem Presentation for MA 341 Joseph Dewees December 1, 1999

What is the art gallery problem? You own an art gallery and want to place security cameras so that the entire gallery will be safe from theives. –Where should you place the cameras? –What is the minimum number of cameras you will need to keep you art collection safe?

History In 1973 Victor Klee considered the following problem: Consider an art gallery whose floor plan can be modeled by a polygon with n vertices. What is the minimum number of stationary guards needed to protect the room?

The Art Gallery Theorem In 1975, Vasek Chvatal solved Klee’s problem, using the following theorem: –[n/3] guards are occasionally necessary and always sufficient to cover a polygon with n vertices.

Proofs Chvatal constructed the first proof of his theorem in It was very elaborate and used induction. In 1978 Steve Fisk constructed a much simpler proof based on dividing a polygon into triangles using diagonals. We will concentrate on Fisk’s method of proving the theorem.

Possible polygons (art galleries)

Subdivide into triangles First, we divide the polygon into triangles, with the vertices of the polygon becoming the vertices of the triangles. Some vertices may belong to more than one triangle. We are careful to make sure that none of the lines we add cross one another or pass outside the polygon’s boundaries. There are many ways to do this.

Apply the Three-Color Theorem Next, we apply a theorem which says that the vertices of any triangulated polygon can be three-colored. Using only red, blue, and green, I can color all of the vertices of the polygon so that no two adjacent vertices are the same color. If done correctly, each triangle will end up with one corner of each color.

Placing the guards I can now pick one of the colors and put a guard at each corner having that color. For a figure with n vertices, where n is not divisible by three, all colors will not have an equal number of vertices. We want to know the least number of guards we can use, so we choose a color with the least number of vertices.

Problem solved Since each triangle has each color on its three vertices, we know that by placing the guards at the corners with one given color, the guards will be able to see each triangle, collectively. Since each triangle is protected, the entire polygon is protected. We have shown that a polygon of n vertices can be guarded by [n/3] guards.

Variations In 1980, Kahn, Klawe, and Kleitman proved that the number of guards necessary and sufficient to protect a rectilinear polygon with n vertices was [n/4]. In 1982, Shermer examined a more realistic floor plan for an art gallery. This room had obstacles, which he represented with holes. He was able to solve the problem for n vertices and h holes.

Applications Solutions to the Art Gallery problem have provided strategies for improving many security problems. For example, where, on college campuses, are the best locations to place security officers and how many are needed?

Sources I used the following internet sources for this presentation: – history.html – html –