The Maths of Pylons, Art Galleries and Prisons Under the Spotlights

advertisement
The Maths of Pylons,
Art Galleries and Prisons Under
the Spotlight
John D. Barrow
Some Fascinating Properties
of Straight Lines
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
Draw 4 lines through
all 9 points
The pencil must not
leave the paper.
No reversing
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
Think Outside The Box
O
O
O
1
O
O
O
O
O
O
Think Outside The Box
2
O
O
O
1
O
O
O
O
O
O
Think Outside The Box
2
O
O
O
1
O
O
O
O
O
O
3
Think Outside The Box
2
O
O
O
1
O
O
O
O
O
O
3
4
!
Pylon of the Month
“PGG 3 and friends gather around National Grid Company Plc's Norwich Main Substation”
Rigidity

The triangle is the
ONLY
rigid polygon
ALL convex polyhedra are rigid
What about non-convex polyhedra?
Robert Connelly (1978) finds an
18 triangular-sided example
That keeps the volume the same
BUT
“Almost every” non-convex polyhedron is rigid
Klaus Steffen’s 14-sided rigid
non-convex polyhedron
with 9 vertices and 21 edges
Guarding Art Galleries
The Art Gallery Problem
camera
How many cameras are needed to guard a gallery and
where should they be placed?
Simple Polygonal Galleries
Regions with holes are not allowed and no self intersections
convex polygon
one camera is enough
an arbitrary n-gon (n corners)
? cameras might be needed
How Many Cameras ?
n – 2 cameras can guard the simple n-sided polygon.
A camera on a diagonal guards two triangles.
 no. cameras can be reduced to roughly n/2.
A corner is adjacent to many triangles.
So placing cameras at vertices can do even better …
Triangulate!
Triangulate!
Triangulation
To make things easier, we divide a polygon into pieces that each
need one guard
Join pairs of corners by non-intersecting
lines that lie inside the polygon
Guard the gallery
by placing a camera in
every triangle
3-Colouring the Gallery
Assign each corner a colour:
pink, green, or yellow.
Any two corners connected by
an edge or a diagonal must have
different colours.
n = 19
Thus the vertices of every triangle
will be in three different colors.
If a 3-colouring is possible, put guards at corners of same colour
Pick the smallest of the coloured corner groupings to locate the cameras.
You will need at most [n/3] = 6 cameras where [x] is the integer part of x.
The Chvátal Art Gallery Theorem
For a simple polygon with n corners, [n/3] cameras are
sufficient and sometimes necessary to have every
interior point visible from at least one of the cameras.
For n = 100, n/3 = 33.33 and [n/3] = 33
[x] is the integer part of x
Note that [n/3] cameras may not always be necessary
Finding the minimum number is computationally ‘hard’.
The Worst Case Scenario
[n/3] V-shaped rooms
A camera can never be positioned
so as to watch over two Vs
Here, the maximum of [n/3] cameras is required
Orthogonal galleries
All corners are right angles
Only [n/4] guards are needed, and are always sufficient
n = 100 needs only 25 guards now
Rectangular galleries
All adjacent rooms have connecting archways
8 rooms
and 4 guards
in the arches
In a rectangular gallery with r rooms,
[r/2] guards are needed to guard the gallery
The Double Cover Problem
How many guards must be placed in the gallery so that at least m guards
are visible from every point in the gallery?
m = 2: A polygon which requires 4 guards to provide double coverage.
The entire polygon is only visible from the vertex
We can find a gallery which can be covered by one guard located at a particular
point, but if the guard is placed elsewhere, even arbitrarily close to the first guard,
some of the gallery will be hidden when the guard is at the new position.
Mobile Guards
Counter eg
Counter eg
Edge guards patrol along the polygon walls
Diagonal guards patrol inside the gallery along straight lines between corners
In 1981, Toussaint conjectured that except for a small number of polygons,
[n/4] edge guards are sufficient to guard a polygon. Still unproven.
O’Rourke proved that the minimum number of mobile guards
necessary and sufficient to guard a polygon is [n/4].
He also showed that [(3n+4+4h)/16] mobile guards are necessary and
sufficient to guard orthogonal polygons with h holes.
n = 100 and h = 0
needs [304/16] = 9, whereas with immobile guards it is [n/4] =25
A Worst Case
[(3n+4+4h)/16]
mobile guards
required
n = 20 h = 4 needs
80/16 = 5 guards
An orthogonal gallery divided into rectangular rooms
More than [n/2] guards may be needed. Take a central rectangular room with a
similar room on each side. One guard can watch the central room and one other.
But no two side rooms share a common wall so each need an extra guard.
So, five rooms require four guards.
For a gallery with c corners and h holes that is divided into r rectangular
rooms, we may need
[(2r +c - 2h - 4) / 4] guards
Here: c = 20, h = 4, r = 5 so [18/4] = [9/2] = 4
The Night Watchman’s Problem
Find the shortest closed route around
the gallery such that every point can
be seen at least once
The Art Thief’s Problem
Find the shortest path around the gallery that is not
visible from particular security points
The Fortress Problem
n/2 corner guards are always necessary and
sufficient to guard the exterior of a polygonal
fortress with n walls
n = 4 example
4/2 = 2
x is smallest integer  x
So  = 4 and 2 = 2
n/2  corner guards or n/3 point guards (ie located anywhere) are
always sufficient and sometimes necessary to guard the polygonal
exterior of a fortress with n corners
n = 7 needs  7/3  = 3 point guards
and 4 corner guards
Prisoner Cell H Block Problem
4
1
For orthogonal fortresses with n
Corners: 1 + n/4 corner guards are
necessary and sufficient
2
3
12-sided H block will need 1 + 3 = 4
The Prison Yard Problem
The Prison Yard Problem
Suppose you want to guard the interior and the
exterior
n/2 corner guards are always sufficient and
may be necessary for a convex polygon with n
corners. It is [n/2] if non convex.
Eg n = 101: 51 for convex and 50 for non convex
[5n/12] + 2 corner guards or [(n+4)/3] point
guards are always sufficient for an orthogonal
prison with holes
Eg n = 100: 43 corner guards or 34 point guards
suffices
It is now time for you to return to your cells
Download