P1824 [USACO05FEB] 进击的奶牛 Aggressive Cows G

记录145

#include<bits/stdc++.h>
using namespace std;
const int N=1e5+10;
int a[N];
int main(){
	int n=0,m=0;
	cin>>n>>m;
	for(int i=1;i<=n;i++) cin>>a[i];
	sort(a+1,a+n+1); // 牛舍位置不一定有序，必须先排序，为后续贪心做准备
	
	int ans=0;
	int L=1,R=a[n],mid=0; // 二分答案：最小距离的下界是1，上界是最大坐标差
	while(L<=R){
		mid=(L+R)/2;
		// 贪心验证：假设当前两头牛的最小距离为 mid，最多能放几头牛？
		int cnt=1; // 计数器：第一头牛默认放在第一个牛舍 a[1]
		int t=a[1]; // 记录上一头牛放置的位置
		
		for(int i=2;i<=n;i++){
			// 如果当前牛舍与上一头牛的距离 >= mid，说明可以放下一头牛
			if(a[i]-t>=mid){
				cnt++;
				t=a[i]; // 更新上一头牛的位置为当前牛舍
			}
		}
		
		// 如果能放下的牛少于 m 头，说明 mid 太大了，需要减小距离
		if(cnt<m) R=mid-1;
		else{ // 如果能放下 m 头或更多，说明 mid 可行，尝试更大的距离
			ans=mid;
			L=mid+1;
		}
	}
	cout<<ans;
    return 0;
}

---

题目传送门https://www.luogu.com.cn/problem/P1824

---

前言

我是一名专注信奥赛（CSP-J/S、NOIP）的教练。

• 如果你觉得这篇题解对你有帮助，欢迎点击关注我的优快云账号，我会持续更新高质量算法解析。
• 我深知算法思维的构建远比单纯通过题目更重要，本系列题解不局限于AC代码的堆砌，而是致力于拆解题目背后的逻辑链条与核心知识点
• 备赛路上若遇瓶颈，欢迎随时评论或私信，我将甄选典型疑难问题，通过视频讲解或撰写专项文章的形式，为你提供深度答疑。

---

 核心解题思路

这道题是一道非常经典的“最大值最小化”（或最小值最大化）问题，通常使用二分答案 + 贪心验证的策略来解决。

1. 问题转化：
   题目要求“最大化最近的两头牛之间的距离”。直接去求这个最大值非常困难，因为组合情况太多。但如果我们反过来思考：假设我们知道了两头牛之间的最小距离是 dd ，我们能不能判断在这个距离下，能不能放下 mm 头牛？如果能放下，说明 dd 是可行的，我们可以尝试更大的距离；如果放不下，说明 dd 太大了，需要减小距离。

2. 算法设计（二分答案 + 贪心）：

   • 二分答案：因为牛舍坐标在 [0,10^9]之间，答案具有单调性（如果距离 d 可行，那么比 d 小的距离一定也可行）。因此，我们可以对“最小距离”进行二分查找。
   • 贪心验证（Check函数）：在二分的过程中，我们需要一个验证函数。为了在限定的最小距离 midmid 下尽可能多地放下牛，我们采用贪心策略：将牛舍排序后，第一头牛永远放在第一个位置，后续的牛只要与上一头牛的距离大于等于 mid ，就立刻放下。这种策略能保证我们在不违反距离限制的前提下，最紧凑地放置牛，从而测试出当前 mid下最多能放多少头牛。

---

代码分块详细解释

1. 头文件、常量与数据预处理

#include<bits/stdc++.h>
using namespace std;
const int N=1e5+10;
int a[N];
int main(){
	int n=0,m=0;
	cin>>n>>m;
	for(int i=1;i<=n;i++) cin>>a[i];
	sort(a+1,a+n+1); // 牛舍位置不一定有序，必须先排序，为后续贪心做准备

• 详细分析：题目明确说明“不保证 x数组单调递增”。由于我们的贪心策略依赖于从左到右依次扫描牛舍，因此必须首先对牛舍位置进行升序排序。sort(a+1,a+n+1) 确保了数组的有序性，这是后续二分和贪心正确执行的前提。

2. 二分答案框架

	int ans=0;
	int L=1,R=a[n],mid=0; // 二分答案：最小距离的下界是1，上界是最大坐标差
	while(L<=R){
		mid=(L+R)/2;

• 详细分析：这里对“最小距离”进行二分。下界 L=1（因为坐标是整数，最小距离至少为1），上界 R=a[n] （即最右端牛舍的坐标，这是理论上的最大可能距离）。mid 代表我们当前正在验证的“假设最小距离”。

3. 核心逻辑：贪心验证（Check过程）

		// 贪心验证：假设当前两头牛的最小距离为 mid，最多能放几头牛？
		int cnt=1; // 计数器：第一头牛默认放在第一个牛舍 a[1]
		int t=a[1]; // 记录上一头牛放置的位置
		
		for(int i=2;i<=n;i++){
			// 如果当前牛舍与上一头牛的距离 >= mid，说明可以放下一头牛
			if(a[i]-t>=mid){
				cnt++;
				t=a[i]; // 更新上一头牛的位置为当前牛舍
			}
		}

• 详细分析：这是本题最核心的贪心策略。
  • 初始化：为了让后面的牛有尽可能大的空间，第一头牛必须放在最左边的牛舍 a[1]。此时计数器 cnt=1，上一头牛的位置 t 更新为 a[1]。
  • 线性扫描：从第二个牛舍开始遍历。对于每一个牛舍 a[i]，我们检查它与“上一头已经放下的牛”（位置为 t）之间的距离。如果 a[i] - t >= mid，说明在这个牛舍放牛不会违反最小距离 mid 的限制。根据贪心思想，我们立刻把牛放在这里，并更新 t 为当前的 a[i]。
  • 为什么贪心是正确的？ 因为牛舍是排好序的，如果当前牛舍 a[i] 可以放牛，而我们选择跳过它去放更右边的牛舍，只会让后续的牛空间变得更小（或不变），绝不会让能放下的牛更多。因此，能放就放是最优策略。

4. 二分区间的收缩与答案更新

		// 如果能放下的牛少于 m 头，说明 mid 太大了，需要减小距离
		if(cnt<m) R=mid-1;
		else{ // 如果能放下 m 头或更多，说明 mid 可行，尝试更大的距离
			ans=mid;
			L=mid+1;
		}
	}
	cout<<ans;
    return 0;
}

• 详细分析：
  • 不满足条件（cnt < m）：说明我们假设的最小距离 mid 太大了，导致牛舍之间隔得太开，连 mm 头牛都放不下。因此，我们需要缩小距离，将右边界 R 移动到 mid−1 。
  • 满足条件（cnt >= m）：说明在最小距离为 mid 的情况下，我们至少能放下 m 头牛。这是一个可行的解，我们先用 ans 记录下这个 mid 。但是，题目要求“最大化”这个距离，所以 mid可能还不是最优的，我们尝试增大距离，将左边界 LL 移动到 mid+1 ，继续寻找更大的可行解。

---

核心逻辑总结表

代码模块	核心变量/操作	精炼作用	解决的痛点
数据预处理	sort(a+1,a+n+1)	将无序的牛舍坐标升序排列	为后续从左到右的贪心扫描提供有序的基础环境
二分框架	L=1, R=a[n]	对“最小距离”进行二分查找	将复杂的“求最大值”问题转化为简单的“验证可行性”问题
贪心初始化	cnt=1, t=a[1]	默认第一头牛放在最左侧牛舍	确立了贪心策略的起点，为后续牛留出最大空间
贪心验证	if(a[i]-t>=mid)	线性扫描，能放牛就立刻放下	在限定距离 midmid 下，以最紧凑的方式测试最多能放多少头牛