limboman的博客

可证满足条件的一定是一个mod gcd（a[k],n)的循环群； 考虑mod n意义下的加法群以a[k]生成子群下的偏集划分； 可将问题放在mod gcd（a[k],n)意义下研究（并没有什么卵用…） 然后考虑所构成子群的非单位元最小值便可证；然后就是： 要找到一个数g，使得g|（n，a[k]），且对于任意1<=i<=k-1，g不是a[i]的约数 枚举约数乱搞…#include<bits/