确定性检验法是通过对给定的大整数进 行检验,下面介绍一种确定性检验法 ■采用了基于 Pocklington定理的特殊情形, 并将其改造为一递归算法加以实现 ■定理的特殊情形的描述: 定理:设n=2RF+1,其中F的真分解为 F=,如果存在整数a满足:anl=1modn 且(am)q-1,n)=1(j=1,…,r), 那么n的每一个素因子p具有p=mF+1的形式,其中 m21。更进一步,如果F>v或者F为奇数且F>R,那 么n是素数。 23:31:4823:31:48  确定性检验法是通过对给定的大整数进 行检验，下面介绍一种确定性检验法。  采用了基于Pocklington定理的特殊情形， 并将其改造为一递归算法加以实现  定理的特殊情形的描述：  定理：设n=2RF+1，其中F的真分解为 F=，如果存在整数a满足:an-11mod n ， 且(a(n-1)/qj-1,n)=1( j=1,…r), 那么 n 的每一个素因子 p 具有 p=mF+1 的形式，其中 m 1。更进一步，如果 F> n 或者 F 为奇数且 F>R，那 么 n 是素数