我正在尝试通过Shyam Narayanan（https://math.mit.edu/research/highschool/primes/materials/2014/Narayanan.pdf）实施Modified Miller-Rabin算法。算法要求检查数字是否为Carmichael数。 是否有任何可能的算法在标准PC上合理的时间内检查10 ^ 100的数量是否为Carmichael数？（除了通过有效因子分解）
该论文还推测，有O(log(n)^4)算法用于检查数字是否为Carmichael。是否存在任何此类算法？