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  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  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  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 .
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 .
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.
Let be -gon with then for some choice of starting vertex, placing guard on every second vertex all points outside are observed.
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
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.
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 ).
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 . ∎
There exists 12-gon that for any choice of starting vertex, placing guard on every second vertex some point outside is not observed.
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.
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:
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.
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.
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 . 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).
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).
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.
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 . 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:
Is there any polyhedron that cannot be guarded by placing guards in every vertex with less than 24 vertices?
Is there any polyhedron that cannot be guarded by placing guards in every vertex with less than 26 faces?
-  R. Morrison, The smallest art gallery not guarded by every third vertex, arXiv:1908.01705.
-  T. S. Michael, How to Guard an Art Gallery and Other Discrete Mathematical Adventures, Johns Hopkins University Press, Baltimore MD, 2009.
-  J. O’Rourke, Art gallery theorems and algorithms, International Series of Monographs on Computer Science, The Clarendon Press, Oxford University Press, New York, 1987.
I. Karonen, Polyhedron with no vertex visible from center,