易混 2026 年甘肃预赛 · P005998
两题都出现排列与绝对差,但连边的对象不同,不能只按“排列变差”套同一种分解。
错排题连接位置与它的像,应按不交循环控制贡献;另一题连接相邻项形成一条路径,端点和割边计数才是约束来源。
设整数 。对于 的任一排列
记
求
的值,并计算取得最小值时排列 的数目。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
任意闭合实数路线的总变差至少为最大值减最小值的两倍;循环分解把每个标签的入边、出边各使用一次,因此总贡献可以按循环相加。
想法从哪来:每个位置至少移动一步只能给粗下界,也看不出哪些排列取等。改按排列的循环分解:沿一个循环必须从最小标签走到最大标签又回来,总路程至少为跨度的两倍;r个不同整数的跨度又至少r减一。于是循环越多,总路程越小,而无不动点意味着每个循环至少两个元素。偶数长度应全为二循环,奇数长度只需留下一个三循环。上界构造容易,计数还要回看每一步等号:各循环标签必须连续,剩余相邻配对会迫使三元块起点有固定奇偶性;三循环的两个方向分别计数。
把无不动点排列分解为互不相交的循环。每个循环对位移绝对值和的贡献至少是其最大、最小元素之差的两倍;于是问题归结为让循环数尽量多并检查等号结构。
考虑一个长度为 的循环,其元素从小到大为 。沿循环的有向边从 走到 至少累计增加 ,从 回到 至少累计减少同样多,故该循环贡献至少
若排列有 个循环,则总和至少为 。因每个循环长度至少为 ,有 。
若 为偶数,最小值至少为 。排列
达到它。要取等,必须有 个二循环,且每个二循环的两个数相邻;从最小未用整数开始即被迫与下一个整数配对,因此仅有这 个排列。
若 为奇数,最小值至少为 。取一个连续三元组作三循环,其余相邻配成二循环即可达到。等号时循环数必须为 ,故恰有一个三循环,其余全为二循环;每个循环的元素还必须连续。三元组只能是
共有 种位置,每个三元组有两个方向的三循环,故共有 个排列。
综上,最小值与排列数分别为
时唯一换位给出和 ; 时两个三循环都给出和 ,与公式一致。循环贡献下界同时处理了非连续元素,不会漏掉其他取等排列。
排列位移的绝对值和适合按循环分解;“总变差至少为最大值与最小值之差的两倍”是控制每个循环的核心。
需要建立每个循环的跨度下界,结合循环数上界确定最小值,再完整刻画连续二循环和三循环的全部等号排列。
易混 2026 年甘肃预赛 · P005998
两题都出现排列与绝对差,但连边的对象不同,不能只按“排列变差”套同一种分解。
错排题连接位置与它的像,应按不交循环控制贡献;另一题连接相邻项形成一条路径,端点和割边计数才是约束来源。
已记下,谢谢!