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=30;~i;i--)if(l&a.l&(1<<i))
            {b.l|=(1<<i)-1;break;}
        return b;
    }
}f[N<<1],d;
signed main(){
    //freopen("test.in","r",stdin);
    scanf("%lld%lld",&n,&m);
    cnt1++;
    f[1]=data(0,0);
    register int i,j;
    for(i=1;i<=n;i++){
        scanf("%lld%lld",&d.v,&d.l);
        for(j=1;j<=cnt1;j++)f[cnt1+j]=f[j]+d;
        sort(f+1,f+2*cnt1+1);
        for(cnt2=1,j=2;j<=2*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=-1;
        for(int i=1;i<=cnt1;i++)if(f[i].l>=x)
            {ans=f[i].v;break;}
        printf("%lld
",ans);
    }
    return 0;
}