RU-ALLRUSSIAN 1977 Problem 15
Given 1000 square plates in the plane with their sides parallel to the coordinate axes (but possibly overlapping and possibly of different sizes). Let S be the set of points covered by the plates. Show that you can choose a subset T of plates such that every point of S is covered by at least one and at most four plates in T.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.