luogu2662 牛场围栏（数论+最短路）

同余类spfa，以%最小数n的余数分类，建n个点，然后用其他的数去建边，从0开始跑最短路，每一种能凑出的最小数就是dis，而最大的不能凑出来的数就是dis-n。

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 3010
#define pa pair<int,int>
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int owo,m,n,h[N],num=0,dis[N];
bool f[N],mk[N],inq[N];
struct edge{
    int to,next,val;
}data[N*N];
inline void add(int x,int y,int val){
    data[++num].to=y;data[num].next=h[x];h[x]=num;data[num].val=val;
}
void Dij(){
    priority_queue<pa,vector<pa>,greater<pa> >q;
    memset(dis,inf,sizeof(dis));memset(inq,0,sizeof(inq));
    q.push(make_pair(0,0));dis[0]=0;
    while(!q.empty()){
        int x=q.top().second;q.pop();if(inq[x]) continue;inq[x]=1;
        for(int i=h[x];i;i=data[i].next){
            int y=data[i].to;
            if(dis[y]>dis[x]+data[i].val){
                dis[y]=dis[x]+data[i].val;q.push(make_pair(dis[y],y));
            }
        }
    }
}
int main(){
//  freopen("a.in","r",stdin);
    owo=read();m=read();
    while(owo--){
        int x=read();for(int i=max(0,x-m);i<=x;++i) f[i]=1;
    }for(int i=1;i<=3000;++i) if(f[i]){n=i;break;}mk[0]=1;
    for(int i=n+1;i<=3000;++i){
        if(!f[i]||mk[i%n]) continue;int x=i%n;mk[x]=1;
        for(int j=0;j<n;++j) add(j,(j+x)%n,i);
    }Dij();int ans=0;
    for(int i=1;i<n;++i) ans=max(ans,dis[i]);
    if(ans==inf) puts("-1");
    else printf("%d\n",ans-n);
    return 0;
}