A note on minimal art galleries

09/19/2019 ∙ by Eryk Lipka, et al. ∙ 0

We will consider some extensions of the polygonal art gallery problem. In a recent paper Morrison has shown the smallest (9 sides) example of an art gallery that cannot be observed by guards placed in every third corner. Author also mentioned two related problems, for which the minimal examples are not known. We will show that a polygonal fortress such that its exterior cannot be guarded by sentries placed in every second vertex has at least 12 sides. Also, we will show an example of three-dimensional polyhedron such that its inside cannot be covered by placing guard in every vertex which has both fewer vertices and faces than previously known.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 5

page 6

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Original art gallery problem is posed as following: given a polygon with sides choose points called guards inside it such that any point of polygon can be observed by at least one guard (precisely, for any in the polygon there exists guard such that the line segment is contained in the polygon). It has been proven by Chvátal that in general guards is enough and there exist galleries for which this limit cannot be lowered. Later, Fisk proved that guarding with can be achieved by placing guards only in vertices of polygon. However simply placing guard in every third vertex is not always successful strategy and Morrison [1] showed that minimal example for which this strategy does not work has 9 vertices.

We will be first considering the fortress problem: given a polygon with sides choose points called guards inside it such that for any point outside of polygon there exists guard such that the line segment is outside the polygon. It has been proven by O’Rourke and Wood [3] that guards (placed in vertices) suffice and are sometimes necessary to fulfill this task. Our goal is to prove that a minimal example that cannot be guarded with the simple strategy of placing guard in every second vertex is 12-sided.

Second problem we will address is the three dimensional art gallery problem: given a polyhedron choose points called guards inside it such that for any point in the polyhedron there exists guard such that the line segment is contained in the polyhedron. In contrast to the previously mentioned problems placing guards in vertices is not optimal strategy, there are known examples of polyhedra which are not guarded even when guard is placed at every vertex, notably the Octoplex [2] with 56 vertices and 30 faces. We present an example having 24 vertices and 26 faces, however we weren’t able to prove that it is minimal.

In the whole paper by writing " is visible from " we mean that segment does not intersect border of discussed polytope, so it is either fully contained in interior and border of polytope (when talking about art galleries) or in border and complement of polytope (when talking about fortresses). In particular this means that segment can "touch" border without intersecting it.

By " is observed" we mean that there exists guard for whom is visible.  denotes convex hull of .

2 Fortress

Lemma 1.

Let be -gon with guard placed at every second vertex. If there is point outside which cannot be observed by any guard then this point is not visible from any point outside of .

Proof.

Assume that there exists point that is not observed by any guard, yet it is visible from outside of . This means that we can pick two vertices such that whole is inside angle . Because is not observed there are no guards in nor , hence is not edge of . Let denote the vertices of such that are edges of , without loss of generality . As guards are placed in every second vertex there must be a guard in . Find a vertex of that lies inside such that is minimal. There are no edges intersecting or so must be visible from as there cannot exist any edge hiding it. So has no guard. We can repeat this process using instead of and we will get an infinite sequence of different vertices of each without a guard. This is a contradiction as has only vertices.

Figure 1: Red dots are guards. Going from after each guard there must be a segment hiding it from .

Theorem 1.

Let be -gon with then for some choice of starting vertex, placing guard on every second vertex all points outside are observed.

Proof.

Lets assume that we have a polygon with fewer than 12 sides such that for any choice of initial vertex, placing guard every second vertex there will always be not observed point outside of .

Pick point which is vertex of both and . We color vertices of with two alternating colors (red and blue) starting with red and going clockwise. If we place guards in every second vertex starting with then from our hypothesis we can find point , which is visible only from blue vertices. If we place guards starting with the first vertex after then we can find point which is visible only from red vertices (excluding if

is odd).

Starting clockwise from we create the sequence of blue vertices from which is visible, let be the first vertex after . Again going clockwise from create the sequence of red vertices from which is visible and let be the first vertex after . From Lemma 1 are inside  so they are visible from at least three vertices. Notice that all must lay on the border of one compact component of ; also from Lemma 1 cannot be on the border of  or would be visible from outside of . Same reasoning applies to , so only two points from those four sequences that may belong to the border of  are and . Even if is on the border of , it is still in the same compact component as and same applies to and .

Notice that if are in different compact components of (figure 2), then all four sequences are disjoint giving at least 12 vertices, so from now on we can assume that are in the same compact component of . This means that cannot simultaneously be on the border of so there must be at least two vertices of  which do not belong to any of four sequences.

Figure 2: Example of configuration with and being in different compact components.

Next step will be proving that and have at most one common element (and the same is true for and ). So assume we have such that belong to sequence , which means that is visible from them. There are two possibilities depicted on figure 3. In both cases, if we pick vertex between and (inclusively) such that is minimal then such vertex is visible both from and (in first case ).

Figure 3: Two possible configurations when and have more than one common element. Green lines are segments that do not intersect with border of .

Hence, set has at least elements. Because we get at least 10 different vertices of in one connected component of . As we mentioned earlier there must be at least two vertices that are not elements of those sequences, so . ∎

Theorem 2.

There exists 12-gon that for any choice of starting vertex, placing guard on every second vertex some point outside is not observed.

Proof.

The Leszek-the-dog-fortress111As pointed out by P. Miska this shape resembles one of cartoon characters. is an example of such polygon (figure 4), red area is visible only from red vertices, blue area is visible only from blue vertices.

Figure 4: Leszek-the-dog-fortress. Example of 12 sided fortress that cannot be guarded by placing guard in every second vertex.

It is worth noting that this fortress can be guarded by 4 guards. ∎

There is a big difference in placing guards at every second vertex depending if is even or odd. For even there are only two ways we can place guards, so for this strategy to fail we need only two "hard to observe" points outside . However, when is odd there are exactly different ways to place the guards, and there is always one edge with guards on both ends. Hence the question:

Question 1.

What is the smallest odd such that there exists -gon that for any choice of starting vertex, placing guard on every second vertex some point outside is not observed?

Smallest example we could find (figure 5) has and we weren’t able to prove it is minimal. In fact it is just two copies of previous example connected together, so for at least one of the copies the strategy fails depending on where the starting vertex is.

Figure 5: Two connected Leszek-the-dog-fortresses form a 21-gon which cannot be guarded by placing guard every second vertex. For any choice of starting vertex at least one green area will not be observed.

3 Three-dimensional gallery

In this section we will be considering guards observing the interior of a polyhedron. Main difference and our focus will be the fact that some such galleries are not entirely observed even when guard is placed at every vertex. One known example is the Octoplex.

Figure 6: The Octoplex. Isometric projection is figure 3.19 in [2].

This polyhedron has 56 vertices and 30 faces, it is constructed from 20-by-20-by-20 cube by removing six rectangular cuboids of varying sizes, and center cannot be observed from any vertex, for details see [2]. In first attempt of finding a smaller polyhedron with the same property we tried to modify the Octoplex, we noticed that there are four pairs of faces, each pair sharing an edge, that are completely invisible from . By cutting out additional parts from the cube we obtained the "truncated Octoplex" (figure 7).

Figure 7: Truncated Octoplex and its orthogonal projection. Green lines show that some parts of polyhedra are hidden behind front/back rectangular faces, so we can cut the red part out without risk of creating any new vertices in the area visible from the center.

This polyhedron has 48 vertices and 26 faces; we removed 4 faces and 8 vertices, also 8 other vertices have been slightly moved, however it is easy to check they are still in a blind spot. Further attempts to truncate the Octoplex were unsuccessful because of lack of symmetry, the cutouts from the cube have different width and height, and repeating same operation for other sides will cause 8 moved vertices to be visible from center.

To fix the symmetries we took "regular" Octoplex, with cutouts of the same size. Problem with such shape is that the corners of cube are visible from its center. However we first performed partial truncation to get rid of all 8-sided faces which have produced lots of additional vertices, and as the last step we sliced out corners of cube, leaving nice triangular faces in place of the corners. We called this new polytope an Überoctoplex 222Thanks to K. Łasocha for winning idea. (figure 8).

Figure 8: The Überoctoplex and its orthogonal projection. Red vertices are hidden from the center by the red rectangular faces in front and back. Other vertices are hidden by other rectangular faces in the same way.

This polyhedron has 26 faces but only 24 vertices, however we were unable to prove this is minimal number of vertices or faces. Later we noticed that same partial truncation and cutting out corner can be done for usual Octoplex, resulting in a similar but less regular shape which still has the same property.

Recipe for The Überoctoplex (figure 9): Take a 20-by-20-by-20 cube, similarly to the Octoplex from each side cut out a prism, but with trapezoid as base. The trapezoid has height 4 and bases 12 and 10. Now, near each corner of cube there are 7 vertices including the corner itself, choose those three of them that are farther away from corner and make a cut with plane determined by them. Add oil, fry, season to taste.

Figure 9: Stages of creating Überoctoplex from cube.

Sadly, after some research we found that we weren’t first to find Überoctoplex, image depicting it can be found in internet dating back to 2007 [4]. We contacted I. Karonen, who was author of this image, and he said that he found this example on his own "as it’s in some ways a fairly natural construction" (and we certainly agree) but he is unsure if anyone described it earlier.

As we weren’t able to prove that this is minimal example of such polyhedron there are two questions that are still open:

Question 2.

Is there any polyhedron that cannot be guarded by placing guards in every vertex with less than 24 vertices?

Question 3.

Is there any polyhedron that cannot be guarded by placing guards in every vertex with less than 26 faces?

References