整数が素数であるか否かは、桁数の多項式オーダーで確定的に判定できる
方法が存在する。ただし実用的には、絶対確実でないが、事実上判断を誤る
可能性の割合が幾らでも低くなる、たとえば計算機がノイズで誤動作するよりも
低い可能性に落とせる「確率的判定法」があってそれで十分に有用である。
ただし、ほとんど起こらないが、判定を誤る可能性が残る。
　確定的な判定をするアルゴリズムは数学的に絶対正しい判定を行える。
でも、概してあまり早くない（それでも整数の桁数の多項式オーダーである）。