卢卡斯-莱默检验法是怎么来的?
本帖最后由 mathematica 于 2019-2-13 14:16 编辑他们是怎么想到这个判定办法的?
反正我不知道这个检验办法怎么来的.
我觉得这个办法很漂亮,既简单又是充分必要条件,
但是我就是不知道怎么来的,
我就是想知道怎么想到这个idea的?
https://baike.sogou.com/v73356060.htm?fromTitle=%E5%8D%A2%E5%8D%A1%E6%96%AF-%E8%8E%B1%E9%BB%98%E6%A3%80%E9%AA%8C%E6%B3%95
https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality_test
http://mathworld.wolfram.com/Lucas-LehmerTest.html
本帖最后由 mathematica 于 2019-2-13 14:35 编辑
https://bbs.emath.ac.cn/forum.php?mod=viewthread&tid=15734&fromuid=865
和这儿的第15行的代码感觉很接近!
似乎利用了
\(V_{2n}=V_n^2-2Q^n\)
这个递推关系
https://en.wikipedia.org/wiki/Lucas_sequence
而此处似乎\(Q=1\) 谢谢您提供的连接 今天在分析数列2^n-2模2^K-1的剩余类个数只有k种，使我想到它是不是利用了这k个剩余类来验证梅森素数的，因为它经历了k步，判断出它是否为素数，还有一个重要问题就是对2^K-1中的因子（当它是合数时），数列模它中的因子剩余类最多也是k种，这就是说无论它是不是素数，经过k步足可以证明它是不是素数。
我现在想到的是，用这种方法能不能判断一个自然数是不是素数呢？如果能办到，那么对于一个数是否为素数就不用用它根号前的所有素数来判断了，而仅仅使用k步就可以断定了（k有n以2的对数值决定），这或许要简便的多。
页:
[1]