洛谷P3092 [USACO13NOV]No Change G

题链
约翰到商场购物，他的钱包里有K(1 <= K <= 16)个硬币，面值的范围是1…100,000,000。

约翰想按顺序买 N个物品(1 <= N <= 100,000)，第i个物品需要花费c(i)块钱，(1 <= c(i) <= 10,000)。

在依次进行的购买N个物品的过程中，约翰可以随时停下来付款，每次付款只用一个硬币，支付购买的内容是从上一次支付后开始到现在的这些所有物品（前提是该硬币足以支付这些物品的费用）。不幸的是，商场的收银机坏了，如果约翰支付的硬币面值大于所需的费用，他不会得到任何找零。

请计算出在购买完N个物品后，约翰最多剩下多少钱。如果无法完成购买，输出-1

k<=16，我们考虑状压dp吧

对硬币进行状态压缩。

对于每一个状态，依次考虑其中每一个硬币放在最后面的情况，然后选出最优值，即是该状态的最优值

在dp的过程中其实隐含地进行了排序，从“其中每一个硬币放在最后面”就可以看出端倪。

这类题的特征就是

需要 选出 一部分，并且 进行 排序

选出 且 排序

还有一个题《邦邦的大合唱站队》也是同样的类型

#include<bits/stdc++.h>
#define ll long long
#define go(i,a,b) for(int i=a;i<=b;++i)
using namespace std;
int a[100000+10];
int suma[100000+10];
int yb[20];

int sum[(1<<16)+10];
int dp[(1<<16)+10];

int max(int a,int b){return a>b?a:b;}
int min(int a,int b){return a<b?a:b;}
void init_sum(int k){
int sm=(1<<k)-1;
go(j,0,k)sum[1<<j]=yb[j];

go(s,1,sm){
   sum[s]=sum[s&(s-1)]+sum[(((s-1)^s)+1)>>1];
   //cout<<sum[s]<<"=========\n";


}

}


void init_suma(int n){
suma[0]=0;
go(i,1,n)suma[i]=suma[i-1]+a[i];

}




int main(){

int k,n;
cin>>k>>n;



go(i,0,k-1)scanf("%d",&yb[i]);

go(i,1,n)scanf("%d",&a[i]);


init_sum(k);
init_suma(n);

int sm=(1<<k)-1;
go(s,1,sm){
    go(j,0,k-1){
        int ruler=1<<j;
        if(ruler>s)break;
        if( (s&ruler)==0  )continue;
        int i=dp[s-(1<<j)];
        ++i;
        if(a[i]>yb[j])
            continue;

        i=upper_bound(suma+i,suma+n+1,yb[j]+suma[i-1])-suma;
        --i;

        dp[s]=max(dp[s],i);
    }



}


int ans=INT_MAX;
bool flag=0;
go(s,1,sm){
    if(dp[s]==n)
        ans=min(ans,sum[s]),flag=1;


}
//cout<<ans;

if(flag){ans=sum[(1<<k)-1]-ans;cout<<ans;}
else
    cout<<"-1";
return 0;
}