bzoj2277: [Poi2011]Strongbox

可证满足条件的一定是一个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/stdc++.h>
#define rep(i,k,n) for(int i=k;i<=n;i++)
using namespace std;
typedef long long ll;
const int N=3e5+7;
ll gcd(ll a,ll b){return !b ? a : gcd(b,a%b);}
ll a[N],n,who,sz,stk[N],can;int k,top=0,tot=0;
bool check(ll x){
    rep(i,1,tot)if(a[i]%x==0)return false;
    return true;
}
int main(){
    scanf("%lld%d",&n,&k);
    rep(i,1,k)scanf("%lld",&a[i]);
    who=gcd(a[k],n);
    sz=n/who;
    can=who;
    rep(i,1,k-1)a[i]=gcd(a[i],who);
    sort(a+1,a+k);
    rep(i,1,k-1){if(i==k-1 || a[i]!=a[i+1])a[++tot]=a[i];}
    for(ll i=1;i*i<=who;i++){
        if(!(who%i)){
            if(check(i)){can=i;break;}
            stk[++top]=who/i;
        }
    }if(can==who){
        while(top){
            if(check(stk[top])){can=stk[top];break;}
            top--;
        }
    }
    printf("%lld\n",sz*(who/can));
}