MathLabs

第1题

设 AA 是 S={1,2,…,106}S=\{1,2,\ldots,10^6\} 的一个含 101 个元素的子集。证明存在 SS 中的数 t1,t2,…,t100t_1,t_2,\ldots,t_{100},使得 Aj={x+tj∣x∈A}A_j=\{x+t_j\mid x\in A\}(j=1,2,…,100j=1,2,\ldots,100)两两不相交。
第 2/3 步:统计被禁止的候选量
通俗地说

在极大族中,每个候选量要么已选,要么由元素差禁止。

106≤∣T∣(101⋅100+1)10^6\le |T|(101\cdot100+1)
详细分析

设 为两两不相交平移量的极大集合。 中每个候选要么属于 ,要么形如 ,其中 且 不同。因此 。 SS TT TT a,b∈Aa,b\in A ti+b−at_i+b-a ti∈Tt_i\in T