[论文解读] Continued fractions and Parallel SQUFOF

Stephen S. McMath, F. Crabbe+1 more|ArXiv.org|Jan 11, 2006

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

一句话总结

本文利用连分数与二次型，为SQUFOF整数分解算法建立了理论基础，证明了周期性与对称性等关键性质，揭示了因数分解过程。提出了一种基于段的并行化方法，确保在处理器数量增加时每台处理器的效率保持稳定，相较于乘数法，在高并行度下表现更优。

ABSTRACT

In this partly expository paper, we discuss three results. (1) That the two-sided continued fraction of the normalized square root (an important part of the SQUFOF algorithm) has several very attractive properties - periodicity, a symmetry point corresponding to a factorization of $N$, and so on. (2) The infrastructure distance formula. (3) A method for parallelization of SQUFOF that maintains its efficiency per procesor as the number of processors increases, and thus is predicted to be useful for very large numbers of processors. The first two are known (in one form or another), the third may be new (at least the implementation in C using MPI is new).

研究动机与目标

• 完整呈现丹尼尔·尚克斯原始的SQUFOF算法，因其此前未以完整形式发表。
• 证明归一化平方根的双边连分数展开具有周期性与对称性，且对称点对应于N的因数分解。
• 建立基础设施距离公式，作为SQUFOF的关键理论组件，提供文献中此前缺失的严格证明。
• 开发并评估一种新颖的SQUFOF并行化策略，确保在处理器数量增加时每台处理器的效率保持稳定。
• 在大规模并行环境中，比较基于段的并行化与乘数法在可扩展性与性能方面的表现。

提出的方法

• 利用N的归一化平方根的双边连分数，生成判别式为N的整数二元二次型循环。
• 应用实二次域中约化形式与恰当等价形式的理论，分析连分数循环的结构。
• 利用基础设施距离公式，基于类群中元素到单位元的距离，检测何时某个形式对应于N的因数分解。
• 实施基于段的并行化策略，将连分数循环划分为互不重叠的段，每段由独立的处理器处理。
• 使用C语言中的MPI实现并基准测试基于段的方法，在64处理器的SGI Origin 2800系统上进行。
• 与乘数法进行对比，即通过将N乘以小的无平方因子整数，创建多个因数分解实例。

实验结果

研究问题

• RQ1 在SQUFOF背景下，N的归一化平方根的双边连分数展开具有哪些理论性质，如周期性与对称性？
• RQ2 基础设施距离公式如何被严格推导并应用于检测二次型循环中的因数分解？
• RQ3 SQUFOF的基于段的并行化策略是否能在处理器数量增加时保持高每处理器效率？
• RQ4 在可扩展性与运行时间减少方面，基于段的并行化与乘数法相比表现如何？
• RQ5 随着处理器数量增加，基于段的并行化在效率上何时会超越乘数法？

主要发现

• N的归一化平方根的双边连分数被证明具有周期性，其对称点可直接揭示N的一个非平凡因数。
• 基础设施距离公式得到严格证明，为SQUFOF循环中检测因数分解提供了理论依据。
• 基于段的并行化在处理器数量增加时仍保持高每处理器效率，避免了负载不均的瓶颈。
• 实验结果表明，基于段的并行化在处理器数从20增至50时，运行时间缩短一半，而乘数法在大规模下收益递减。
• 线性与二次回归模型预测，基于段的并行化在约47至80个处理器时将超越乘数法，成为更快的方法。
• 预测在大规模并行环境下，基于段的方法在大整数因数分解中将比乘数法更高效。