HDU 5800 To My Girlfriend （背包变形）

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=5800

#include<bits/stdc++.h>
using namespace std;

#define debug puts("YES");
#define rep(x,y,z) for(int (x)=(y);(x)<(z);(x)++)
#define ll long long

#define lrt int l,int r,int rt
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define root l,r,rt
#define mst(a,b) memset((a),(b),sizeof(a))
#define pii pair<ll,ll>
#define mk(x,y) make_pair(x,y)
const int  maxn =1e3+1;
const int mod=1e9+7;
const int ub=1e6;
ll powmod(ll x,ll y){ll t; for(t=1;y;y>>=1,x=x*x%mod) if(y&1) t=t*x%mod; return t;}
ll gcd(ll x,ll y){return y?gcd(y,x%y):x;}
/*
题目大意：给定一个集合，
问满足必选i,j个物品和必不选k,l个物品的所有子集
且其和为m的数量。

一个变种的背包问题，考虑对于一个物品的加入，
其对所有状态产生的影响，就是枚举该物品的所有可能情况，
即跳过这个物品，选中这个物品但不列入必选和必不选，
列入必选且选中，列入必不选且不选。
因为最后我们只要求(2,2)所以空间和时间都是允许的，
下面就和普通的背包没什么两样了，详见代码。
时间复杂度:O(n*n)。
*/

int dp[maxn][maxn][3][3];
int a[maxn],n,m;
int main(){
    int t;scanf("%d",&t);
    while(t--){
        mst(dp,0),dp[0][0][0][0]=1;
        scanf("%d%d",&n,&m);
        rep(i,1,n+1) scanf("%d",&a[i]);
        rep(i,1,n+1) rep(j,0,m+1) rep(k,0,3) rep(l,0,3){
            ll tmp=0;
            tmp+=dp[i-1][j][k][l];
            if(j>=a[i]) tmp+=dp[i-1][j-a[i]][k][l];
            if(j>=a[i]&&k) tmp+=dp[i-1][j-a[i]][k-1][l];
            if(l) tmp+=dp[i-1][j][k][l-1];
            dp[i][j][k][l]=tmp%mod;
        }
        ll ans=0;rep(i,0,m+1) ans=(ans+dp[n][i][2][2])%mod;
        printf("%lld\n",(ans*4)%mod);
    }
    return 0;
}