易混 2023 年浙江预赛 · P006638
两题都出现排列与绝对差,但连边的对象不同,不能只按“排列变差”套同一种分解。
错排题连接位置与它的像,应按不交循环控制贡献;另一题连接相邻项形成一条路径,端点和割边计数才是约束来源。
相邻差全排列的端点极值
若数列 满足以下两个性质,则称 为 数列:
是 的一个排列;
是 的一个排列。
若数列 为 数列且 ,直接写出数列 ;
若数列 满足 , 求证:数列 不是 数列;
对于给定的整数 ,若数列 为 数列, 求 的最小值。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
这是双重计数:先按边数其长度,再按数轴切口数跨边;不需要预先知道哈密顿路径术语。
想法从哪来:先试高低交替排列,它能一次性用完从最大到最小的所有相邻差。 要排除指定端点,先把有符号差累加,再模2;正负号在模2下相同,因此端点差的奇偶性已经受总差和限制。但求端点和的最小值只靠奇偶不够。 把排列画成数轴上的路径,一条长为 的边恰跨过 个整数分割。于是总差和可改为逐分割数跨边。路径内部点贡献两条邻边,两个端点只贡献一条;若端点都靠左,若干分割会持续损失度数,这就产生端点和的下界。
交替取当前最小、最大未用数可直接构造相邻差从 递减到 的数列。 端点下界不能只靠奇偶性;把每条差为 的边看成跨过 个整数分割, 对所有分割的跨边数求和,便能利用端点在路径中的度数少 得到精确下界。
(1) 可取
其相邻项之差的绝对值依次为 ,故确为 数列。
(2) 若该数列为 数列,则存在 ,使得
模 考察时正负号不影响奇偶性,因此
但题设给出 ,为奇数,矛盾。因此该数列不是 数列。
(3) 先证下界。记两个端点为
不妨设 。对 ,记 为相邻项连边中一端不超过 、 另一端大于 的边数。一条连接数 的边恰好跨过 个这样的分割,因此
先设 。若 ,则 。 当 时,集合 中各点在整条路径上的度数和为
故跨边数不超过此数。当 时,该集合含两个端点,故 。 当 时,使用不含端点的集合 ,得到 。于是
这与式 (4) 的右端 矛盾。因此
再设 。若 ,同样有 。 对 使用下方集合 , 对 使用不含端点的上方集合 ,可得
这与式 (4) 的右端 矛盾。因此此时也有
综上,
最后说明等号总能取得。交替排列
的相邻差依次恰为
当 时该排列末项为 ;当 时末项也为 。 故它是 数列,且端点和均为 。结合式 (5),所求最小值为
小情形 的上述构造分别为 、,公式给出最小值 , 与直接检查一致。跨分割计数中,每条长度为 的边被计数恰好 次; 端点度为 、其余点度为 ,所以两种奇偶情形的上界均未重复扣减。
排列的绝对相邻差问题可视为数轴顶点上的哈密顿路径。 “边长等于跨过的整数分割数”把总长度转成割边数之和; 端点在每个相关割中的度数亏损给出下界,而高低交替排列通常实现极值。
前两问较直接,第三问需把所有相邻差之和转成跨越各整数切口的边数,再由端点位置限制总跨数并构造恰达界的交替排列。
易混 2023 年浙江预赛 · P006638
两题都出现排列与绝对差,但连边的对象不同,不能只按“排列变差”套同一种分解。
错排题连接位置与它的像,应按不交循环控制贡献;另一题连接相邻项形成一条路径,端点和割边计数才是约束来源。
已记下,谢谢!