[논문 리뷰] On the computation of the n^th decimal digit of various transcendental numbers

Simon Plouffe|ArXiv.org|2009. 12. 02.

Analytic Number Theory Research참고 문헌 7인용 수 7

한 줄 요약

이 논문은 π, ζ(3) 및 기타 초월수의 n^th 소수 자릿수를 이전 자릿수를 계산하지 않고 계산하는 데 새로운 알고리즘을 제시한다. 이는 Bailey-Borwein-Plouffe 공식과 새로운 분수 분할 기법을 활용하여 O(n³ log³n)의 시간 복잡도를 달성하며, 메모리 사용량이 최소화되어 실제 성능 향상보다는 이론적 통찰을 제공한다.

ABSTRACT

A method for computing the n'th decimal digit of pi in O(n^3 log(n)^3) time and with very little memory is presented here. The computation is based on the recently discovered Bailey-Borwein-Plouffe algorithm and the use of a new algorithm that simply splits an ordinary fraction into its components. The algorithm can be used to compute other numbers like zeta(3), pi*sqrt(3), pi^2 and 2/sqrt(5) ln(phi) where phi is the golden ratio. The computation can be achieved without having to compute the preceding digits. I claim that the algorithm has a more theoretical rather than practical interest, I have not found a faster algorithm or proved that it cannot exist.

연구 동기 및 목표

• 모든 이전 자릿수를 계산하지 않고도 특정 초월수의 n^th 소수 자릿수를 직접 계산하는 방법을 개발하는 것.
• Bailey-Borwein-Plouffe 알고리즘의 적용 범위를 π를 넘어서 ζ(3), π√3, π² 및 2/√5 ln(φ)와 같은 다른 상수로 확장하는 것.
• 고정밀 산술에서 분수 성분을 효율적으로 분해할 수 있도록 하는 새로운 분수 분할 알고리즘을 도입하는 것.
• 제안된 방법의 계산 복잡도와 메모리 효율성을 분석하여 실제 성능보다는 이론적 성능에 중점을 두는 것.
• 더 빠른 대안 알고리즘이 존재할 수 있는지 탐색하는 것이라도, 그러한 알고리즘은 발견되지 않았다.

제안 방법

• 이 방법은 16진수 기저에서 π의 n^th 자릿수를 직접 계산할 수 있는 Bailey-Borwein-Plouffe (BBP) 공식에 기반한다.
• 일반 분수를 모듈로 산술에 적합한 성분으로 분해하기 위한 새로운 알고리즘이 도입되어, 효율적인 자릿수 추출을 가능하게 한다.
• 알고리즘은 모듈로 거듭제곱과 급수 전개 기법을 사용하여 소수 전개상의 개별 자릿수를 고립시킨다.
• 메모리 사용량이 최소화된 고정밀 산술을 사용하여 전체 상수의 평가가 아닌 자릿수 추출에 집중한다.
• 유사한 모듈로 기법을 사용해 평가할 수 있는 급수로 표현되는 다른 상수로의 접근을 일반화한다.
• 시간 복잡도는 고정밀 연산의 조합과 n^th 자릿수까지의 항을 계산해야 한다는 점으로 인해 O(n³ log³n)으로 분석된다.

실험 결과

연구 질문

• RQ1 π의 n^th 자릿수를 이전 모든 자릿수를 계산하지 않고 직접 계산할 수 있는가?
• RQ2 BBP 유형 공식을 ζ(3) 및 π√3와 같은 다른 초월 상수로 확장할 수 있는가?
• RQ3 제안된 자릿수 추출 알고리즘의 계산 복잡도는 무엇인가?
• RQ4 메모리 사용량은 자릿수 위치 n에 따라 어떻게 변화하는가?
• RQ5 직접 자릿수 계산을 위한 더 빠른 알고리즘이 존재하는가, 아니면 이 방법이 이론적으로 최적인가?

주요 결과

• 알고리즘은 O(n³ log³n) 시간 복잡도로 π의 n^th 소수 자릿수를 직접 계산할 수 있다.
• 이 방법은 n에 대해 상수 수준의 소량의 메모리만 필요로 하여 큰 n에 대해서도 메모리 효율적이다.
• 이 방법은 ζ(3), π√3, π² 및 2/√5 ln(φ)와 같은 다른 상수의 n^th 자릿수 계산으로 일반화된다.
• 알고리즘은 상수의 사전 계산된 값을 의존하지 않아 실시간 자릿수 추출이 가능하다.
• 비록 이론적 효율성이 높지만, 저자는 더 빠른 알고리즘이 발견되지 않았다고 언급하여 이 복잡도 클래스에서 최적일 가능성이 있음을 시사한다.
• 이 방법의 주요 가치는 실용적 속도 향상보다는 이론적 통찰에 있다. 대부분의 응용 분야에서는 표준 고정밀 산술 계산보다 느리기 때문이다.