最小值最大

二分：枚举两个牛之间的最小距离，左端点是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;
}

（求调）