设 是一个给定的正整数,集合
求最大的正数 ,使得对任意正整数 ,都存在集合 的子集 ,满足集合 至少有 个元素,且集合 的任两个元素 均有
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
乘积染色就是记录两种颜色组成的有序对。若 被4整除,则 都为偶数;反复使用这一初等事实可找到正确染色尺度。若约去4后余3模4,根本没有这种距离边。
想法从哪来:先用最短的两个平方距离试上界,看看小方块里最多能选几个点。 下界要对任意两个距离都成立,因此不能只挑一个稀疏子格。先尝试为每个单独距离二染色,使这种距离连接的点异色;将两份二染色组合成四种标签,最大的标签类就同时避开两种距离。 普通棋盘色能处理奇数平方距离,遇到4的因子则先反复约去4。坐标差也相应含有2的因子,故应在缩小尺度后考察奇偶。用整除后的坐标取整定义颜色,使任意位置的点都能适用,不只处理坐标恰为倍数的点。
上界选择最强的两个短距离 。下界则把每一种固定平方距离的整数格点图二染色,再把两种二染色合成为四染色。
先证下界。给定正整数 ,写成 ,其中 。若 或 ,对格点定义
若 ,定义
若两个整数格点之差为 且 ,则 都被 整除;约去 后,第一种情形恰有一个商为奇数,第二种情形两个商均为奇数。因此这两个格点的 颜色不同。(若 不能表示为两个平方和,则结论显然。)
把 与 合成一个四染色。任一同色类内不会出现平方距离 或 ,而四个颜色中至少一个含有
个点,故 。
再取 。把 格点阵分成 个互不相交的 小方格。每个小方格中任意两点的平方距离为 或 ,所以合法集合在每个小方格中至多取一点,即至多有 个点。因此 。
综上,
构造对任意正整数 都有效,包括不可表示为两平方和的情形;上界所选的 符合题目量词“对任意”。
禁止有限种距离的格点独立集,可分别为每个距离建立低色数染色,再取乘积染色;锐利上界常来自把格点分割成小团。
核心是按距离的4进赋值为任意禁距建立二染色,再叠加成四染色并用2乘2分块证明最优。
已记下,谢谢!