[论文解读] s-Overlap Cycles for Permutations

Victoria Horan, Glenn Hurlbert|arXiv (Cornell University)|Jan 7, 2013

Coding theory and cryptography参考文献 3被引用 6

一句话总结

本文证明了当 k < n 且任意 s ≥ 1 时，[n] 的 k-排列存在 s-重叠环（s-ocycles），解决了 2004 年班夫研讨会中的问题 481。通过构建一个顶点为 s-前缀、边为 k-排列的转移图，证明该图是欧拉图（平衡且连通），从而通过欧拉回路保证 s-ocycle 的存在。

ABSTRACT

The goal of this paper is to solve Problem 481 from the list of research problems in the special issue of Discrete Mathematics dedicated to the Banff International Research Station workshop on "Generalizations of de Bruijn Cycles and Gray Codes" in 2004. Overlap cycles are generalizations of de Bruijn cycles and Gray codes that were introduced originally in 2010 by Godbole et al. In this paper we prove that s-overlap cycles for k-permutations of [n] exist for all k

研究动机与目标

• 为解决 2004 年班福研讨会中关于 de Bruijn 环和格雷码推广的开放问题 481，该问题询问当 k < n 时，重叠图 P(k,n,s) 是否为哈密顿图。
• 在 k < n 的条件下，建立 [n] 的 k-排列的 s-重叠环（s-ocycles）存在的证明。
• 通过引入 s-ocycles 作为更广泛框架，推广排列的通用环（ucycles），以支持具有部分重叠约束的组合对象排序。
• 证明 k-排列的 s-ocycle 转移图是欧拉图，从而保证此类环的存在。
• 将先前针对多重集和排列在特定 gcd 和大小约束下的 s-ocycle 结果，推广至 k < n 的完整范围。

提出的方法

• 构建一个有向转移图，其中顶点表示 [n] 的 k-排列的 s-前缀，边表示完整的 k-排列。
• 证明图是平衡的，因为每个 s-前缀也是某个 k-排列的 s-后缀，从而确保每个顶点的入度等于出度。
• 通过展示从任意 s-前缀出发，可通过迭代旋转和边遍历，存在一条路径通往字典序最小的 s-前缀（12...s），从而证明图的连通性。
• 使用基于旋转的变换来操作 k-排列，并逐步调整前缀以匹配最小顶点。
• 根据前缀中不同符号是否出现在后缀中，分两种情况处理：若不在后缀中，则用缺失符号替换；若在后缀中，则旋转并重新配置以减少与最小值的距离。
• 应用欧拉定理：连通且平衡的有向图存在欧拉回路，该回路对应于一个 s-ocycle。

实验结果

研究问题

• RQ1 当 k < n 且 s ≥ 1 时，[n] 的 k-排列是否存在 s-重叠环？
• RQ2 当所有 k < n 时，重叠图 P(k,n,s) 是否为哈密顿图？
• RQ3 即使 s 与 n 不互质或 s ≥ n/2，是否仍可为 k-排列构造 s-ocycle？
• RQ4 能否证明 k-排列的 s-ocycle 转移图是欧拉图？
• RQ5 如何为任意 k < n 建立 s-ocycle 转移图的连通性？

主要发现

• 当 k < n 且任意 s ≥ 1 时，[n] 的 k-排列存在 s-重叠环，解决了 2004 年提出的开放问题。
• k-排列的 s-ocycle 转移图是平衡的，因为每个 s-前缀也是某个 k-排列的 s-后缀。
• 该转移图是连通的：从任意 s-前缀出发，可通过旋转和边遍历，存在一条路径通往字典序最小的 s-前缀（12...s）。
• 转移图中欧拉回路的存在性意味着 s-ocycle 的存在，即所有 k-排列以 s-重叠过渡方式构成的循环排列。
• 该结果推广了先前在限制条件（如 gcd(s,n)=1 或 s < n/2）下对多重集和排列的 s-ocycle 研究成果。
• 推论 7 确认了当所有 k < n 时，重叠图 P(k,n,s) 是哈密顿图，从而肯定回答了问题 481。