[논문 리뷰] Continued fractions and Parallel SQUFOF

Stephen S. McMath, F. Crabbe외 1명|ArXiv.org|2006. 01. 11.

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의 핵심 이론적 구성 요소인 인프라스트럭처 거리 공식을 확립하여 이전에 문헌에서 확보되지 않은 엄밀한 증명을 제공하는 것.
• 프로세서 수가 증가함에 따라 프로세서당 효율성을 유지하는 새로운 병렬화 전략을 개발하고 평가하는 것.
• 대규모 병렬 환경에서 세그먼트 기반 병렬화와 승수 기반 방법의 확장성과 성능을 비교하는 것.

제안 방법

• N의 정규화된 제곱근에 대한 두쪽짜리 연분수를 사용하여 판별식 N을 가진 정수 이차형식의 사이클을 생성한다.
• 실 이차체에서 감소형 및 적절히 동치인 형식의 이론을 적용하여 연분수 사이클의 구조를 분석한다.
• 클래스 군에서 항등원으로부터의 거리에 기반하여, 어떤 형식이 N의 인수분해에 해당하는지 인프라스트럭처 거리 공식을 사용해 탐지한다.
• 연분수 사이클을 겹치지 않는 세그먼트로 나누어 각 세그먼트를 별도의 프로세서가 독립적으로 처리하는 세그먼트 기반 병렬화 전략을 구현한다.
• C에서 MPI를 사용하여 64개 프로세서를 가진 SGI Origin 2800 시스템에서 세그먼트 기반 방법을 구현하고 벤치마크를 측정한다.
• N을 작은 제곱무리수 정수로 승수하여 다수의 인수분해 인스턴스를 생성하는 승수 기반 방법과 성능을 비교한다.

실험 결과

연구 질문

• RQ1 SQUFOF의 맥락에서 정규화된 제곱근의 두쪽짜리 연분수 전개가 가지는 이론적 성질—주기성과 대칭성—은 무엇인가?
• RQ2 인프라스트럭처 거리 공식은 어떻게 엄밀히 유도되고, 이는 연분수 사이클 내에서 인수분해를 탐지하는 데 어떻게 적용되는가?
• RQ3 SQUFOF에 대한 세그먼트 기반 병렬화 전략은 프로세서 수가 증가함에 따라 높은 프로세서당 효율성을 유지할 수 있는가?
• RQ4 확장성과 실행 시간 단축 측면에서 세그먼트 기반 병렬화의 성능은 승수 기반 병렬화와 어떻게 비교되는가?
• RQ5 프로세서 수가 증가함에 따라 세그먼트 기반 병렬화가 승수 기반 방법의 효율성을 앞서기 시작하는 시점은 언제인가?

주요 결과

• 정규화된 제곱근의 두쪽짜리 연분수는 주기성을 보이며, 대칭점이 N의 비자명한 인수를 직접 드러낸다.
• 인프라스트럭처 거리 공식은 엄밀히 증명되어 SQUFOF 사이클 중 인수분해를 탐지하는 데 이론적 기초를 제공한다.
• 세그먼트 기반 병렬화는 프로세서 수가 증가함에 따라 높은 프로세서당 효율성을 유지하며, 로드 불균형의 병목 현상을 피한다.
• 실험 결과 세그먼트 기반 병렬화는 20에서 50개 프로세서 사이에서 실행 시간을 절반 이하로 줄였으며, 승수 기반 방법은 대규모에서 수익 감소 현상을 보였다.
• 선형 및 이차 회귀 모델은 세그먼트 기반 병렬화가 약 47에서 80개 프로세서에서 승수 기반 방법보다 빠른 것으로 예측한다.
• 대규모 병렬 인수분해에 있어 세그먼트 기반 방법은 승수 방법보다 더 효율적일 것으로 예측된다.