MathLabs

Problem 1

Let AA be a 101-element subset of S={1,2,…,106}S=\{1,2,\ldots,10^6\}. Prove that there exist numbers t1,t2,…,t100t_1,t_2,\ldots,t_{100} in SS such that the sets Aj={x+tj∣x∈A}A_j=\{x+t_j\mid x\in A\}, j=1,2,…,100j=1,2,\ldots,100, are pairwise disjoint.
Step 2 of 3: Count blocked candidates
In plain words

Count blocked candidates

106≤∣T∣(101⋅100+1)10^6\le |T|(101\cdot100+1)
Detailed analysis

For a maximal admissible set TT, every candidate in SS is either already in TT or equals ti+b−at_i+b-a for some ti∈Tt_i\in T and distinct a,b∈Aa,b\in A. Hence the displayed bound.