这个题目需要求出来满足 2^x≡1(mod n)的最小的正整数x,n>0。
首先考虑欧拉定理2^eular(n)≡1(mod n),要求是n>1,所以当n = 1的时候,其实所有的数k都有k≡0(mod n),这是一个特判的所在。
欧拉定理中的eular(n)一定是循环节,但不一定是最小循环节:eg:n = 7的时候有:
2^0 mod 7 = 1;
2^1 mod 7 = 2;
2^2 mod 7 = 4;
2^3 mod 7 = 1;
2^4 mod 7 = 2;
最短循环节为:3,是欧拉函数eular(7) = 6的一个因子。
而求最短循环节的方法有两种:1.暴力枚举,最多eular(n) 个,复杂度是O(n)的。2.从小到大枚举eular (n)的因子,然后快速幂判断。