art gallery theorems and algorithms - purdue university · art gallery problem: determine the...
TRANSCRIPT
![Page 1: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/1.jpg)
Art Gallery Theorems and Algorithms
Daniel G. Aliaga
Computer Science DepartmentPurdue University
![Page 2: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/2.jpg)
Art Gallery
Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor Klee, 1973 Vasek Chvatal, 1975
Main reference for this material: Art Gallery Theorems and Algorithms, Joseph O’Rourke, Oxford
University Press, 1987
![Page 3: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/3.jpg)
Contents
Interior Visibility Art Gallery Problem
Overview Fisk’s Proof Reflex Vertices Convex Partitioning Orthogonal Polygons
Mobile Guards Miscellaneous Shapes
Star, Spiral, Monotone Exterior Visibility
Fortress Problem Prison Yard Problem
Minimal Guards
![Page 4: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/4.jpg)
Contents
Interior Visibility Art Gallery Problem
Overview Fisk’s Proof Reflex Vertices Convex Partitioning Orthogonal Polygons
Mobile Guards Miscellaneous Shapes
Star, Spiral, Monotone Exterior Visibility
Fortress Problem Prison Yard Problem
Minimal Guards
![Page 5: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/5.jpg)
Definitions
P is a simple polygon (i.e., does not cross over itself)
Point x P “covers” a point y P if xy P Let G(P) be the minimum number k of points of P,
such that for any y P, some x=x1…xk covers y Let g(n) be the max(G(P)) over all polygons of n
vertices Thus, g(n) guards are occasionally necessary and always
sufficient
![Page 6: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/6.jpg)
Guard Placement
1. Can we just place one guard on every 3rd
vertex?
03
96
![Page 7: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/7.jpg)
Guard Placement
1. Can we just place one guard on every 3rd
vertex? – No!
x is not visible
0
96
x
3
![Page 8: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/8.jpg)
Guard Placement
1. Can we just place one guard on every 3rd
vertex? – No!
0
x2
3
69
12
15
18
21
2724
x1 x0
one of xi is not visible
![Page 9: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/9.jpg)
Guard Placement
2. If guards placed so they can see all the walls, does that imply they can see all the interior? No!
x
x is not visible
![Page 10: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/10.jpg)
Guard Placement
3. If we restrict guards to vertices, is gv(n) = g(n)? In general, yes, equal for g(n) = max(G(P))
x
one point guard x
or
two vertex guards?
![Page 11: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/11.jpg)
Art Gallery
Theorem: floor(n/3) guards are occasionally necessary and always sufficient to cover a polygon of n vertices “Chvatal’s Art Gallery Theorem” “Watchman Theorem”
![Page 12: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/12.jpg)
Fisk’s Proof
g(n) = floor(n/3) Published in 1978 (three years are Chvatal’s
original proof, but it is much more compact)
Necessity g(n) ≥ floor(n/3) are sometimes necessary
Sufficiency g(n) ≤ floor(n/3) are always sufficient
![Page 13: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/13.jpg)
Necessity: Base Cases
n=3
n=4
n=5
n=6
![Page 14: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/14.jpg)
Necessity: Base Cases
n≥6
g(n) ≥ floor(n/3)
![Page 15: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/15.jpg)
Sufficiency: Fisk’s Proof
Step 1 of 3 Triangulate the polygon P by adding only
internal diagonals
a
b
cd
e
fg
h
i
j
![Page 16: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/16.jpg)
Triangulation Theorem
A polygon of n-vertices may be partitioned into n-2 triangles by the addition of n-3 internal diagonals
![Page 17: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/17.jpg)
Sufficiency: Fisk’s Proof
Step 2 of 3 Perform a 3-coloring of the triangulation graph
Using three colors, no two adjacent nodes have same color
1 2
3
1
12
2
33 3
![Page 18: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/18.jpg)
Four Color Theorem
Problem stated in 1852 by Francis Guthrie and Augustus De Morgan “Given a map on a flat plane, what is the
minimum number of colors needed to color the different regions of the map in such a way that no two adjacent regions have the same color.“
![Page 19: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/19.jpg)
Four Color Theorem
Several attempted proofs and algorithms Kempe (1879), Tait (1880), Birkhoff (1922), …
Appel and Haken - first complete proof (1976)
Robertson, Sanders, Seymour, and Thomas - second more compact proof (1994)
![Page 20: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/20.jpg)
Four Color Theorem
The proof creates a large number of cases (~1700 for Appel-Haken and ~600 for Robertson et al.)
A computer is used to rigorously check the cases
Solution is (still) controversial because of the use of a computer
![Page 21: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/21.jpg)
Sufficiency: Fisk’s Proof
Step 3 of 3 Note that one of three colors must be used no
more than floor(1/3) of the time Let a,b,c be # of nodes of each color a ≤ b ≤ c and n = a + b + c If a > n/3, then (a+b+c) ≥ n Thus a ≤ floor(n/3) Since each triangle is a complete graph, each triangle
has a node of color ‘a’ Since each triangle is convex and the triangles
partition all of P, at most ‘a’ guards are necessary!
![Page 22: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/22.jpg)
Fisk’s Proof
Necessity g(n) ≥ floor(n/3) are sometimes necessary
Sufficiency g(n) ≤ floor(n/3) are always sufficient
Thus, g(n) = floor(n/3)
O(nlogn) overall algorithm
![Page 23: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/23.jpg)
Reflex Vertices
We wish to investigate the art gallery question as a function of r (the number of reflex vertices of a polygon)
reflex vertex r ≤ (n-3)
![Page 24: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/24.jpg)
Reflex Vertices
Necessity How many reflex-vertex guards are necessary?
1 needed r needed
![Page 25: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/25.jpg)
Reflex Vertices
Necessity r guards are sometimes necessary
Sufficiency Place 1 guard at each reflex vertex
Proved via a convex partitioning of the polygon P Any polygon P can be partitioned into at most r+1
convex pieces
![Page 26: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/26.jpg)
Reflex Vertices
Necessity r guards are sometimes necessary
Sufficiency Place 1 guard at each reflex vertex
Theorem r guards are occasionally necessary and always
sufficient to see the interior of a n-gon of r ≥ 1 reflex vertices
![Page 27: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/27.jpg)
Convex Partitioning
Naïve Algorithm (Chazelle 1980)
Because at most two reflex vertices can be resolved by a single cut, the minimum number of pieces is m=ceil(r/2)+1
This approach achieves no more than r+1≤2m in O(rn)=O(n2) time
![Page 28: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/28.jpg)
Convex Partitioning
A fast algorithm: O(n log log n) Any triangulation can be divided into 2r+1
convex pieces by removing diagonals
![Page 29: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/29.jpg)
Convex Partitioning
Chazelle 1980 O(n3) optimal algorithm using dynamic
programming (description is 97 pages long)
![Page 30: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/30.jpg)
Orthogonal Polygons
Kahn, Klawe, Kleitman 1980 Floor(n/4) guards are occasionally necessary
and always sufficient Based on convex quadrilateralization
Any orthogonal polygon P is convexly quadrilaterizable (theorem)
![Page 31: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/31.jpg)
Orthogonal Polygons
Necessity
Sufficiency
Theorem: g(n)=floor(n/4)
g(n) ≥ floor(n/4)
Four-colorable, and thus:
g(n) ≤ floor(n/4)
![Page 32: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/32.jpg)
Orthogonal Polygons
In an orthogonal polygon n vertices c interval vertices with /2 r interval vertices with 3/2 n = c + r sum of internal angles (n-2) yields n=2r+4
Theorem restated as g(n)=floor(r/2)+1
![Page 33: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/33.jpg)
Quadrilateralization
Sacks’s Algorithm O(nlogn)
Lubiw’s Algorithm O(nlogn)
![Page 34: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/34.jpg)
Mobile Guards
Theorem
In general, only ¾ as many mobile guards are needed as stationary guards
Shape Stationary Mobile
General floor(n/3) floor(n/4)
Orthogonal floor(n/4) floor((3n+4)/16)
![Page 35: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/35.jpg)
Mobile Guards
General Polygons
Vertex guards
Edge guards
Diagonal guards
![Page 36: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/36.jpg)
Mobile Guards
Goal of the proof Given a triangulation graph T
Vertex guard = node Edge guard = adjacent arc Diagonal guard = any arc
The analog of covering is domination A collection of guards C={g1,…,gk} dominates
triangulation graph T if every face has at least one of its three nodes in some gi C.
![Page 37: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/37.jpg)
Mobile Guards
Necessity
Sufficiency: a little more complicated…
Polygon that requires floor(n/4) edge, diagonal (or line) guards
![Page 38: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/38.jpg)
Miscellaneous Shapes
(General polygon, convex, orthogonal) Star, spiral, monotone
![Page 39: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/39.jpg)
Star Shape
A star polygon P is a polygon that may be covered by a single point guard
![Page 40: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/40.jpg)
Star Shape
Toussaint’s Theorem A star polygon P requires floor(n/3) vertex
guards
![Page 41: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/41.jpg)
Star Shape
Toussaint’s Theorem A star polygon P requires floor(r/2)+1 reflex
guards
![Page 42: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/42.jpg)
Star Shape
Toussaint’s Theorem A star polygon P requires at least floor(n/5)
edge guards
![Page 43: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/43.jpg)
Star Shape
Toussaint’s Theorem For a star polygon P
Unrestricted patrol, one line guard is needed Restricted to diagonal lines, two are needed
![Page 44: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/44.jpg)
Spiral Polygon
A spiral polygon is a polygon with at most one chain of reflex vertices
![Page 45: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/45.jpg)
Monotone Polygon
A polygon with no “doubling back” with respect to a line
![Page 46: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/46.jpg)
Spiral and Monotone Polygons
Aggarwal’s Theorem floor(n/3) vertex guards are needed floor(r/2)+1 reflex-vertex guards are needed floor((n+2)/5) diagonals guards are needed
![Page 47: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/47.jpg)
Contents
Interior Visibility Art Gallery Problem
Overview Fisk’s Proof Reflex Vertices Convex Partitioning Orthogonal Polygons
Mobile Guards Miscellaneous Shapes
Star, Spiral, Monotone Exterior Visibility
Fortress Problem Prison Yard Problem
Minimal Guards
![Page 48: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/48.jpg)
Exterior Visibility
“Fortress Problem” “Prison Yard Problem
(independently stated by Derick Wood and Joseph Malkelvitch, early 1980s)
![Page 49: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/49.jpg)
Fortress Problem
How many vertex guards are needed to see the exterior of a polygon P?
Simplex convex polygon
ceil(n/2) vertex guards
![Page 50: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/50.jpg)
Fortress Problem
Arbitrary polygon
ceil(n/2) vertex guards?
![Page 51: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/51.jpg)
Fortress Problem
Arbitrary polygon
![Page 52: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/52.jpg)
Fortress Problem
Arbitrary polygon
v
x
![Page 53: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/53.jpg)
Fortress Problem
Arbitrary polygon
v
x’x’’
![Page 54: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/54.jpg)
Fortress Problem
Arbitrary polygon Three-color the resulting triangulation graph T
(of n+2 nodes)
![Page 55: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/55.jpg)
Fortress Problem
Arbitrary polygon If least frequently used color is red and v is
not red then, floor((n+2)/3) vertex guards are needed
![Page 56: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/56.jpg)
Fortress Problem
Arbitrary polygon If least frequently used color is red and v is
red then, No guard can be placed at v because it’s not part of
original polygon Thus, place guards at second least frequently used
color a b c and a + b + c = n + 2 a 1 and b + c n + 1 b floor((n+1)/2)=ceil(n/2) vertex guards are needed
![Page 57: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/57.jpg)
Fortress Problem
Arbitrary polygon (Summary) 1. Triangulate the convex hull of the polygon P 2. Add edges from all exterior vertices to new vertex v 3. Split a vertex x into x’ and x’’ 4. Open-up the convex hull, straighten the lines to v, and
form a triangulation graph T of (n+2) nodes 5. Three-color graph T 6. Use least or second least frequently used color
At most ceil(n/2) vertex guards are needed
![Page 58: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/58.jpg)
Fortress Problem
Orthogonal polygon
![Page 59: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/59.jpg)
Fortress Problem
Orthogonal polygon
![Page 60: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/60.jpg)
Fortress Problem
Orthogonal polygon
![Page 61: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/61.jpg)
ceil(n/4)+1 vertex guards necessary
Solution A
Solution B
Fortress Problem
Orthogonal polygon
![Page 62: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/62.jpg)
Fortress Problem
Orthogonal polygon
e
![Page 63: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/63.jpg)
Fortress Problem
Orthogonal polygon
e
Q
![Page 64: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/64.jpg)
Fortress Problem
Orthogonal polygon Interior of new polygon P’ coincides with the
immediate exterior of P, except for Q which is exterior to both
![Page 65: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/65.jpg)
Fortress Problem
Orthogonal polygon For P’ of n+4 vertices, floor(r/2)+1 or
floor((n+4)/4) vertex guards suffice to cover the interior None of the new vertices of P’ are reflex vertices Need an additional one for Q
Thus, floor(n/4)+2 vertex guards are sufficient For n mod 4=0, ceil(n/4)+1
![Page 66: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/66.jpg)
Fortress Problem
Guards in the plane Necessity
ceil(n/3) point guards needed
(n=3k+4 and k+2 guards)
![Page 67: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/67.jpg)
Fortress Problem
Guards in the plane Sufficiency
1 2
a’ a’’
![Page 68: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/68.jpg)
Fortress Problem
Guards in the plane New triangulated polygon P’ of n+3 vertices
floor((n+3)/3) = ceil((n+1)/3) point guards
![Page 69: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/69.jpg)
Fortress Problem
Guards in the plane More lengthy proof to remove “1/3 of a guard”
Add only 2 guards and 3-color triangulation If even hull vertices, trivial If odd hull vertices, need some extra work
Result: ceil(n/3) point guards are necessary to cover the exterior of a polygon P of n vertices Nice duality with floor(n/3) for the interior
![Page 70: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/70.jpg)
Prison Yard Problem
How many vertex guards are needed to simultaneously see the exterior and interior of polygon P?
![Page 71: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/71.jpg)
Prison Yard Problem
General Polygons
Worst-case is a convex polygon ceil(n/2) vertex guards needed
Multiply-connected polygons min(ceil(n/2), floor((n+ceil(h/2))/2), floor(2n/3))
![Page 72: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/72.jpg)
Prison Yard Problem
Orthogonal Polygons
floor((7n/16)+5) vertex guards are needed
![Page 73: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/73.jpg)
Fortress/Prison Yard Problem
Problem Techniques Guards Time
Fortress
General Triangulation, 3-coloring ceil(n/2) O(T)
Orthogonal L-shaped partition ceil(n/4)+1 O(T)
Prison Yard
General Exterior ceil(n/2)+r O(T)
Triangulation, 4-coloring floor((n+ceil(h/2))/2) O(n2)
Triangulation, 4-coloring floor(2n/3) O(n2)
Exterior, triangulation, 3-coloring floor(2n/3+1) O(T)
Orthogonal Exterior, quad., 4-coloring floor((7n/16)+5) O(T)
![Page 74: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/74.jpg)
Contents
Interior Visibility Art Gallery Problem
Overview Fisk’s Proof Reflex Vertices Convex Partitioning Orthogonal Polygons
Mobile Guards Miscellaneous Shapes
Star, Spiral, Monotone Exterior Visibility
Fortress Problem Prison Yard Problem
Minimal Guards
![Page 75: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/75.jpg)
Minimal Guard Coverage
Seek the placement of a minimal number of guards that cover a polygon P In general, a NP-complete problem
![Page 76: Art Gallery Theorems and Algorithms - Purdue University · Art Gallery Problem: determine the minimum number of guards sufficient to cover the interior of an n-wall art gallery Victor](https://reader031.vdocuments.mx/reader031/viewer/2022022117/5c9cf26e88c99397348bf908/html5/thumbnails/76.jpg)
Minimal Guard Coverage
Polygon Cover Partition
w. Steiner w/o Steiner w. Steiner w/o Steiner
Simple Polygons
NP-hard NP-complete ? O(n7logn)
Polygons with Holes
NP-hard NP-complete NP-hard NP-complete