Bergeʹs theorem, fractional Helly, and art galleries Original Research Article

In one of his early papers Claude Berge proved a Helly-type theorem, which replaces the usual “nonempty intersection” condition with a “convex union” condition. Inspired by this we prove a fractional Helly-type result, where we assume that many image-tuples of a family of convex sets have a star-shaped union, and the conclusion is that many of the sets have a common point. We also investigate somewhat related art-gallery problems. In particular, we prove a image-theorem for guarding planar art galleries with a bounded number of holes, completing a result of Kalai and Matoušek, who obtained such a result for galleries without holes. On the other hand, we show that if the number of holes is unbounded, then no image-theorem of this kind holds with image.