다중점 크로넥커 대체법을 이용한 빠른 다항식 곱셈

초록

본 논문은 기존 크로넥커 대체법을 확장하여 다중점 평가를 결합한 새로운 알고리즘들을 제안한다. 중간 규모의 조밀 다항식에 대해 이 방법은 상수 계수에서 현저한 속도 향상을 보이며, 이론적 복잡도 분석과 실험 결과 모두에서 표준 크로넥커 대체법을 능가한다.

상세 분석

크로넥커 대체법(Kronecker substitution)은 다항식 곱셈을 정수 곱셈으로 변환함으로써 고속 정수 곱셈 알고리즘을 활용하는 전통적인 기법이다. 그러나 이 방법은 변환 과정에서 사용되는 베이스(보통 2^b)의 선택에 따라 메모리 사용량과 연산량이 급격히 증가하는 단점이 있다. 논문은 이러한 한계를 극복하기 위해 “다중점”(multipoint) 평가 전략을 도입한다. 구체적으로, 입력 다항식 f(x)와 g(x)를 동일한 차수 d의 다항식으로 가정하고, 이를 여러 서로 다른 평가점 ξ₁, ξ₂, …, ξ_k 에서 평가한다. 각 평가점에서 얻은 값들은 정수 형태로 인코딩되어 기존 크로넥커 변환에 투입되며, 정수 곱셈 후 역변환 단계에서 라그랑주 보간을 이용해 원래의 계수를 복원한다.

핵심 아이디어는 “평가점의 선택”과 “인코딩 비트 폭”을 최적화함으로써 전체 연산량을 감소시키는 것이다. 논문은 평가점으로 2의 거듭제곱 형태를 사용하면서도 서로 다른 비트 폭을 할당해, 한 번의 정수 곱셈에 여러 평가점의 결과를 동시에 포함시킬 수 있음을 보인다. 이를 “멀티플렉스 크로넥커”(multiplexed Kronecker)라고 명명하고, 기존 단일점 변환 대비 평균적으로 1.3~1.7배의 상수 팩터 개선을 달성한다.

복잡도 분석에서는 입력 차수 n에 대해 전통적인 O(n log n) FFT 기반 방법과 비교했을 때, n이 2^102^15 사이인 중간 규모 구간에서 새 알고리즘이 O(n log n) 상수 계수를 크게 낮춘다. 특히, 정수 곱셈에 사용되는 Schönhage–Strassen 알고리즘이나 최근의 Fürer‑type 알고리즘과 결합했을 때, 전체 실행 시간은 기존 크로넥커 대비 2035% 정도 단축된다.

실험 부분에서는 GNU MP (GMP) 라이브러리와 자체 구현한 멀티포인트 크로넥커를 사용해 다양한 차수와 계수 크기의 다항식을 테스트하였다. 결과는 메모리 사용량이 크게 증가하지 않으면서도, CPU 캐시 효율이 향상되어 실제 실행 시간에서 기대 이상의 성능 향상을 보여준다. 또한, 다항식 계수가 32비트 정수인 경우와 64비트 정수인 경우 모두에서 일관된 이득을 확인하였다.

이 논문은 기존 크로넥커 대체법이 “단일 평가점”에 의존하는 구조적 한계를 지적하고, 다중점 평가와 라그랑주 보간을 결합함으로써 그 한계를 뛰어넘는 새로운 설계 패러다임을 제시한다. 향후 연구에서는 평가점의 비선형 배치를 탐색하거나, GPU와 같은 병렬 하드웨어에 최적화된 구현을 통해 추가적인 속도 향상을 기대할 수 있다.