[论文解读] Efficient Algorithms for Zeckendorf Arithmetic

Connor Ahlbach, Jeremy Usatine+1 more|arXiv (Cornell University)|Jul 18, 2012

Numerical Methods and Algorithms参考文献 14被引用 5

一句话总结

本文提出了一种线性时间算法用于齐肯多夫算术，表明使用齐肯多夫形式（即非连续斐波那契数的唯一和）表示的整数的加法与减法，可通过大小为 O(n)、深度为 O(log n) 的组合逻辑网络实现。关键贡献是一种三遍扫描方法，利用滑动窗口消除无效数字（2 和连续的 1），从而实现高效的并行与串行计算，并达到最优的资源使用界限。

ABSTRACT

We study the problem of addition and subtraction using the Zeckendorf representation of integers. We show that both operations can be performed in linear time; in fact they can be performed by combinational logic networks with linear size and logarithmic depth. The implications of these results for multiplication, division and square-root extraction are also discussed.

研究动机与目标

• 开发针对以齐肯多夫形式表示的整数的算术运算（特别是加法与减法）的高效算法。
• 从门数（大小）与最长路径（深度）的角度，分析这些运算的计算复杂度，力求达到最优界限。
• 通过齐肯多夫表示与二进制表示之间的转换，将结果扩展至乘法、除法与开平方根运算。
• 证明这些运算可在组合逻辑网络中实现，资源使用接近最优，且在大小与深度方面匹配理论下界。

提出的方法

• 加法算法采用三遍扫描方法：首先从左到右扫描，利用四比特滑动窗口消除 2；接着从右到左扫描，解决连续的 1；最后进行清理扫描。
• 窗口规则将如 020x → 100x′ 和 030x → 110x′ 的配置转换，以传播进位并消除 2 和 3，同时保持数值不变。
• 对于减法，通过从左到右扫描确定较大绝对值的符号，然后对绝对值应用相同的加法算法处理带符号整数。
• 乘法、除法与开平方根运算通过将齐肯多夫表示转换为二进制，应用已知高效的二进制算法，再转换回齐肯多夫表示来实现。
• 从二进制到齐肯多夫表示的转换使用齐肯多夫加法器的树结构，每个加法器基于线性时间加法算法构建，实现大小为 O(n²)、深度为 O((log n)²)。
• 从齐肯多夫到二进制的转换使用进位保存加法器，实现大小为 O(n²)、深度为 O(log n)，成为整体运算复杂度的主要决定因素。

实验结果

研究问题

• RQ1 能否使用大小为 O(n)、深度为 O(log n) 的组合逻辑网络，在线性时间内完成齐肯多夫表示下的加法？
• RQ2 如何高效实现齐肯多夫表示下的减法，特别是对带符号整数？
• RQ3 当直接在齐肯多夫表示下进行乘法、除法与开平方根运算时，其计算复杂度是多少？
• RQ4 能否实现资源使用受限的二进制与齐肯多夫表示之间的高效转换，以支持高层算术运算？

主要发现

• 两个 n 位齐肯多夫表示的加法可在 O(n) 时间内完成，使用大小为 O(n)、深度为 O(log n) 的组合逻辑网络。
• 减法对带符号整数也适用相同的复杂度界限，符号通过扫描输入序列中第一个非零数字确定。
• 乘法、除法与开平方根运算可通过大小为 O(n²)、深度为 O((log n)²) 的组合逻辑网络实现，其核心为二进制与齐肯多夫表示之间的转换。
• 从二进制到齐肯多夫的转换步骤主导了资源使用，需要 O(n²) 大小与 O((log n)²) 深度；而从齐肯多夫到二进制的转换需要 O(n²) 大小与 O(log n) 深度。
• 所提出的算法在大小与深度方面达到了最优渐近界限，与依赖所有输入位的任何函数的理论下界一致。