[논문 리뷰] Efficient Computation of Terms of Linear Recurrence Sequences of Any Order

Dmitry I. Khomovsky|arXiv (Cornell University)|2016. 10. 20.

Advanced Mathematical Theories and Applications참고 문헌 5인용 수 3

한 줄 요약

이 논문은 임의의 차수의 선형 재귀 수열의 항을 계산하는 데 있어 효율적인 알고리즘을 제시하며, 모듈로 다항식 제곱 기법을 사용하여 계산 복잡도를 크게 감소시킨다. 인덱스를 두 배로 늘리는 공식을 유도하고 행렬 표현을 활용함으로써, O(n² log N)회의 곱셈을 달성하여 고차수 재귀에 대해 기존의 Fiduccia 알고리즘보다 실용적 효율성이 뛰어나다.

ABSTRACT

In this paper we give efficient algorithms for computing second-, third-, and fourth-order linear recurrences. We also present an algorithm scheme for computing terms with the indices $N,\ldots,N+n-1$ of an $n$th-order linear recurrence. Unlike Fiduccia's algorithm our approach uses certain formulas for modular polynomial squarings.

연구 동기 및 목표

• n차수 선형 재귀 수열의 N번째 항을 계산하는 빠른 알고리즘을 개발하는 것.
• 모듈로 다항식 제곱 연산을 최적화하여 Fiduccia 알고리즘을 향상시키는 것.
• 두 번째, 세 번째, 네 번째 차수 재귀에 적용 가능한 통합 프레임워크를 제공하고 임의의 차수로 일반화하는 것.
• 특히 큰 N에 대해 필요한 곱셈 횟수를 최소화하기 위해 재귀의 구조와 행렬 항등식을 활용하는 것.

제안 방법

• 재귀 전이의 행렬 표현을 사용하며, 특히 인덱스 2k와 2k+1에 대한 두 배 증가 공식에 중점을 둔다.
• 특성 다항식의 계수를 사용하여 X_{2k+i}와 X_{2k+1+i}에 대한 X_{k+j}에 대한 명시적 재귀 관계를 유도한다.
• 완전한 행렬 거듭제곱을 피하는 유도된 공식에 기반한 재귀적 두 배 증가 전략을 사용한다.
• 중간 상태 벡터의 반복적 제곱을 통해 i=0에서 n-1까지의 X_{N+i} 항을 계산함으로써 곱셈 횟수를 감소시킨다.
• 모듈로 다항식 제곱 기법을 사용하며, 효율성을 위해 하드코딩된 방식을 적용하여 전체 행렬 역행렬 계산 없이 필요한 항을 계산한다.
• 증명 목적으로 Mathematica로 구현된 구현체를 제공하며, 초기 값과 재귀 계수를 입력받는 AnyOrderRecurrence 함수를 제공한다.

실험 결과

연구 질문

• RQ1 고차수 선형 재귀 수열 항의 계산을 어떻게 최적화하여 곱셈 복잡도를 줄일 수 있는가?
• RQ2 임의의 차수 선형 재귀에 대해 체계적으로 닫힌 형식의 두 배 증가 공식을 도출할 수 있는가?
• RQ3 n차수 선형 재귀의 N번째 항을 계산하기 위해 필요한 최소 곱셈 횟수는 얼마인가?
• RQ4 큰 N과 고차수에 대해 제안된 방법이 Fiduccia 알고리즘보다 효율성이 높은가?

주요 결과

• 알고리즘은 O(n² log N)회의 곱셈을 사용하여 n차수 선형 재귀 수열의 N번째 항을 계산하며, μ(n)이 클 경우 Fiduccia의 O(μ(n) log N)보다 더 효율적이다.
• 짝수 n에 대해, 각 단계당 정확히 n(n+1)/2 log₂N회의 곱셈이 필요하며, 홀수 n에 대해서도 유사한 유도를 통해 동일한 상한이 유지된다.
• 이 방법은 임의의 차수 n로 일반화되며, 다항식 항등식을 사용하여 X_{2k}와 X_{2k+1}에 대한 X_{k+i}에 대한 명시적 공식이 제공된다.
• 최소한의 오버헤드로 W_N, W_{N+1}, ..., W_{N+n-1}과 같은 다중 항을 동시에 계산할 수 있다.
• Mathematica로 구현된 결과는 알고리즘의 정확성과 효율성을 확인하며, 특히 큰 N과 중간 정도의 n에 대해 뛰어난 성능을 보인다.