同一骨架 2026 年广东预赛 · P005944
两题都先把允许的两两配对画成图,再数匹配。圆周配对要求每个顶点恰被覆盖,可分解成互不相交的环;对合映射还允许不动点,因此需要把未匹配顶点纳入递推,不能只保留完美匹配。
前题各分量都须完全配对;后题按端点是否固定及其匹配对象分类,允许部分匹配。
设 ,映射 满足
其中 为 上的恒等映射,并且
求映射 的数目。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
自反条件说明映射由不动点和互不相交的换位组成;距离条件只允许交换相距 或 的两个数,因此是在一条带次邻边的路径图上数匹配。
先回想这道题的想法,再试试当前题。
记前 个点上的合格映射数为 。考察点 :
若 不动,余下有 种;若与 交换,有 种;若与 交换,则点 要么不动,留下 种,要么只能与 交换,留下 种。因此
初值为
递推得到
故所求为 。
自动保证 为双射且每个循环长度为 或 ;四种关于点 的情形互斥且穷尽。
受距离限制的对合计数等价于图匹配计数;按最右端顶点是否匹配及匹配对象分类,可得到有限阶递推。
须把复合恒等转成不动点或换位,并在末点与倒数第三点交换时进一步分析剩余末点的两种可能。
同一骨架 2026 年广东预赛 · P005944
两题都先把允许的两两配对画成图,再数匹配。圆周配对要求每个顶点恰被覆盖,可分解成互不相交的环;对合映射还允许不动点,因此需要把未匹配顶点纳入递推,不能只保留完美匹配。
前题各分量都须完全配对;后题按端点是否固定及其匹配对象分类,允许部分匹配。
已记下,谢谢!