モンテカルロ法と円周率の近似計算
モンテカルロ法の具体例として,円周率の近似値を計算する方法,およびその精度について考察します。
モンテカルロ法とは
円周率の近似値を計算する方法
精度の評価
モンテカルロ法とは
乱数を用いて何らかの値を見積もる方法をモンテカルロ法と言います。
乱数を用いるため「解を正しく出力することもあれば,大きく外れることもある」というランダムなアルゴリズムになります。
そのため「どれくらいの確率でどのくらいの精度で計算できるのか」という精度の評価が重要です。そこで確率論が活躍します。
円周率の近似値を計算する方法
モンテカルロ法の具体例として有名なのが円周率の近似値を計算するアルゴリズムです。
-
の正方形内にランダムに点を打つ(→注)
-
原点(左下の頂点)から距離が 以下なら ポイント, より大きいなら ポイント追加
-
以上の操作を 回繰り返す,総獲得ポイントを とするとき, が円周率の近似値になる
注: 上の一様分布に独立に従う二つの乱数 を生成してこれを座標とすれば正方形内にランダムな点が打てます。
図の場合, が の近似値として得られます。
精度の評価
試行回数 を大きくすれば,円周率の近似の精度が上がりそうです。以下では数学を使ってもう少し定量的に評価します。
目標は 試行回数を◯◯回くらいにすれば,十分高い確率で,円周率として見積もった値の誤差が△△以下であるという主張を得ることです。
Chernoffの不等式という飛び道具を使って解析します! を と書きます。
Chernoffの不等式(※)より,
(期待値より大きく外れる確率は十分小さいという意味)
つまり,
以上の確率で,
例えば, %以上の確率で,誤差約 %()以内にしたい場合, ならよいので, 回くらい必要になります。
誤差 %におさえるために10万個も点を打つなんてやってられないですね。
※Chernoffの不等式については,Chernoff bounds, and some applicationsが詳しいです。ここでは,上記の文献の Corollary 5 を使いました。
「多分うまくいくけど失敗する可能性もあるよ〜」というアルゴリズムで納得しないといけないのは少し気持ち悪いですが,そのぶん応用範囲が広いです。