最小值最大

二分：枚举两个牛之间的最小距离，左端点是1，右端点是篱笆总长度。

Check数组：

如果两头牛之间距离是Mid不合法，则返回0（false）；

如果两头牛之间距离是Mid合法，则返回1（true）。

复杂度：

不超时，实验代码（只AC了30%）：

//AC 30%
#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f3f3f3f;
int n;//奶牛数
int k;//篱笆数
int p[1000005];//位置
int minv=INF;
int ans=0;
bool check(int x){int cnt=0;int lp=p[1];for(int i=1;i<=k;i++){if(p[i]-lp>=x){cnt++;if(p[i]-lp<minv){minv=p[i]-lp;}lp=p[i];}}if(cnt>=n){return true;}minv=INF;return false;
}
int main(){cin>>n>>k;cin>>p[1];int l,r;for(int i=2;i<=k;i++){p[i]=p[i-1]+(p[i-1]*2357+137)%10+1;}l=1;r=p[k];while(l<=r){int mid=(l+r)/2;if(check(mid)){l=mid+1;ans=max(ans,minv);}else{r=mid-1;}minv=INF;}cout<<ans;return 0;
}

（求调）