[论文解读] Efficient enumeration of graceful permutations

Michał Adamaszek|ArXiv.org|Aug 21, 2006

Graph Labeling and Dimension Problems参考文献 3被引用 8

一句话总结

本论文通过一种基于对称性和互补性的等价类优化的递归搜索树算法，结合计算机辅助方法，将优雅 $n$-排列数的渐近下界从 $ Omega((5/3)^n)$ 提升至 $ Omega(2.37^n)$。关键贡献在于一种改进的枚举方法，显著降低了内存使用量，并实现了大规模计数，从而得出了更优的指数下界。

ABSTRACT

A graceful n-permutation is a graceful labeling of an n-vertex path P_n. In this paper we improve the asymptotic lower bound on the number of such permutations from (5/3)^n to 2.37^n. This is a computer-assisted proof based on an effective algorithm that enumerates graceful n-permutations. Our algorithm is also presented in detail.

研究动机与目标

• 改进优雅 $n$-排列数的渐近下界，即对 $ {0, \dots, n-1}$ 的排列，其相邻元素的绝对差值构成 $ {1, \dots, n-1}$。
• 通过利用搜索空间中的结构对称性与互补性，开发一种高效枚举优雅 $n$-排列的算法。
• 计算具有特定端点的优雅排列的大规模计数，以获得更紧致的指数下界。
• 建立 $G(n) = \Omega(2.37^n)$，显著优于先前的 $ Omega((5/3)^n)$ 下界。

提出的方法

• 使用深度优先递归搜索，按边标签从 $n-1$ 到 $1$ 的降序添加边，逐步构建部分排列。
• 搜索树中的每个节点由两个数组表示：`free[u]`（顶点 $u$ 的可用槽位数）和 `forb[u]`（若存在路径中与 $u$ 配对的端点）。
• 基于相同的 `free` 和 `forb` 结构，或其补集（重标号 $u \to n-1-u$），定义部分排列的等价类，以减少冗余计算。
• 使用哈希表对等价节点进行分组并跟踪其多重性，确保每个类仅扩展一个代表节点。
• 该算法被调整以计算 $G(2m; j, j+m)$，即端点为 $j$ 和 $j+m$ 的优雅排列数量，以估计最优增长速率。
• 通过选择 $j = \lfloor m/2 \rfloor$ 来最大化增长率 $\gamma_{m,j} = G(2m; j, j+m)^{1/(2m)}$，并基于 $\gamma_{32,16} > 2.37$ 推导出下界。

实验结果

研究问题

• RQ1 优雅 $n$-排列数的最佳可能渐近下界是什么？
• RQ2 能否通过利用对称性和互补性，设计一种计算机辅助算法，高效枚举优雅排列？
• RQ3 对于 $G(2m; j, j+m)^{1/(2m)}$，可实现的最大增长率 $\gamma_{m,j}$ 是多少？
• RQ4 如何利用部分排列的等价类来压缩优雅排列的搜索空间？
• RQ5 是否能够显著改进先前的 $ Omega((5/3)^n)$ 下界？

主要发现

• 优雅 $n$-排列数满足 $G(n) = \Omega(2.37^n)$，优于先前的 $ Omega((5/3)^n)$ 下界。
• 计算得出 $G(64; 16, 48) = 1,172,380,428,523,169,632,220,649$，由此得到 $\gamma_{32,16} > 2.37$。
• 该算法将每层的等价类数量控制在不足 $3 \times 10^5$ 个，尽管对于 $n=40$，完整搜索树在第 1 层的节点数约为 $0.2 \times 10^{18}$。
• 增长率 $\gamma_{m,\lfloor m/2 \rfloor}$ 随 $m$ 增大而增加，表明更大的 $m$ 可能产生更优的下界。
• 该方法证实 $G(n; 16) = \Omega(2.37^n)$，其中 $G(n; a)$ 表示左端点为 $a$ 的优雅排列数。
• 对 $n \leq 40$ 的 $G(n+1)/G(n)$ 的计算结果介于 3 到 4.5 之间，表明 $2.37^n$ 的下界仍具有保守性。