PKU 2006 happy2006

对于所给的m，求出m的欧拉函数值v，我们知道1 ~ m之间与m互素的数的个数为v。于是m + 1 ~ 2m, 2m + 1 ~ 3m, 3m + 1 ~ 4m…….等区间均包含v个与m互质的整数。所以k / v即可以得到一共需要多少个这样的区间。然后在最后一个区间内枚举即可以确定要求的数。算法复杂度为O(m)。

【摘自官方题解】：http://acm.pku.edu.cn/JudgeOnline/showcontest?contest_id=1180

下面简单证明一下上述各区间内为什么与m互素的数的个数相等。

假如[1,m]中某个数i与m互素，则在第n个区间内，i对应的是(n - 1) * m + i,下面就是证明这个数也跟m互素。
已知gcd(i, m) = 1, 那么gcd(i, (n - 1) * m) = 1,令k = (n - 1) * m，则问题转化为证明 由1 = gcd(i, k)可得到1 = gcd(i + k, k)，
反证，假如gcd(i + k, k) = p > 1,则i + k = p * n， k = p * m ----> i = p * (n - m),则gcd(i, k) = p，矛盾。命题得证。