On Covering Problems of Rado
T. Rado conjectured in 1928 that if F is a finite set of axis-parallel squares in the plane, then there exists an independent subset a"aS dagger a"+/- of pairwise disjoint squares, such that a" covers at least 1/4 of the area covered by F. He also showed that the greedy algorithm (repeatedly choose the largest square disjoint from those previously selected) finds an independent set of area at least 1/9 of the area covered by F. The analogous question for other shapes and many similar problems have been considered by R. Rado in his three papers (in Proc. Lond. Math. Soc. 51:232-264, 1949; 53:243-267, 1951; and J. Lond. Math. Soc. 42:127-130, 1968) on this subject. After 45 years, Ajtai (in Bull. Acad. Polon. Sci. S,r. Sci. Math. Astron. Phys. 21:61-63, 1973) came up with a surprising example disproving T. Rado's conjecture. We revisit Rado's problem and present improved upper and lower bounds for squares, disks, convex bodies, centrally symmetric convex bodies, and others, as well as algorithmic solutions to these variants of the problem.
discrete and computational geometry approximation algorithms