攻略法, モンテカルロ法, ラスベガス法, 乱択アルゴリズム

モンテカルロ法とは広義ではシミュレーションや数値計算に乱数を用いて値を導き出す方法を指します。

計算理論の分野においては多項式時間で処理が終了されることが保証されるが導かれる答えが必ずしも正しいとは限らない乱択アルゴリズムと定義されます。
反対に、多項式時間で処理が終了されることが保証されないが、答えが得られれば必ず正しい乱択アルゴリズムをラスベガス法といいます。