这些是“最小限制”Perrin伪素数。它们满足Adams and Shanks(1982)中的条件(4)和(5),相当于Kurtz et al.(1986)的条件(7)。也就是说,A(n)=0 mod p和A(-n)=-1 mod p。Kurtz等人将此称为“最小测试”,Wagon(1999)将其称为“强佩林测试”。
进一步的限制(Adams和Shanks,Arno/Grantham)导致该序列的子集。
Kurtz等人(1986)指出,所有可接受的数字(其中A(n)=0 mod p和A(-n)=-1 mod p)<=50*10^9具有S型签名。第一个不成立的例子是16043638781521,它没有S签名(也没有I或Q型签名)。
这个序列中第一个没有通过Adams/Shanks签名测试的伪素数是167385219121,它有一个S签名,但雅可比符号是错误的。
一些资料推测,通过检查{M=[0,1,0;0,0,1;1,1,0];Mod(M,n)==Mod。反例包括52437986833、60518537641、364573433665和4094040693601。(结束)
|