더 빠른 결정적 정수 인수분해

초록

본 논문은 기존 Bostan‑Gaudry‑Schost가 제시한 결정적 정수 인수분해 알고리즘의 복잡도를 O(M_int(N^{1/4}\log N))에서 (log log N)^{1/2} 만큼 개선한다. 핵심은 곱셈 비용 M_int(k)를 활용한 새로운 다항식 평가·보간 기법과 모듈러 합성 최적화를 통해 전체 연산량을 감소시키는 것이다.

상세 분석

이 연구는 결정적 정수 인수분해 분야에서 가장 오래된 복합도 한계인 O(M_int(N^{1/4}\log N))를 (log log N)^{1/2} 배 가량 개선한다는 점에서 의미가 크다. 기존 Bostan‑Gaudry‑Schost(BGS) 알고리즘은 Pollard‑Strassen 방식에 다항식 곱셈과 FFT 기반 빠른 곱셈을 결합해 N^{1/4} 차수의 다항식들을 다루었다. 핵심 병목은 다항식의 다중 평가와 보간 단계에서 발생하는 O(M_int(N^{1/4}\log N)) 복잡도였으며, 특히 모듈러 합성(Polynomial modular composition) 과정이 로그 팩터를 추가했다.

저자들은 두 가지 주요 기술적 혁신을 도입한다. 첫째, “다중 점 평가·보간 트리”를 재구성해 각 레벨에서 필요한 곱셈 크기를 N^{1/4}/2^{i} 로 점진적으로 감소시키면서, 레벨별 비용을 균등하게 분배한다. 이를 위해 기존의 product‑tree 구조를 개선하고, 각 노드에서 사용되는 다항식의 차수를 조정해 전체 트리 깊이를 O(log log N) 로 압축한다. 둘째, 최신 모듈러 합성 알고리즘인 Kedlaya‑Umans 기법을 변형해, 입력 차수 d와 모듈러 다항식 차수 m에 대해 O(M_int(d)·log m) 대신 O(M_int(d)·(log m)^{1/2}) 복잡도를 달성한다. 이 과정에서 “크기 균형화( size‑balancing )”와 “중간 결과 재사용” 전략을 적용해 중복 연산을 최소화한다.

결과적으로 전체 알고리즘의 복잡도는
\