小于 formula_28，那么解决模数为formula_1的 离散对数 问题就属于 P问题。所以，对于基于离散对数的密码系统，比如数字签名算法（即），我们就要求 "p-1" 至少要有一个大质因数。
其它.要注意的是，判断一个伪素数是否是强伪素数时，我们看的是它除以某个基数的幂之后的余数，而不是看它和相邻的伪素数的平均数那个较大。在数论中，如果一个素数刚好等于其相邻素数的平均数，那么我们把这个素数叫做平衡质数。如果它比平均数小，则叫做弱素数。