[论文解读] The Rosenberg-Strong Pairing Function

Matthew P. Szudzik|arXiv (Cornell University)|Jun 1, 2017

Computability, Logic, AI Algorithms参考文献 30被引用 6

一句话总结

本文提出Rosenberg-Strong配对函数作为在多维整数格点枚举应用中优于Cantor配对函数的替代方案。它引入了一种基于嵌套递归结构和最大值分解的新型d重函数，证明了其双射性，并提供了高效计算高维情况下的显式逆公式，特别适用于枚举满二叉树。

ABSTRACT

This article surveys the known results (and not very well-known results) associated with Cantor's pairing function and the Rosenberg-Strong pairing function, including their inverses, their generalizations to higher dimensions, and a discussion of a few of the advantages of the Rosenberg-Strong pairing function over Cantor's pairing function in practical applications. In particular, an application to the problem of enumerating full binary trees is discussed.

研究动机与目标

• 分析并比较Cantor配对函数与Rosenberg-Strong配对函数在计算效率和结构特性方面的表现。
• 为非负整数开发一种新的d重函数，将Rosenberg-Strong配对函数推广至更高维度。
• 通过递归分解和最大值索引法，证明所提出d重函数的双射性和可逆性。
• 通过在枚举满二叉树中的应用，展示其实际用途。
• 通过引入一种非二次、非基于Cantor的替代方案，解决关于多项式配对函数的开放问题，该方案具有最优性质。

提出的方法

• Rosenberg-Strong配对函数通过坐标中最大值的递归定义，结合涉及最大值幂次的基多项式结构。
• 对于d元组(x₁,…,x_d)，函数r_d(x₁,…,x_d)通过将r_{d-1}(x₁,…,x_{d-1})与基于m = max(x₁,…,x_d)、m^d以及涉及(m+1)^{d-1} - m^{d-1}的校正项相加，计算出唯一的非负整数。
• 逆函数r_d^{-1}(z)通过首先确定m = floor(z^{1/d})，然后通过余项的整数除法求解x_d，再递归应用逆函数于剩余分量来计算。
• 该方法依赖于若干引理，用于界定中间值并确保校正项能唯一确定最后一个坐标。
• 双射性证明采用对d的归纳法，表明逆函数能正确恢复所有输入元组。
• 该方法可自然推广至任意d，Cantor方法下为(2^{d-1})次多项式，而Rosenberg-Strong方法则提供更结构化、次数更低的替代方案。

实验结果

研究问题

• RQ1 在高维情况下，Rosenberg-Strong配对函数与Cantor配对函数在计算效率和结构简洁性方面有何比较？
• RQ2 能否构造一种非二次、非基于Cantor的多项式配对函数，同时保持双射性和高效可逆性？
• RQ3 最大坐标在构建避免Cantor嵌套复合导致指数增长的d重函数中起到什么作用？
• RQ4 如何仅使用基本算术和向下取整运算，高效计算Rosenberg-Strong函数的逆？
• RQ5 该函数对枚举组合结构（如满二叉树）有何影响？

主要发现

• Rosenberg-Strong配对函数r_d是从ℕ^d到ℕ的双射d重函数，通过归纳法和有界性引理得到证明。
• 逆函数r_d^{-1}(z)通过m = floor(z^{1/d})和涉及max(0, z - m^d - m^{d-1}) / ((m+1)^{d-1} - m^{d-1})的整数除法公式显式构造。
• 当d=2时，该函数退化为一种已知形式，与Cantor配对函数不同，且避免了c(x,y)和c̄(x,y)的二次对称性。
• 与基于壳层（由max(x₁,…,x_d)定义）的Cantor枚举相比，该函数在各壳层内实现了更均匀的值分布。
• 该方法通过逆函数将树结构映射为唯一整数，实现了满二叉树的高效枚举。
• 该构造解决了长期存在的开放问题，提供了一种非二次、非基于Cantor的多项式配对函数，兼具双射性和高效可逆性。