【洛谷 P7095】不离【二分】【堆优化】

---

解题思路

因为要求“满足性质的最小值”，所以先二分出最小的初始力量值的答案，再去算最小初始精神值。（题目说先保证初始力量值最小）

算最小的初始力量值：考虑将力量值排序，每次处理出当前时刻可以穿的然后全都一股脑穿上，再继续重复直到穿不上某件装备（即不合法）或者穿完所有装备（合法）

算最小的初始精神值：若当前可以穿的装备不止一件，按a排序穿出的结果显然不是最优的，也许当前可以穿的装备有两件$x,y$，其中$a_x<a_y$ 但$b_x>b_y$ ，并且y装备可以提供足够的精神值使得先穿上y时y提供的精神值足够穿上x

所以对于精神值也要考虑刚刚的贪心：能选则选

套个堆（优先队列）维护当前能穿的装备（对于a值，因为a值已经固定），每次找b最少的装备穿上，并计算答案

---

代码

#include<iostream>
#include<cstdio>
#include<iomanip>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
#define ll long long
using namespace std;

int T,n;
ll sum,ans;

struct cc{
	ll a,b,c,d;
	bool operator <(cc y) const{
		return b>y.b;
	}
}a[100010];

bool check(ll x){
	for(int i=1;i<=n;i++)
	{
		if(x<a[i].a)return 0;
		x+=a[i].c;
	}
	return 1;
}

bool cmp(cc l,cc r)
{
	if(l.a==r.a)return l.b<r.b;
	return l.a<r.a;
}

ll work(ll x)
{
	ll res=0,sum=0;
	int i=1;
	priority_queue<cc> q;
	for(i=1;i<=n&&a[i].a<=x;i++)
		q.push(a[i]);
	while(!q.empty())
	{
		cc t=q.top();
		q.pop();
		res=max(res,t.b-sum); 
		sum+=t.d;
		x+=t.c;
		for(;i<=n&&a[i].a<=x;i++)
			q.push(a[i]);
			
	}
	return res;
}

int main(){
	scanf("%d%d",&T,&n);
	if(n==0){puts("0 0");return 0;}
	for(int i=1;i<=n;i++)
	{
		scanf("%lld%lld%lld%lld",&a[i].a,&a[i].b,&a[i].c,&a[i].d);
		sum=sum+a[i].a;	
	}
	sort(a+1,a+n+1,cmp);
	ll l=0,r=sum*2,mid;
	while(l<=r)
	{
		int mid=(l+r)/2;
		if(check(mid))
			ans=mid,r=mid-1;
		else l=mid+1;
	}
	printf("%lld %lld",ans,work(ans));
}