Berge's theorem, fractional Helly, and art galleries

Abstract: 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 -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 -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 -theorem of this kind holds with . [Copyright &y& Elsevier]