最小值最大

二分：枚舉兩個牛之間的最小距離，左端點是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;
}

（求調）