补充一下我理解的中文题意。。
你要重新组装电脑。。电脑有一些部件。。
你的预算有b，b(1~1e9),有n个部件。。
每个部件有类型和名称以及价钱和质量
现在你要在不超过预算b的情况下。。
每个类型都买一个部件。。然后最终的质量由最小的质量决定
在此约束下问你在预算b之内能组装的最大的质量是多少
对每个部件价钱范围1e6,质量范围1e9
===============
由于钱和质量没有必然联系
所以我们不能直接从质量小的开始贪。。
也没法从质量大的开始贪吧。。因为你还要保证你的钱要够
按质量排序则钱是无序的。。这样反正不好处理。。其他的处理方法我还没有想到
所以说你要怎么搞呢。。
a1,b1,a2,b2,a3,b3
c1,d1,c2,d2,c3,d3
x1,y1,x2,y2,x3,y3
因为一旦你的钱固定的话。。对于每一个枚举的总钱数。。这里的钱数是固定的。。
也就是dp中离散的钱数。。每一个枚举的钱数状态来说。。钱是固定的。。
所以你第一种取不取。。会对后面造成影响。。因为总钱数少了。。
好像也不是太好dp,如果算前i种物品剩余钱数是j所能达到的最大的最小质量
我后来想算前i种物品能够达到质量q的最小钱数。。但是由于q很大不能离散。。所以不能dp?这个理由好像很牵强。。
我现在也不是太清楚离散化和dp之间是什么关系。。但是毫无疑问对于一些连续的问题dp解决不了
一种解法是说。。我们二分最后的质量q。。
之前我在纠结
如果大于等于q1的最便宜的所有零件的组合超过预算。。
大于等于q2(q2>q1)的最便宜的所有零件的组合却不超过预算
但是这是不存在的。。q单调增加时。。最便宜的价格也单调递增。。
我大概是表达这个意思。。
按理说我的下标只能到2..因为一共3个元素。。
但是。。下标3,4却能访问。。不报越界。。其值是一个野值吧。。
这一点我们以后一定要注意。。
但是你如果程序一开始你就访问4.。就会停止运行。。
这个vector的trick一定要记好了。。
#include <iostream> #include <cstdio> #include <map> #include <vector> #include <cstring> #include <algorithm> using namespace std; int n,b,cnt; char op1[50];char op2[50]; struct node{int x,q;node(int x,int q):x(x),q(q){}}; typedef long long ll; const int maxn=1e3+7; vector<node> things[maxn]; int mxcheap[maxn][maxn]; bool cmp(node a,node b){return (a.q!=b.q)?a.q<b.q:a.x<b.x;} void init(){int i;for(i=0;i<maxn;++i) things[i].clear();} void Sort(){int i;for(i=0;i<cnt;++i) sort(things[i].begin(),things[i].end(),cmp);} bool check(int key){int i;ll sum=0; for(i=0;i<cnt;++i){ int left=0,right=things[i].size()-1,mid; while(left<=right){ mid=(left+right)>>1; if(things[i][mid].q<key) left=mid+1;else right=mid-1; } if(right+1<things[i].size()&&things[i][right+1].q>=key) right++; if(left>things[i].size()-1) { return false;} sum+=mxcheap[i][right]; } return (sum>b)?false:true;} int main(){ int t;scanf("%d",&t); while(t--){ scanf("%d%d",&n,&b);init(); int i,j,x,q,lq=-1,rq=-1;cnt=0; map<string,int> mp; for(i=0;i<n;++i){ scanf("%s%s%d%d",op1,op2,&x,&q); if(!mp.count(string(op1))){ mp[string(op1)]=cnt++; } things[mp[string(op1)]].push_back(node(x,q)); rq=(rq==-1)?q:max(q,rq); lq=(lq==-1)?q:min(q,lq); } Sort(); for(i=0;i<cnt;++i){ mxcheap[i][things[i].size()-1]=things[i].back().x; for(j=things[i].size()-2;j>=0;--j){ mxcheap[i][j]=min(things[i][j].x,mxcheap[i][j+1]); } } int left=lq,right=rq,mid,ans=-1; while(left<=right){ mid=(left+right)>>1; if(check(mid)){left=mid+1;} else{right=mid-1;} } if(check(right+1)) right++; printf("%d ",right); } return 0; }
这里我犯了一个错。。那就是。。check中的二分写错了。。
即使写对了也不对。。因为。。我以为质量最接近q的价格最便宜。。这只是对所有等于q的东西来说。。
那么对于大于q的可能更加便宜。。所以我们这里需要预处理出每种部件的i~size的区间的最小值。。
二分得到边界即可。。但是对于二分来讲。。我们应当既考虑left>size-1(size是vector的size)
也要考虑left<0,比如要求第一个》=q的元素的下标。。这里如果全部大于key那么right会小于0，
你要判断right+1合不合法以免漏判，如果全部小于key那么right=size-1,而left=size,此时left
就越界了。。这是妥妥的无解。。一定要注意这一点
性质：任何无序序列的区间i~n的最值都是单调的