标签：lfloor 背包 int NC17315 中位数 pq s2 物品
题目
题目描述
Applese有 \(1\) 个容量为 \(v\) 的背包，有 \(n\) 个物品，每一个物品有一个价值 \(a_i\) ，以及一个大小 \(b_i\)
然后他对此提出了自己的疑问，如果我不要装的物品装的价值最大，只是一定需要装 \(m\) 个物品，要使得求出来的物品价值的中位数最大
Applese觉得这个题依然太菜，于是他把这个问题丢给了你
当物品数量为偶数时，中位数即中间两个物品的价值的平均值
输入描述
第一行三个数 \(v, n, m\) ，分别代表背包容量，物品数量以及需要取出的物品数量
接下来n行，每行两个数 \(a_i,b_i\) ，分别代表物品价值以及大小
\(n ≤ 1e5, 1 ≤ m ≤ n, a_i ≤ 1e9, v ≤ 1e9, b_i ≤ v\)
输出描述
仅一行，代表最大的中位数
示例1
输入
20 5 3
3 5
5 6
8 7
10 6
15 10
输出
8
题解
知识点：优先队列，贪心，二分。
由于要求的长为 \(m\) 的序列的中位数最大值，直接从 \(n\) 个数里枚举 \(m\) 个数会很困难。用dp解决的话，每种可能都要记录还要求一下中位数，也是不可行的。
但是因为是中位数，所以换一种角度，把每个数当作中位数，去匹配一组使其成为中位数的序列。这是很好处理的，只要比这个数小的数存在一定数量个，比这个数大的数存在一定数量个即可，然后从其中取得最小的一组序列重量值，因为我们不关心除了中位数的其他数的价值。
具体地说，我们先考虑 \(m\) 为奇数，那么一个数左右侧都需要有 \(\lfloor \frac{m}{2} \rfloor\) 个数，取他们重量最小值。因此为了使得枚举中位数更加方便，我们先从小到大排序价值，然后从左往右遍历维护一个长度为 \(\lfloor \frac{m}{2} \rfloor\) 的按重量的小顶堆，并在过程中维护动态前 \(\lfloor \frac{m}{2} \rfloor\) 小的和 \(s1[i]\) ，即可得到 \([1,i]\) 中重量前 \(\lfloor \frac{m}{2} \rfloor\) 小的和 。同理从右到左维护一个 \(s2[i]\) ，即 \([i,n]\) 中重量前 \(\lfloor \frac{m}{2} \rfloor\) 小的和。
之后我们对每个数进行判断 s1[i - 1] + a[i].b + s2[i + 1] <= v ，满足的即合法，那么就可以参与最大值的判断。
接下来考虑 \(m\) 为偶数，因为偶数序列中位数是中间两个数之和取下整，因此我们要考虑两个数，一个数维护左侧，一个数维护右侧。那先枚举左边的数，而另一个数因为只需要考虑右侧重量和，由于价值会从左往右递增，而最小重量和一定是递增的（假设一定满足中位数的右侧个数需求），那么会存在一个点使得右侧数字不能成为中位数，左侧数字可以成为中位数但比这个数小，即符合单调性可以二分求解。要注意的是前后缀最小重量和在偶数情况维护的是前 \(\lfloor \frac{m}{2} \rfloor - 1\) 小个。
时间复杂度 \(O(n\log n)\)
空间复杂度 \(O(n)\)
代码
#include <bits/stdc++.h>
#define ll long long
using namespace std;
int v, n, m;
struct node {
int a, b;
}a[100007];
ll s1[100007], s2[100007];
int main() {
std::ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
cin >> v >> n >> m;
for (int i = 1;i <= n;i++) cin >> a[i].a >> a[i].b;
sort(a + 1, a + n + 1, [&](node a, node b) {return a.a < b.a;});
priority_queue<int> pq;
for (int i = 1;i <= n;i++) {///k小前缀和，维护中位数左侧
s1[i] = s1[i - 1] + a[i].b;
pq.push(a[i].b);
if (pq.size() > m / 2 - !(m & 1)) {
s1[i] -= pq.top();
pq.pop();
}
}
while (!pq.empty()) pq.pop();
for (int i = n;i >= 1;i--) {///k小后缀和，维护中位数右侧
s2[i] = s2[i + 1] + a[i].b;
pq.push(a[i].b);
if (pq.size() > m / 2 - !(m & 1)) {
s2[i] -= pq.top();
pq.pop();
}
}
int ans = 0;
if (m & 1) {///奇数直接枚举中位数
for (int i = m / 2 + 1;i <= n - m / 2;i++)
if (s1[i - 1] + a[i].b + s2[i + 1] <= v)
ans = max(ans, a[i].a);
}
else {///偶数枚举一个之后，二分另一个
for (int i = m / 2;i <= n - m / 2;i++) {
if (s1[i - 1] + a[i].b + s2[i + 1] <= v) {///小优化
int l = i + 1, r = n - m / 2 + 1;
while (l <= r) {
int mid = l + r >> 1;
if (s1[i - 1] + a[i].b + a[mid].b + s2[mid + 1] <= v) l = mid + 1;
else r = mid - 1;
}
if (r > i)ans = max(ans, a[i].a + a[r].a >> 1);///不一定找得到
}
}
}
cout << ans << '\n';
return 0;
}
标签：lfloor,背包,int,NC17315,中位数,pq,s2,物品 来源： https://www.cnblogs.com/BlankYang/p/16460012.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。