The Art Gallery Theorem, Revisited
T.S. Michael, Val Pinciu · American Mathematical Monthly · 2016
The art gallery theorem asserts that any polygon with n vertices can be protected by at most ⌊n/3⌋ stationary guards. The original proof by Chvatal uses a nonroutine and nonintuitive induction. We ...