メインコンテンツへスキップ

コンパイル時に円周率100万桁を計算する

·5007 文字·
技術解説 やってみた C++
komori-n
著者
komori-n
目次

C++20でconstexprの制限が緩和されたことを利用して、コンパイル時に円周率100万桁まで計算した。

はじめに
#

C++20では、constexprに関する制限がいくつか緩和された。例えば、 constexpr関数内でのtry-catchブロック可変サイズをもつコンテナのconstexpr などが挙げられる。この緩和により、実用上ほとんどすべての計算をコンパイル時に実行可能になった。

本ページでは、このC++20 constexprを悪用して、コンパイル時に円周率100万桁を計算する方法について概説する。

コンパイル時に円周率計算するためには、高速な乗算が可能な任意精度演算ライブラリが必要になる。 通常の円周率の計算では、GNU Multi-Precision Library(GMP) のような任意精度演算ライブラリを使用することで、円周率100万桁を1秒以内に求めることができる。 しかし、GMPを含む任意精度演算ライブラリは基本的にconstexpr計算に対応していない。 そのため、constexpr計算に対応した独自の任意精度演算ライブラリを作成して、円周率の計算を行った。

円周率の計算方式
#

コンピュータで円周率を計算する場合、Chudnovsky の公式1

$$ \frac{1}{\pi} = 12\sum_{n=0}^{\infty} \frac{(-1)^n (6n)! (A+Bn)}{(n!)^3 (3n)! C^{3n+3/2}} $$

がよく用いられる。ただし、

$$ A=13591409,\quad B=545140134,\quad C=640320 $$

である。Chudnovsky の公式は極めて収束が早く、$n=0$ で計算を打ち切っても、$3.141592653589734\dots$ と小数点以下13桁の精度がある。

この式をそのまま適用すると、除算や平方根の演算が多くあるため、計算に時間がかかる。 しかし、F. Bellard氏の論文2のような計算の工夫をすることで、結果を高速に求められる。

以下では、F. Bellard氏の論文のAlgorithm 1に沿って円周率の計算を行う。 このアルゴリズムの中身は2に詳しく記載されているのでここでは深くは触れない。

このアルゴリズムでは、次のような任意精度演算を行う必要がある。

  1. 乗算
  2. 除算と平方根
  3. 16進数→10進数変換

次節では、それぞれの演算に対するアルゴリズムについて簡潔に述べる。

多倍長整数演算
#

乗算
#

以下では、多倍長整数 $X, Y$ を、 $N$ 個の $B$ 未満の非負整数を用いて \begin{align} X &= \sum_{i=0}^{N - 1} x_{i} B^{i}, \notag \\ Y &= \sum_{i=0}^{N - 1} y_{i} B^{i} \notag \end{align} と表す。

多倍長整数の乗算を愚直に実装すると、$O(N^2)$の計算量が必要になる。 この計算量を減らす方法として、Karatsuba法やFFT/NTTを用いる方法などが知られている。

Karatsuba法
#

Karatsuba法では、乗算したい多倍長整数 $X, Y$ を、

$$ X=X_u C + X_l, \quad Y=Y_u C + Y_l $$

とそれぞれ2つの多倍長整数へ分割する。 ただし、$C=B^{m}$で、$X_u, X_l, Y_u, Y_l$ は $C$ 未満の非負整数とする。

ここで、積 $XY$ を考えると、 \begin{align} XY &= X_u Y_u C^2 + (X_u Y_l + X_l Y_u) C + X_l Y_l \tag{1}\\ &= X_u Y_u C^2 + ((X_u + X_u)(Y_u + Y_l) - X_u Y_u - X_l Y_l) C + X_l Y_l \tag{2} \end{align} と変形できる。式 $(1)$ では、積 $X_* Y_*$ を4回行っているのに対し、 式 $(2)$ では、$X_u Y_u$ と $X_l Y_l$ の計算結果を使い回すことで、 積の回数を3回に減らすことができている。この3箇所の積についても、 同様の手法を再帰的に適用することで、全体の計算量を $O(N^{\log_2 3})$ に落とすことができる。

FFT/NTT
#

FFTを用いることでも、任意精度整数の乗算を高速に行うことができる。

2つの整数列 $(x_{i})_{i=0}^{N-1}, (y_{i})_{i=0}^{N-1}$ に対し、畳み込み演算

$$ \mathrm{IDFT}[\mathrm{DFT}[(x_i)] \otimes \mathrm{DFT}[(y_i)]] \tag{3} $$

を考える。ここで、$\mathrm{DFT}[\bullet]$ は離散フーリエ変換、 $\mathrm{IDFT}[\bullet]$ は逆離散フーリエ変換を表し、$\otimes$ は数列の項ごとに積を取る演算を表す。 この演算結果の第 $i$ 項は、

$$ z_{i} := \sum_{j=0}^{n - 1} x_{j} y_{i - j} $$

となる。ただし、$x_{i} = 0, y_{i} = 0 ~~(i \notin {0, 1, \dots, n - 1})$ とする。 こうして得られた $(z_{i})_{i=0}^{2n-1}$ を $X$ や $Y$ と同様に多倍長整数とみなすと、

$$ Z := \sum_{i=0}^{2n - 1} \left(\sum_{j=0}^{n - 1} x_{j} y_{i - j} \right) B^{i} $$

となる。これは、積 $X Y$ の計算結果に他ならない。

式 $(3)$ で現れるフーリエ変換、逆フーリエ変換はいずれも高速フーリエ変換(FFT)が適用できる。 このように、フーリエ変換した後の世界で乗算を考えることで、 多倍長整数の乗算の計算量を大幅に削減することができる。

ただし、実用上は、フーリエ変換の際に浮動小数の計算を行わなければならず、誤差が混入する可能性があるので、 代わりに 数論変換(Number-Theoretical Transform; NTT) が用いられることが多い。 NTTはフーリエ変換を $\mathbb{Z}/p\mathbb{Z}$ 上で行う方法で、 FFTによる高速化の恩恵を受けつつ整数の世界で畳み込み演算ができる。

NTTを用いた多倍長整数乗算の実現方法にはいくつか選択肢があるが、 本ページでの計算ではSchönhage-Strassen Algorithm(SSA)を用いて実装を行った。 SSAの詳しい理論については3 4を参照。

Karatsuba法とSSAの比較
#

後述する改造コンパイラを用いてKaratsuba法とSSAの速度比較を行った。 この2つの手法は、計算量はSSAの方が小さいのだが、桁数が少ないときはKaratsuba法の方が高速であることが知られている。

以下は、2進数で $n$ 桁 $\times$ $n$ 桁の乗算をコンパイル時計算で計算したときの計算時間である。 以下の表で桁数 $n$ が中途半端な値である理由は、 SSAの分割サイズを決める変数 $k$ がギリギリ繰り上がらないような値を選んでいるためである。

桁数[bit]Karatsuba法[s]SSA[s]
17920.811.23
76801.194.53
314883.2211.01
12851225.3328.95
518144229.995.0
2084864-329.9

およそ $n=130000$ 以下では Karatsuba 法の速度が SSA を上回っているが、 それ以上の領域ではSSAのパフォーマンスの方が上回った。

この結果から、なぜ既存の多倍長整数ライブラリがconstexpr対応されたSSAを実装していないかが推察できる。 それは、SSAがKaratsuba法の性能を上回るのは10万桁を超える乗算のときに限られていて、 しかも1回の乗算に1分以上の時間を要するためである。 このような長時間かかるconstexpr計算は改造コンパイラを用意しなければ実行すらできない。 これが既存のライブラリがconstexpr版SSAを持っていない理由だと考えられる。

除算と平方根
#

多倍長整数の除算および平方根の計算には、いずれもNewton-Raphson法を用いる5

除算 $X / Y$ を計算する場合、Newton-Raphson法を用いて $Y$ の逆数 $Y^{-1}$ を求め、 それを $X$ に乗じるという手順を踏む。整数 $Y$ の逆数(の近似値)は、 $1/Y$ を根に持つ関数 $f(x) := 1/x - Y$ に対しNewton-Raphson法を適用することで求められる。 $f$ に対するNewton-Raphson法の反復式は

$$ a_{n+1} = a_n (2 - Y a_n) $$

となる。この反復式を用いると、列 $(a_n)$ は $1/Y$ へ2次収束する。 このように、Newton-Raphson法を用いることで効率的に $Y$ の逆数を求めたり除算を行う事ができる。

平方根についても逆数と同様に、Newton-Raphson法で求める。 ただし、$h(x) := x^2 - Y$ のような関数を用いて平方根を求めようとすると、反復式の計算に除算が必要になり、とても時間がかかる。 そのため、$1/\sqrt{Y}$を根に持つ関数 $g(x) := 1/x^2 - Y$ に対しNewton-Raphson法を適用する。 $g$ に対するNewton-Raphson法の反復式は

$$ a_{n+1} = \frac{1}{2} a_{n} (3 - Y a_{n}^2) $$

となる。このようにして得られた $1/\sqrt{Y}$ (の近似値)に対し、 $Y \times (1 / \sqrt{Y})$ を計算することで $\sqrt{Y}$ を求めることができる。

16進数→10進数変換
#

円周率の計算を行う場合、大部分の計算は16進数で行われるが、最終的には10進数として出力する必要がある。 16進数で表された多倍長浮動小数を10進数への変換にも少し工夫が要る6

まず、0以上1未満の16進数で表された小数$x$を$n$桁の10進数の小数へ変換する方法を考える。

16進数->10進数変換の例
16進数->10進数変換の例

例えば、0.5596EE2AF233B5を12桁の10進数に変換することを考える。 この数に$10^6$をかけると、519FE.43A6CE3582が得られる。 次に、この数を整数部519FEと小数部0.43A6CE3582に分け、それぞれ6桁の10進数に変換することを考える。 整数部を$10^3$で割り、小数部へ$10^3$をかけることで、それぞれ14E.5581、108.4395が得られる。 これらの数の整数部、小数部を3桁ごと10進数へ変換すると、それぞれ334、0.334、264、0.264となる。 こうして得られた数をつなげることで、元の小数は10進数で0.334334264264であったことが分かった。

このように、$10^{n/2}$をかけて整数部、小数部を再帰的に分解していくことで、 0以上1未満の16進数を10進数へ変換することができる。

同様に、16進数で表された整数を10進数に変換する場合、 元の整数を $10^{n}$ で割ることで0以上1未満の小数にすることができ、上記の問題に帰着させることができる。

コンパイル方法
#

さて、コンパイル時に円周率のような大規模な計算を行う場合、普通のコンパイラを使うことはできない。 なぜなら、多くのコンパイラはconstexpr演算回数に制限を設けており、 円周率100万計算ではその制限を優に上回ってしまうためである。

// clang++のエラー例
src/komori/main.cpp:109:18: error: constexpr variable 'ans' must be initialized by a constant expression
  constexpr auto ans = GetPiString<100000>();
                 ^     ~~~~~~~~~~~~~~~~~~~~
/opt/homebrew/opt/llvm/bin/../include/c++/v1/__iterator/reverse_iterator.h:242:5: note: constexpr evaluation hit maximum step limit; possible infinite loop?
    return __x.base() != __y.base();

そのため、clangを改造してconstexprが半永久的に行えるようなコンパイラを用意した。 clangの改造は Clangでコンパイル時に評価されるコード量を増やす – Qiita を参考に行った。具体的な改造パッチは infinite-constexpr.patch を参照。

この改造により、円周率100万桁計算に耐えられるコンパイラが手に入った。

数値結果
#

作成した円周率計算プログラムに対し、コンパイル時計算と実行時計算でコンパイル時間の比較を行った。 加えて、参考としてGMPライブラリを用いた実行時計算の計算時間の計測も行った。 なお、(財布の都合上)計測回数は1回だけなので、計測結果はあくまで参考程度として受け取っていただきたい。

計算にはAWS EC2 r7g.2xlarge(Ubuntu 22.04)を用いた。 constexpr計算はコンパイルにかかった時間、 実行時計算とGMPライブラリを用いた計算では実行にかかった時間それぞれをtimeコマンドを用いてそれぞれ計測した。 コンパイラはclang++(200cc952a28a73687ba24d5334415df6332f2d5b)をベースに、 前節で説明したconstexpr演算回数の制限を外すパッチを当てたものを使用した。

以下に計測結果を示す。

桁数constexpr計算[s]実行時計算[s]GMP[s]
1001.4750.0020.002
1,0004.0750.0020.002
10,000157.7500.0180.003
100,00012,787.9841.0490.032
1,000,000729,365.391751.8240.520

constexpr計算は、同じコードを用いた実行時計算と比較して約1.4万倍、 GMPを用いた実行時計算と比較して約140万倍の時間がかかった。 これは、コンパイル時計算ではほぼ最適化なしで計算が行われるのに対し、 実行時計算ではコンパイラによる最適化が効くためであると考えられる。

このように、コンパイル時計算では実行時と比較して多大な計算コストが必要になる。 C++20で様々な制限が緩和されてほとんどあらゆることがコンパイル時に計算できるようになったが、 円周率の計算のような大規模計算はコンパイル時ではなく実行時に行うべきだということがよく分かった。

まとめ
#

本ページではC++20のコンパイル時計算を駆使してconstexpr対応の任意精度演算ライブラリを自作した。 自作したライブラリを用いて数値実験を行ったところ、 コンパイル時計算は既存のライブラリと比べると圧倒的に遅いことが分かった。

komori-n/compile-time-pi

A toy implementation to calculate PI at compile time

C++
0
0

  1. D. V. Chudnovsky and G. V. Chudnovsky, Approximations and complex multiplication according to Ramanujan, in Ramanujan Revisited, Academic Press Inc., Boston, (1988), p. 375-396 & p. 468-472. ↩︎

  2. Computation of 2700 billion decimal digits of Pi using a Desktop Computer ↩︎ ↩︎

  3. A. Schönhage and V. Strassen, “Schnelle Multiplikation großer Zahlen”, Computing 7 (1971), pp. 281–292. ↩︎

  4. https://tonjanee.home.xs4all.nl/SSAdescription.pdf ↩︎

  5. 参考:円周率.jp - Newton 法 ↩︎

  6. 参考:円周率.jp - 基底変換 ↩︎

  7. 729,365秒=202.6時間。今回計算に用いたr7g.2xlargeのコストは1時間あたり0.4284 USDであるため、 この計算だけで86.9 USDかかっている。

    202.6時間かかったconstexpr計算のログ
    202.6時間かかったconstexpr計算のログ
     ↩︎

Related

C++17におけるコピー省略(Copy Elision)
·2123 文字
技術解説 C++
C++でループをアンロールする
·2416 文字
技術解説 C言語 C++
C++で行儀よくパック展開結果を捨てる
·1660 文字
技術解説 C++