Consider a finite set $S$ of nonnegative integers.
What is the maximum natural density of an infinite subset of $\mathbb{Z}$ which does not contain any translation of $S$?
Of course, this will depend on $S$, but maybe there is a simple algorithm or characterization. I am also interested about the same question in $\mathbb{Z}^k$.
Have the above questions been researched in any form? I didn't come up with a search query which returns anything.