bzoj3312[Usaco2013 Nov]No Change 状压DP

比较明显的模型，一眼状压。
一开始想的设f[i][j]表示前i个，状态为j，然后发现会T。
后来发现原来i可以去掉，设f[j]表示状态为j时能买的最多账单。
二分加速一下，然后求出最大的f，用ans存一下，然后答案就是sum[m]-ans。
一开始忘记判断-1白白WA了两发。

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<iostream>
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fd(i,a,b) for(int i=a;i>=b;i--)
using namespace std;
const int N=5e5+5;
typedef long long ll;
int m,n;
ll f[N],a[N],sum[N],mx,ans;
inline ll find(ll l,ll r,ll x)
{
    ll l1=l,ret=0,top=sum[x]-sum[x-1];
    while (l<=r)
    {
        ll mid=(l+r)/2;
        if (a[mid]-a[l1-1]<=top)ret=mid,l=mid+1;
        else r=mid-1; 
    }
    return ret;
}
int main()
{
    scanf("%d%d",&m,&n);
    fo(i,1,m)
    {
        ll x;
        scanf("%lld",&x);
        sum[i]=sum[i-1]+x;
    } 
    fo(i,1,n)
    {
        scanf("%lld",&a[i]);
        a[i]+=a[i-1];
    }
    mx=(1<<m)-1;ans=2147483646;
    fo(i,0,mx-1)
    {
        fo(j,1,m)
        if (!(i&(1<<j-1)))
        {
            ll num=find(f[i]+1,n,j);
            f[i|(1<<j-1)]=max(f[i|(1<<j-1)],num);
            if (num==n)
            {
                ll ret=0;
                fo(l,1,m)
                if ((i|(1<<j-1))&(1<<l-1))ret+=sum[l]-sum[l-1];
                ans=min(ans,ret);
            }
        }
    }
    if (ans==2147483646)printf("-1\n");
    else
    printf("%lld\n",sum[m]-ans);
}