1. 构造过程抽象
在数学里,人们关心的是说明性的描述(是什么),而在计算机科学里,人们则关心行动性的描述(怎么做)
费马小定理
如果n是一个素数,a是小于n的任意正整数,那么a的n次方与a模n同余。(存在极少个例外)
通过费马小定理对素数的概率性判断,可以使错误概率减少到所需的任意程度。形成了概率算法的领域
在数学里,人们关心的是说明性的描述(是什么),而在计算机科学里,人们则关心行动性的描述(怎么做)
费马小定理
如果n是一个素数,a是小于n的任意正整数,那么a的n次方与a模n同余。(存在极少个例外)
通过费马小定理对素数的概率性判断,可以使错误概率减少到所需的任意程度。形成了概率算法的领域