组合笔记

ai gen

图论拼图问题：完全图分割、线性代数与设计

1. 主题解析

例题涉及三类对象：完全图 $K_n$ 的边划分、完全二部图（biclique）划分，以及删去完美匹配后的 cocktail-party 图 $CP_n=K_{2n}-nK_2$ 的团划分。例题 1 的等号情形把每个块的一个端集看成“线”，从而得到有限线性空间；near-pencil 与有限射影平面正是 de Bruijn–Erdős 等号分类中的两种情形。例题 2 是 Graham–Pollak 定理，标准证明把每个二部块写成秩至多 $2$ 的对称矩阵并用惯性指数（或多项式方法）给出秩下界。例题 3 属于 cocktail-party 图的 clique-partition 问题，通常需要比邻接矩阵秩更细的关联矩阵论证。

可改变的参数包括：把 $K_n$ 换成一般图 $G$；要求块为二部图、团或限制大小的块；允许边覆盖而非划分；研究最小块数与秩、色数、谱、通信复杂度之间的关系；以及研究射影平面阶数和对称设计的存在性。

2. 检索关键词

中文：完全图边划分、完全二部图划分、团划分、Graham–Pollak 定理、de Bruijn–Erdős 定理、有限射影平面、cocktail-party 图、关联矩阵、秩方法。
English: biclique partition number, clique partition number, Graham–Pollak theorem, de Bruijn–Erdős theorem, finite projective plane, cocktail-party graph, incidence matrix, rank method, Fisher inequality, Alon–Saks–Seymour conjecture.
其他术语：德语 Kantenzerlegung in vollständige bipartite Graphen；法语 décomposition bipartie complète；俄语“разбиение рёбер полного графа на полные двудольные графы”。

3. 基础定义与结论

biclique partition number ($bp(G)$)：把 $E(G)$ 不交地划分为完全二部子图所需的最小块数。Graham–Pollak 定理给出 $bp(K_n)=n-1$。
clique partition number ($cp(G)$)：把 $E(G)$ 不交地划分为团所需的最小块数。对一般图，$cp(G)$ 与邻接矩阵秩没有简单等式，但关联矩阵和谱给出下界。
有限线性空间：任意两点恰在唯一条线上。de Bruijn–Erdős 定理断言，若有 $v$ 个点、$b$ 条线且每条线至少含两点，则 $b\ge v$；等号时（在非退化条件下）只有 near-pencil 或有限射影平面。
Fisher 不等式：非退化 $2$-$ (v,k,\lambda)$ 设计的块数 $b\ge v$；等号对应对称设计。射影平面是 $\lambda=1$ 的对称设计。

4. 相关数学竞赛题

竞赛题 1：完全图的完全二部图划分（Graham–Pollak 型）

相关性等级： A
题目： 设 $n\ge2$，将 $K_n$ 的边集不交划分为 $m$ 个完全二部图 $K_{s_i,t_i}$（$s_i,t_i\ge1$）。证明 $m\ge n-1$。
证明提示： 对每个二部块取带符号指示向量，构造边邻接矩阵的秩分解；或使用矩阵惯性指数。
出处： 该题作为 Graham–Pollak 定理的竞赛化表述广泛收入训练资料；原始论文见下列论文部分。
来源： Graham–Pollak 原论文 DOI
核验情况： 定理原始论文已核验；“竞赛题”具体比赛出处未找到一手文件。

竞赛题 2：删去完美匹配后的团划分（苏联国家队夏令营线索）

相关性等级： A
题目： 设 $n\ge4$，从 $K_{2n}$ 中删去一个完美匹配。若余图的边集划分为 $m$ 个团，则证明 $m\ge2n$。当 $n=3$ 时存在 $m=4$ 的反例（题面中的四个三角形）。
证明提示： 令每个团的点边 incidence 向量组成矩阵，利用删去匹配后的零空间和惯性指数；单纯使用邻接矩阵秩只能得到较弱界。
出处： “苏联 1988 国家队夏令营”题集的二手转述。
来源： cocktail-party graph 术语说明（MathWorld）
核验情况： 题目与年份目前仅有二手来源，原始题集未核验。

竞赛题 3：线性空间等号分类（de Bruijn–Erdős 型）

相关性等级： B
题目： 在一个有限线性空间中有 $v\ge3$ 个点、$b$ 条线，任意两点恰在一条线上。证明 $b\ge v$，并描述 $b=v$ 时的 near-pencil 与射影平面两种结构。
证明提示： 使用点线 incidence 矩阵的秩不等式；等号时再分析每点、每线的度数。
出处： 常见于组合设计理论课程和竞赛训练；原始出处为 de Bruijn–Erdős 论文。
来源： de Bruijn–Erdős 论文（Indagationes Mathematicae）
核验情况： 原始论文书目信息已核验；具体竞赛出处未核实。

5. 相关定理

定理 1：Graham–Pollak 定理

相关性等级： A
陈述： 若 $n\ge2$，$E(K_n)$ 可划分为 $m$ 个完全二部图，则 $m\ge n-1$；该界可由星形划分达到，因此 $bp(K_n)=n-1$。
出处或参考资料： R. L. Graham and H. O. Pollak, “On the addressing problem for loop switching”, Bell System Technical Journal 50 (1971), 2495–2519。
来源： DOI
核验情况： 已核验。

定理 2：de Bruijn–Erdős 有限线性空间定理

相关性等级： A/B
陈述： 有限线性空间若有 $v$ 个点、$b$ 条线且每条线至少两点，则 $b\ge v$。当 $b=v$ 时，结构为 near-pencil，或每条线、每点具有统一参数的有限射影平面。
出处或参考资料： N. G. de Bruijn and P. Erdős, “On a combinatorial problem”, Indagationes Mathematicae 10 (1948), 421–423。
来源： 论文 DOI 页面
核验情况： 已核验（等号分类的精确定义需结合现代教材中的非退化约定）。

定理 3：Fisher 不等式

相关性等级： B/C
陈述： 对一个非退化 $2$-$ (v,k,\lambda)$ 设计，块数 $b\ge v$。若 $b=v$，则设计为对称设计；有限射影平面是 $k=q+1,\lambda=1,v=q^2+q+1$ 的例子。
出处或参考资料： R. A. Fisher (1938)；现代参考见 Beth–Jungnickel–Lenz, Design Theory, 2nd ed., Cambridge University Press, 1999。
来源： Cambridge 书目信息
核验情况： 定理已核验；Fisher 原文 DOI 未在本次检索中核对。

6. 论文中的相关结论

结论 1：Graham–Pollak 的秩下界

相关性等级： A
结论： 对任意完全二部图划分 $E(K_n)=\bigsqcup_{i=1}^m E(K_{s_i,t_i})$，相应的对称矩阵分解和惯性指数给出 $m\ge n-1$。
论文： Graham and Pollak, “On the addressing problem for loop switching”, 1971。
发表信息： Bell System Technical Journal 50, 2495–2519。
定位信息： 论文中的主定理及其矩阵证明。
标识符： DOI 10.1002/j.1538-7305.1971.tb02618.x
来源： Wiley DOI 页面
核验情况： 已查阅书目信息与定理陈述。

结论 2：de Bruijn–Erdős 等号结构与射影平面

相关性等级： A/B
结论： 将例题 1 的块端集视为线，可应用有限线性空间定理；最小块数等号迫使 near-pencil 或射影平面型结构。若 $q$ 为素数幂，$PG(2,q)$ 给出 $v=q^2+q+1$ 个点和同数条线的构造。
论文： de Bruijn and Erdős, “On a combinatorial problem”, 1948。
发表信息： Indagationes Mathematicae 10, 421–423。
定位信息： 主定理及等号讨论。
标识符： DOI 10.1016/S1385-7258(49)50003-6
来源： ScienceDirect DOI 页面
核验情况： 已核验定理内容；例题中 $s_i,t_i$ 到“线”的具体映射需按题目附加条件解释。

结论 3：Alon–Saks–Seymour 猜想的反例

相关性等级： C
结论： Alon–Saks–Seymour 猜想断言若 $E(G)$ 可划分为 $k$ 个完全二部图，则 $\chi(G)\le k+1$。Huang–Sudakov 构造了违反该不等式的图，说明不能仅用色数给出普适的 $bp(G)\ge\chi(G)-1$ 下界。
论文： H. Huang and B. Sudakov, “A counterexample to the Alon–Saks–Seymour conjecture”, 2012。
发表信息： Combinatorica 32 (2012)。卷期页码和 DOI 本次未完全核实。
定位信息： 论文主结果（反例构造）。
标识符： 未核实；可由题名在 Springer/MathSciNet 检索。
来源： Springer 题名检索
核验情况： 仅核对二手摘要，正式标识符未完全核实。

7. 相关研究问题

问题 1：阶 12 的有限射影平面是否存在？

相关性等级： B
问题陈述： 是否存在阶 $12$ 的有限射影平面（即每条线含 $13$ 点、总点数 $12^2+12+1=157$）？
提出者与时间： 作为有限几何中的经典存在性问题，最早出处和“首个未决阶”说法需以最新综述为准。
当前状态： 开放（截至 2026-09-05；本次未查到一手状态页面）。
状态说明： Bruck–Ryser–Chowla 条件排除许多阶（如 $6,14$），但不决定阶 $12$。
状态核验日期： 2026-09-05
出处： Dembowski, Finite Geometries；Handbook of Combinatorial Designs, 2nd ed., “Projective Planes”。
来源： Projective plane 概览（仅作二手状态页）
核验情况： 状态未完全核实。

问题 2：一般图的 biclique partition 数与色数、秩的最优关系

相关性等级： C
问题陈述： 对一般图 $G$，寻找 $bp(G)$ 与 $\chi(G)$、邻接矩阵秩、谱参数之间的最佳函数关系；特别是确定在何种图类中 $bp(G)\ge\chi(G)-1$ 仍成立。
提出者与时间： Alon、Saks、Seymour 在相关猜想中提出（20 世纪 90 年代；具体年份需查原始论文）。
当前状态： 部分解决／开放方向。
状态说明： 全称猜想已被 Huang–Sudakov 反例否定，但特殊图类和最佳渐近界仍是研究主题。
状态核验日期： 2026-09-05
出处： Alon–Saks–Seymour 猜想及 Huang–Sudakov 反例论文。
来源： Springer 题名检索
核验情况： 反例结论已由二手资料核对；开放方向未逐条查综述。

问题 3：Hadamard 矩阵猜想

相关性等级： D/C
问题陈述： 是否对每个正整数 $t$ 都存在阶 $4t$ 的 Hadamard 矩阵？
提出者与时间： 经典问题，通常归于 Hadamard；现代综述见 Handbook of Combinatorial Designs。
当前状态： 开放。
状态说明： 已知大量阶数，但一般存在性仍未解决。
状态核验日期： 2026-09-05
出处： Handbook of Combinatorial Designs, 2nd ed., “Hadamard Matrices”。
来源： CRC Handbook 书目信息
核验情况： 书目信息已核验，最新状态未逐项核对。

8. 来源汇总

论文及专著： Graham–Pollak (1971) DOI；de Bruijn–Erdős (1948) DOI；Beth–Jungnickel–Lenz《Design Theory》；Dembowski《Finite Geometries》；Handbook of Combinatorial Designs。
问题数据库或状态页： Wikipedia 的 Projective plane 页面（仅二手状态）；MathWorld 的 Cocktail Party Graph 页面。
论坛或二手资料： 苏联夏令营题的转述、Huang–Sudakov 论文的 Springer 题名检索页。

图上交换问题与置换

1. 主题解析

1.1 主要数学对象

约定：置换按函数复合从右到左作用。下文把顶点上的编号称为“令牌”（token）。

配置图：给定简单图 $G=(V,E)$，$V=[n]$，令
\[\Gamma(G)=\operatorname{Cay}\bigl(S_n,\{(uv):uv\in E(G)\}\bigr). \]
顶点是所有标号配置（即 $S_n$ 中的置换），一步沿 $uv\in E(G)$ 交换端点令牌。它正是由“边换位”生成的对称群 Cayley 图。
最短交换序列：$d_G(\sigma,\tau)$ 是 $\Gamma(G)$ 中的图距离；等价地，它是把配置 $\sigma$ 变为 $\tau$ 所需的最少合法交换数。研究文献中的标准名称是 token swapping 或 sorting with a transposition graph/tree。
带标号的交换轨迹：若第 $i$ 步使用位置边 $e_i=\{u_i,v_i\}$，则当步真正交换的两个令牌是 $\sigma_i(e_i)=\{\sigma_i(u_i),\sigma_i(v_i)\}$。不只关心终态，而关心整条 walk/closed walk 对位置边或令牌对的覆盖性质。
典型底图：$K_n$ 允许任意换位，$P_n$ 只允许相邻换位，$C_n$ 增加首尾相邻换位；树、星、扫帚图（broom）、蜘蛛图（spider）是从竞赛特例通向研究问题的自然层级。

1.2 核心条件与结论

在 $K_n$ 上，最短换位长度由循环数控制：$d_{K_n}(\sigma,\mathrm{id})=n-c(\sigma)$。
在 $P_n$ 上，最短相邻换位长度等于逆序数：$d_{P_n}(\sigma,\mathrm{id})=\operatorname{inv}(\sigma)$。
RMM 2013 P6 在偶圈 $C_{2n}$ 上要求每一对令牌恰交换一次，结论是至少一条位置边从未使用；可把“$2n$ 个令牌”改写成一般 $n$ 并加强到“恰有一条边未使用”。
CGMO 2026 P4（按用户提供的题面）把“每对令牌恰交换一次”换成闭游走中的全覆盖条件 $\forall i,j\ \exists s:\sigma_s(i)=j$，并精确求最短长度，奇偶性产生两种答案。

1.3 可能使用的关键方法

置换奇偶性与循环数势函数：一次换位改变符号，并使循环数增加或减少 $1$。
逆序数与越边计数：在路径上，每次相邻换位只改变一个逆序；在树上可按割边统计令牌必须跨越的次数。
距离势函数：令 $L=\sum_i d_G(\text{token }i,\text{target }i)$；一次交换至多使 $L$ 减少 $2$，故最优值至少为 $L/2$。
Cayley 图观点：交换序列是生成元的字，最短序列是 word metric 的测地线；闭交换序列是生成元关系。
双重计数/覆盖设计：分别记录位置边 $e_i$ 与令牌对 $\sigma_i(e_i)$，利用每个令牌的运动次数、圈上割结构及奇偶约束。
算法与复杂度：广度优先搜索配置图、近似算法、NP 困难性归约，以及对特殊树类的精确算法。

1.4 可自然改变的参数或条件

底图：$K_n,P_n,C_n$、树、二部图、平面图、限制最大度或树宽的图。
目标：到达指定置换、求最坏情形直径、完成令牌对覆盖、或要求闭游走。
交换规则：顺序交换；每轮沿匹配并行交换；带权交换；有色令牌可进入同色目标。
覆盖强度：每对恰一次、至少一次；每条位置边至少/恰使用若干次；每个令牌访问全部顶点。
优化参数：总步数、并行轮数、加权成本、近似比或参数化复杂度。

1.5 与其他方向的联系

Coxeter 群 $S_n$ 的长度函数、弱 Bruhat 序与 reduced words；
transposition tree 生成的 Cayley 图直径与互连网络；
permutation routing via matchings（并行路由）；
friends-and-strangers graph、组合重配置、15-puzzle/pebble motion；
多机器人路径规划和量子电路中的 qubit routing。

2. 检索关键词

中文

图上令牌交换、图上标号交换、交换图、配置图；
置换的边换位分解、换位树、相邻换位、最短交换序列；
Cayley 图直径、置换路由、匹配路由、组合重配置；
逆序数、循环数、每对令牌恰交换一次、令牌访问所有顶点；
树上令牌交换、星图/扫帚图/蜘蛛图上的交换、有色/带权令牌交换。

英文与标准术语

token swapping, swapping labeled tokens on graphs;
sorting with a transposition graph/tree, minimum-length generator sequence;
Cayley graph generated by transpositions, transposition-tree Cayley graph;
adjacent transpositions, Coxeter length, inversion number, reduced word;
permutation routing via matching, parallel token swapping;
colored token swapping, weighted token swapping, happy leaf conjecture;
friends-and-strangers graph, pebble motion on graphs, graph reconfiguration。

常见名称包括：Cayley 图、Coxeter 长度公式、Akers--Krishnamurthy 距离势函数/交换算法、Happy Leaf Conjecture。法语可用 échange de jetons sur un graphe、graphe de Cayley engendré par des transpositions；德语可用 Token-Swapping auf Graphen。本题不需要俄语关键词即可定位原始材料。

3. 基础定义与结论

3.1 配置图与连通性

若 $G$ 的连通分支为 $V_1,\ldots,V_r$，合法交换只能在各 $V_j$ 内重排令牌。因此 $\Gamma(G)$ 连通当且仅当 $G$ 连通；一般情况下，从某配置可达的配置恰是保持每个分支所含令牌集合不变的那些配置。若 $G$ 连通，则边换位生成 $S_n$。

每一步是奇置换，所以 $\Gamma(G)$ 是二部图，二部划分由 $\operatorname{sgn}(\sigma)$ 给出；任意闭游走长度均为偶数。

3.2 三个基本距离公式

对 $K_n$，
\[d_{K_n}(\sigma,\mathrm{id})=n-c(\sigma). \]
一个 $k$-循环至少需要 $k-1$ 个换位，也可用 $k-1$ 个换位拆开。
对 $P_n$（边为 $\{i,i+1\}$），
\[d_{P_n}(\sigma,\mathrm{id})=\operatorname{inv}(\sigma). \]
这是 $S_n$ 关于简单换位 $s_i=(i\ i+1)$ 的 Coxeter 长度。
对任意连通 $G$，令令牌 $i$ 的当前位置到目标 $i$ 的距离为 $d_i$，$L=\sum_i d_i$，则
\[\operatorname{OPT}(G,\sigma)\ge \frac{L}{2}. \]
因为一次交换至多令两个令牌各接近目标一步。

3.3 星图的精确公式

设底图是有 $n$ 个顶点的星。令 $n_U$ 为没有放置正确令牌的叶子数，$\ell$ 为当前置换中不含中心顶点的非平凡循环数，则最少交换数为

\[n_U+\ell. \]

这是任意换位长度与相邻换位长度之间的重要中间模型。

3.4 顺序与并行模型的区别

本文采用顺序模型：一步只交换一条边。并行模型的一轮可以同时沿一个匹配交换多对令牌；它对应 permutation routing via matchings，目标量是 routing number，而非 $\Gamma(G)$ 的普通图距离。

4. 相关数学竞赛题

竞赛题 1：偶数个令牌在正多边形上的两两交换

相关性等级： A
题目： 在正 $2n$ 边形的各顶点各放一个互不相同的令牌。一次操作选择多边形的一条边并交换其两端令牌。若有限次操作后，每一对令牌都恰好彼此交换过一次，证明：有一条多边形边从未被选择。
证明提示： 无。
出处： The 6th Romanian Master of Mathematics Competition，2013，Day 2，Problem 6；题目署名 Russia / Alexander Gribalko。
来源： RMM 2013 官方题目页；Day 2 英文官方 PDF
核验情况： 已由官方 PDF 核验。

竞赛题 2：RMM P6 的一般 $n$ 加强题

相关性等级： B
题目： 令 $n\ge3$，在 $C_n$ 上给出交换路径
\[\sigma_1 e_1\sigma_2e_2\cdots \sigma_t e_t\sigma_{t+1}, \]
且 $\sigma_i(e_i)$（$1\le i\le t$）恰遍历 $[n]$ 的所有二元子集一次。证明：恰有一条边 $e\in E(C_n)$ 不在多重集合 $\{e_1,\ldots,e_t\}$ 中出现。
证明提示： 无。
出处： 用户给出的“RMM 2013 P6 加强”；并非 RMM 官方 PDF 中的原题措辞。
来源： 可核验的基础题：RMM 2013 Day 2 Problem 6
核验情况： 基础题已由官方来源核验；“恰有一条”及一般 $n$ 的加强版本未找到独立原始出处，故该加强的来源未完全核实。

竞赛题 3：闭交换序列中的全位置覆盖

相关性等级： A
题目： 设 $n\ge3$，在 $C_n$ 上考虑闭交换序列
\[\sigma_1 e_1\sigma_2e_2\cdots \sigma_t e_t\sigma_1, \]
满足
\[\forall i,j\in[n],\ \exists s\in\{1,\ldots,t\}:\ \sigma_s(i)=j. \]
求 $t$ 的最小值。按给定题面，答案为
\[\frac{n^2}{2}\quad(2\mid n),\qquad \frac{n^2+2n-3}{2}\quad(2\nmid n). \]
证明提示： 无。
出处： 用户标注为第 25 届中国女子数学奥林匹克（CGMO），2026，Problem 4。
来源： 中国数学会的 CGMO 项目介绍页（仅能核验赛事，不含该届题面）
核验情况： 未完全核实；截至核验日未检得中国数学会发布的 2026 题目文件，题面与答案仅据用户提供信息保留。

5. 相关定理

定理 1：换位生成图的连通性与奇偶二部性

相关性等级： A
陈述： 令 $T_G=\{(uv):uv\in E(G)\}$。则 $\langle T_G\rangle$ 是各连通分支上的对称群之直积；特别地，$\operatorname{Cay}(S_n,T_G)$ 连通当且仅当 $G$ 连通。又因每个生成元都是奇置换，该 Cayley 图以置换符号为二部划分。
出处或参考资料： Arthur Cayley, “Note on the Theory of Permutations,” 1849；现代 token-swapping 论文均采用此配置图观点。
来源： Cayley 原文 DOI；ESA 2016 论文页
核验情况： 已核验。

定理 2：任意换位长度公式

相关性等级： A
陈述： 对 $\sigma\in S_n$，若允许所有换位，则把 $\sigma$ 化为恒等置换所需最少换位数是 $n-c(\sigma)$，其中固定点也计作循环。
出处或参考资料： 对称群换位分解的标准结论；它也是 $\Gamma(K_n)$ 的距离公式。
来源： Dénes 1959 论文的 EuDML 记录
核验情况： 已核验。Dénes 的论文进一步研究最短换位分解；这里仅采用其基础长度框架，不作优先权断言。

定理 3：相邻换位的 Coxeter 长度公式

相关性等级： A
陈述： 对 $S_n$ 的简单换位 $s_i=(i\ i+1)$，置换 $\sigma$ 的最短表达式长度为
\[\ell(\sigma)=\#\{(i,j):1\le i<j\le n,\ \sigma(i)>\sigma(j)\}=\operatorname{inv}(\sigma). \]
因而它正是 $\Gamma(P_n)$ 中 $\sigma$ 到恒等置换的距离。
出处或参考资料： Anders Björner、Francesco Brenti, Combinatorics of Coxeter Groups, 2005, §1.5（$S_n$ 的长度函数）。
来源： Springer 图书 DOI
核验情况： 已核验。

定理 4：距离和下界与树上的 $2$-近似

相关性等级： B
陈述： 对任意 token-swapping 实例，$L=\sum_i d_i$ 给出 $\operatorname{OPT}\ge L/2$。Miltzow 等人的 happy-swap-chain 算法在一般图上使用少于 $2L$ 次交换，故为 $4$-近似；在树上每个 happy swap 使 $L$ 降低 $2$，从而为 $2$-近似。
出处或参考资料： Miltzow et al., 2016, Lemma 2、Theorem 5。
来源： ESA 2016 正式论文
核验情况： 已查阅正文。

定理 5：星图上的精确交换数

相关性等级： B
陈述： 对 $n$ 顶点星图上的一个配置，设 $n_U$ 是未放置正确令牌的叶子数，$\ell$ 是置换分解中不含中心的非平凡循环数，则最优交换数为 $n_U+\ell$。
出处或参考资料： Akers--Krishnamurthy (1989) 等的经典星图结果；Biniaz et al. (2023) 以 Lemma 1 汇总并明确陈述。
来源： Biniaz et al. 论文页及正文；Akers--Krishnamurthy DOI
核验情况： 已查阅现代论文正文；原始归属按该文的并列引文表述，不作唯一优先权判断。

6. 论文中的相关结论

结论 1：一般图上的精确复杂度与近似界

相关性等级： A
结论： 对 $n$ 顶点、$m$ 边图上的 token swapping，配置图 BFS 可在 $O(n!m)=2^{O(n\log n)}$ 时间求最优序列（Theorem 1）。该问题即使限制为有界度图仍 NP 完全、APX 困难；除非 ETH 失败，不存在 $2^{o(n)}$ 时间算法（Theorem 11）。此外有一般图 $4$-近似、树上 $2$-近似（Theorem 5）。
论文： Tillmann Miltzow, Lothar Narins, Yoshio Okamoto, Günter Rote, Antonis Thomas, Takeaki Uno, “Approximation and Hardness of Token Swapping,” 2016。
发表信息： 24th Annual European Symposium on Algorithms (ESA 2016), LIPIcs 57, Article 66, pp. 66:1--66:15。
定位信息： Theorems 1, 5, 11。
标识符： arXiv:1602.05150；DOI:10.4230/LIPIcs.ESA.2016.66。
来源： Dagstuhl 正式页面与 PDF
核验情况： 已查阅正文。

结论 2：树上顺序与并行交换均为 NP 困难

相关性等级： B
结论： 即使底图限制为树，顺序 token swapping 与并行 token swapping 都是 NP 困难的。论文还刻画一类包含当时三个最佳 $2$-近似算法的算法框架，并证明该类算法不能取得小于 $2$ 的近似比。
论文： Oswin Aichholzer, Erik D. Demaine, Matias Korman, Anna Lubiw, Jayson Lynch, Zuzana Masárová, Mikhail Rudoy, Virginia Vassilevska Williams, Nicole Wein, “Hardness of Token Swapping on Trees,” 2022（预印本首次公开于 2021）。
发表信息： 30th Annual European Symposium on Algorithms (ESA 2022), LIPIcs 244, Article 3, pp. 3:1--3:15。
定位信息： 摘要与正文主定理。
标识符： arXiv:2103.06707；DOI:10.4230/LIPIcs.ESA.2022.3。
来源： Dagstuhl 正式页面与 PDF
核验情况： 已核验正式页面和正文摘要。

结论 3：Happy Leaf 反例与树类边界

相关性等级： B
结论： 存在 $10$ 顶点树及令牌配置，使每个最优交换序列都必须移动一个已经在目标处的叶令牌，从而否定 Vaughan 的 Happy Leaf Conjecture；少于 $10$ 个顶点的树经穷举均无反例。任何从不移动 happy leaf 的算法，其最坏近似比至少为 $4/3$（Theorem 2）。
论文： Ahmad Biniaz, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow, Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, Alexi Turcotte, “Token Swapping on Trees,” 2023（论文页注明 DMTCS vol. 24:2, 2022, #9；在线发布日期 2023-01-18）。
发表信息： Discrete Mathematics & Theoretical Computer Science, vol. 24:2, Discrete Algorithms, Article 9。
定位信息： §3；Theorem 2。
标识符： arXiv:1903.06981；DOI:10.46298/dmtcs.8383。
来源： DMTCS 论文页及完整 PDF
核验情况： 已查阅正文。

结论 4：带权有色交换与扫帚图精确算法

相关性等级： B
结论： weighted colored token swapping 在蜘蛛图（星的边细分所得树）上 NP 完全（Theorem 5），但在路径和星图上可多项式时间精确求解（§6，尤其 Theorem 13）；普通 token swapping 在扫帚图上有精确多项式算法（Theorem 18）。
论文： Biniaz et al., “Token Swapping on Trees,” 2023。
发表信息： Discrete Mathematics & Theoretical Computer Science, vol. 24:2, Article 9。
定位信息： Theorems 5, 13, 18。
标识符： arXiv:1903.06981；DOI:10.46298/dmtcs.8383。
来源： DMTCS 论文页及完整 PDF
核验情况： 已查阅正文。

7. 相关研究问题

问题 1：树上 token swapping 的复杂度

相关性等级： B
问题陈述： 给定一棵树及两个标号配置，求最短交换序列是否可在多项式时间完成？
提出者与时间： 至少在 Akers--Krishnamurthy (1989) 的 transposition-tree 模型后长期存在；Yamanaka et al. (2015) 明确将一般图复杂度问题带入现代 token-swapping 文献。这里不主张唯一提出者。
当前状态： 已解决。
状态说明： Aichholzer 等证明顺序和并行版本在树上仍 NP 困难；结合显然的 NP 成员性，顺序判定版为 NP 完全。
状态核验日期： 2026-09-05。
出处： Aichholzer et al., ESA 2022。
来源： 正式论文页
核验情况： 已核验。

问题 2：Happy Leaf Conjecture

相关性等级： B
问题陈述： 对树上任意 token-swapping 实例，是否总存在一个最优交换序列，从不移动已经位于正确目标的叶令牌？
提出者与时间： Theresa P. Vaughan，1991，Bounds for the rank of a permutation on a tree。
当前状态： 已解决（猜想为假）。
状态说明： Biniaz 等给出 $10$ 顶点反例，并报告经计算检查，小于 $10$ 顶点无反例。
状态核验日期： 2026-09-05。
出处： Vaughan (1991), Conjecture 1 的特例；Biniaz et al. (2023), §3。
来源： 反例论文及参考文献
核验情况： 已查阅解决论文正文；Vaughan 原文未直接获取，原始命题编号由解决论文核对。

问题 3：哪些树对所有配置都满足 happy-leaf 性质？

相关性等级： B
问题陈述： 刻画所有满足下述性质的树 $T$：对 $T$ 上每一个令牌配置，都存在一个不移动任何 happy leaf 的最优交换序列。
提出者与时间： Biniaz et al.，正文 §8，Open Question 3，2023。
当前状态： 开放。
状态说明： 原文指出该类至少不应包含其 Figure 2 的 $10$ 顶点反例树作为子树；本次检索未发现后续完整刻画。
状态核验日期： 2026-09-05。
出处： Biniaz et al., “Token Swapping on Trees,” §8, Question 3。
来源： DMTCS 正式论文
核验情况： 问题原文已核验；“仍开放”以截至核验日未检得解决文献为限。

问题 4：树上的近似比能否优于 $2$？

相关性等级： B
问题陈述： 是否存在多项式时间算法，对树上的 token swapping 达到严格小于 $2$ 的近似比？
提出者与时间： Biniaz et al.，§8，Open Question 5，2023。
当前状态： 开放。
状态说明： Aichholzer 等只对包含三个已知算法的广泛算法类证明了不能优于 $2$，并非对所有多项式算法的 $2$-不可近似性。
状态核验日期： 2026-09-05。
出处： Biniaz et al., §8, Question 5；Aichholzer et al., ESA 2022。
来源： 问题原文；相关下界
核验情况： 已核验问题与已知限制；当前状态未发现更新。

问题 5：一般图上的 $4$-近似是否紧？

相关性等级： B
问题陈述： 一般图 token swapping 的多项式时间 $4$-近似因子是否为最佳可能，或能否构造严格更好的近似算法？
提出者与时间： Biniaz et al.，§8，Open Question 7，2023；问题建立在 Miltzow et al. (2016) 的 $4$-近似与 APX 困难性之间。
当前状态： 开放。
状态说明： 已知 APX 困难仅排除 PTAS（在标准复杂度假设下），并不能说明常数 $4$ 紧。
状态核验日期： 2026-09-05。
出处： Biniaz et al., §8, Question 7；Miltzow et al., Theorems 5 and 11。
来源： 问题原文；ESA 2016 基础结果
核验情况： 已核验问题原文；当前状态以本次检索未发现解决论文为限。

8. 来源汇总

官方竞赛来源

Romanian Master of Mathematics 官方站：RMM 2013 Problems；Day 2 English PDF。
中国数学会：Chinese Girls' Mathematical Olympiad 项目介绍（仅用于核验赛事背景，不能核验 2026 P4）。

论文及专著

Miltzow et al., “Approximation and Hardness of Token Swapping”, ESA 2016。
Aichholzer et al., “Hardness of Token Swapping on Trees”, ESA 2022。
Biniaz et al., “Token Swapping on Trees”, DMTCS 24:2。
Yamanaka et al., “Swapping Labeled Tokens on Graphs”, Theoretical Computer Science 586 (2015), 81--94（用于现代问题框架与书目信息）。
Akers and Krishnamurthy, “A Group-Theoretic Model for Symmetric Interconnection Networks”, IEEE Transactions on Computers 38(4) (1989), 555--566。
Björner and Brenti, Combinatorics of Coxeter Groups, 2005。
Dénes, “The representation of a permutation as the product of a minimal number of transpositions...”, 1959。
Cayley, “Note on the Theory of Permutations”, 1849。

问题数据库

无。本次研究问题均直接取自论文正文的 Conclusions and Open Questions，并用后续正式论文核验已解决状态。

论坛或二手资料

无。检索中未采用 AoPS、MathOverflow、博客或论坛作为正式陈述的依据。

posted @ 2026-09-04 13:51 a3official 阅读(1) 评论(0) 收藏举报

刷新页面返回顶部

mipcb

组合笔记

图论拼图问题：完全图分割、线性代数与设计

1. 主题解析

2. 检索关键词

3. 基础定义与结论

4. 相关数学竞赛题

竞赛题 1：完全图的完全二部图划分（Graham–Pollak 型）

竞赛题 2：删去完美匹配后的团划分（苏联国家队夏令营线索）

竞赛题 3：线性空间等号分类（de Bruijn–Erdős 型）

5. 相关定理

定理 1：Graham–Pollak 定理

定理 2：de Bruijn–Erdős 有限线性空间定理

定理 3：Fisher 不等式

6. 论文中的相关结论

结论 1：Graham–Pollak 的秩下界

结论 2：de Bruijn–Erdős 等号结构与射影平面

结论 3：Alon–Saks–Seymour 猜想的反例

7. 相关研究问题

问题 1：阶 12 的有限射影平面是否存在？

问题 2：一般图的 biclique partition 数与色数、秩的最优关系

问题 3：Hadamard 矩阵猜想

8. 来源汇总

图上交换问题与置换

1. 主题解析

1.1 主要数学对象

1.2 核心条件与结论

1.3 可能使用的关键方法

1.4 可自然改变的参数或条件

1.5 与其他方向的联系

2. 检索关键词

中文

英文与标准术语

3. 基础定义与结论

3.1 配置图与连通性

3.2 三个基本距离公式

3.3 星图的精确公式

3.4 顺序与并行模型的区别

4. 相关数学竞赛题

竞赛题 1：偶数个令牌在正多边形上的两两交换

竞赛题 2：RMM P6 的一般 \(n\) 加强题

竞赛题 3：闭交换序列中的全位置覆盖

5. 相关定理

定理 1：换位生成图的连通性与奇偶二部性

定理 2：任意换位长度公式

定理 3：相邻换位的 Coxeter 长度公式

定理 4：距离和下界与树上的 \(2\)-近似

定理 5：星图上的精确交换数

6. 论文中的相关结论

结论 1：一般图上的精确复杂度与近似界

结论 2：树上顺序与并行交换均为 NP 困难

结论 3：Happy Leaf 反例与树类边界

结论 4：带权有色交换与扫帚图精确算法

7. 相关研究问题

问题 1：树上 token swapping 的复杂度

问题 2：Happy Leaf Conjecture

问题 3：哪些树对所有配置都满足 happy-leaf 性质？

问题 4：树上的近似比能否优于 \(2\)？

问题 5：一般图上的 \(4\)-近似是否紧？

8. 来源汇总

官方竞赛来源

论文及专著

问题数据库

论坛或二手资料