我有个也是编程的朋友，他死活不相信Miller-Rabin在long long 范围内选取2,325,9375,28178,450775,9780504,1795265022这几个数作为底数可以100%正确。他认为只有算法导论和一些权威学术期刊或论文才可以证明，但我又找不到。你们谁知道一些权威，能说服我的朋友吗？