loj553 「LibreOJ Round #8」MINIM

最简单的暴力dp就是f[i][j]表示到i异或和为j的最小花费。

然后我们发现两堆大小为i,j的石子合并，可以更新到一堆大小为k=i,j最高公共的1以下都是1，以上是i|j，权值为v1+v2的石子。

我们可以打表发现这个段数其实很小，其实也可以严谨的证明或者感性理解，但是我不会。。

所以我们记录当前的所有f值以及端点然后暴力转移就可以了。

 #include <cstdio>
 #include <cstring>
 #include <iostream>
 #include <algorithm>
 #include <cmath>
 #include <map>
 #define N 100500
 #define int long long
 using namespace std;
 int n,m,q,cnt1,cnt2,ans;
 struct data{
     int v,l;
     data(){}
     data(int x,int y){v=x;l=y;}
     bool operator < (const data & a)const{
         if(v==a.v)return l>a.l;
         return v<a.v;
     }
     data operator + (data a){
         data b=data(v+a.v,l|a.l);
         for(int i=;~i;i--)if(l&a.l&(<<i))
             {b.l|=(<<i)-;break;}
         return b;
     }
 }f[N<<],d;
 signed main(){
     //freopen("test.in","r",stdin);
     scanf("%lld%lld",&n,&m);
     cnt1++;
     f[]=data(,);
     register int i,j;
     for(i=;i<=n;i++){
         scanf("%lld%lld",&d.v,&d.l);
         for(j=;j<=cnt1;j++)f[cnt1+j]=f[j]+d;
         sort(f+,f+*cnt1+);
         for(cnt2=,j=;j<=*cnt1;j++)
             if(f[j].l>f[cnt2].l)f[++cnt2]=f[j];
         cnt1=cnt2;
     }
     scanf("%lld",&q);
     int x;
     while(q--){
         scanf("%lld",&x);
         ans=-;
         for(int i=;i<=cnt1;i++)if(f[i].l>=x)
             {ans=f[i].v;break;}
         printf("%lld\n",ans);
     }
     return ;
 }