[论文解读] Reconstruction of permutations distorted by single transposition errors

Elena V. Konstantinova, V.I. Levenshtein+1 more|ArXiv.org|Feb 7, 2007

Interconnection Networks and Systems参考文献 4被引用 15

一句话总结

本文研究了通过单次对换错误扭曲的版本，利用Cayley图理论重构排列。证明了对于任意 $ n \geq 3 $，仅需4个在对换距离最多为1的互异排列，即可唯一重构未知排列；对于最多两次对换错误，需 $ \frac{3}{2}(n-2)(n+1) $ 个错误模式。结果基于对换、冒泡排序和星型Cayley图的结构分析得出，证实了正则图的紧致界。

ABSTRACT

The reconstruction problem for permutations on $n$ elements from their erroneous patterns which are distorted by transpositions is presented in this paper. It is shown that for any $n \geq 3$ an unknown permutation is uniquely reconstructible from 4 distinct permutations at transposition distance at most one from the unknown permutation. The {\it transposition distance} between two permutations is defined as the least number of transpositions needed to transform one into the other. The proposed approach is based on the investigation of structural properties of a corresponding Cayley graph. In the case of at most two transposition errors it is shown that $\frac32(n-2)(n+1)$ erroneous patterns are required in order to reconstruct an unknown permutation. Similar results are obtained for two particular cases when permutations are distorted by given transpositions. These results confirm some bounds for regular graphs which are also presented in this paper.

研究动机与目标

• 解决从因单次对换错误而受损的版本中重构未知排列的问题。
• 确定在对称群 $\mathrm{Sym}_n$ 中，于不同对换模型下唯一重构排列所需的最少错误模式数量。
• 分析Cayley图的度量结构——特别是对换图、冒泡排序图和星型图——重点关注度量球交集的大小。
• 建立 $ N(\Gamma, r) $ 的紧致界，即在正则但非等距正则图中，两个不同顶点的 $ r $-球中最大公共顶点数。
• 验证冒泡排序图和星型Cayley图是否在对换错误下达到正则图中 $ N(\Gamma, r) $ 的理论下界。

提出的方法

• 作者将排列建模为由对换集合生成的Cayley图中的顶点：完整对换、相邻对换（冒泡排序）和前缀对换（星型图）。
• 定义对换距离为将一个排列转换为另一个排列所需的最少对换次数，并以此定义顶点 $ x $ 周围半径为 $ r $ 的度量球 $ B_r(x) $。
• 关键量 $ N(\Gamma, r) = \max_{x \neq y} |B_r(x) \cap B_r(y)| $ 对 $ r = 1, 2 $ 进行计算，表示唯一重构原始排列所需的最少错误模式数量。
• 利用Cayley图的结构特性——如正则性、直径以及无小环——通过共轭类分析和轨道计数法计算度量球交集的大小。
• 使用关于共轭类中排列在给定距离内顶点数的引理，计算 $ N_r(\pi) $，即成对排列间公共 $ r $-邻居的数量。
• 推导出正则图中 $ N(\Gamma, r) $ 的理论界，并证明冒泡排序图和星型图达到这些界，从而确认其在对换错误重构中的最优性。

实验结果

研究问题

• RQ1 在 $ \mathrm{Sym}_n $ 中，唯一重构未知排列所需的对换距离最多为1的最少错误排列数量是多少？
• RQ2 当允许对换错误时，需要多少个距离最多为2的错误排列才能重构原始排列？
• RQ3 冒泡排序图和星型Cayley图是否达到正则图中 $ N(\Gamma, r) $ 的理论下界？
• RQ4 能否通过共轭类和轨道结构精确计算非等距正则Cayley图中度量球的交集大小？
• RQ5 对换Cayley图的哪些结构特性使得能以最少的错误模式实现唯一重构？

主要发现

• 对于任意 $ n \geq 3 $，仅需4个在对换距离最多为1的互异排列，即可唯一重构未知排列，即 $ N(\mathrm{Sym}_n(T), 1) = 3 $。
• 对于最多两次对换错误，需 $ \frac{3}{2}(n-2)(n+1) $ 个错误模式才能重构原始排列，如 $ N(\mathrm{Sym}_n(T), 2) = \frac{3}{2}(n-2)(n+1) $ 所示。
• 在冒泡排序Cayley图 $ \mathrm{Sym}_n(t) $ 中，$ N(\mathrm{Sym}_n(t), 1) = 2 $ 且 $ N(\mathrm{Sym}_n(t), 2) = 2(n-1) $，意味着距离 ≤1 的3个邻居或距离 ≤2 的 $ 2n-1 $ 个邻居足以实现唯一重构。
• 在星型Cayley图 $ \mathrm{Sym}_n(st) $ 中，当 $ n \geq 4 $ 时，$ N(\mathrm{Sym}_n(st), 1) = 2 $ 且 $ N(\mathrm{Sym}_n(st), 2) = 2(n-1) $，表明其重构效率与冒泡排序图相同。
• 结果表明，冒泡排序图和星型Cayley图达到了正则图中 $ N(\Gamma, r) $ 的理论下界，确认其在对换错误下的最优性。
• 结果证实，通过利用共轭类结构和轨道计数法，可对非等距正则Cayley图精确计算 $ N(\Gamma, r) $ 的值，扩展了以往仅针对等距正则图的研究结果。