那个式子可以想成有两个物品必拿,有两个物品必不拿,最后体积小于等于m的方案数
也是同样想到了n^3的dp,必然会T,走进死沟,看了题解,才想到...
不要考虑太多,对每个物品,有四种拿的状态,拿,必定拿,不拿,必定不拿
这样就裸的转移就可以了
#include<bits/stdc++.h>
using namespace std;
int a[1005];
long long dp[2][1005][3][3];
const int mo=1e9+7;
int main()
{
int T;
cin>>T;
while(T--)
{
int n,s,i,j,k1,k2,now,pre;
cin>>n>>s;
for(i=0;i<n;i++)
scanf("%d",&a[i]);
memset(dp,0,sizeof(dp));
dp[0][0][0][0]=1;
now=1,pre=0;
for(i=0;i<n;i++)
{
memset(dp[now],0,sizeof(dp[now]));
for(j=s;j>=0;j--)
{
for(k1=0;k1<=2;k1++)
{
for(k2=0;k2<=2;k2++)
{
dp[now][j][k1][k2]=(dp[now][j][k1][k2]+dp[pre][j][k1][k2])%mo;
if(k2)
dp[now][j][k1][k2]=(dp[now][j][k1][k2]+dp[pre][j][k1][k2-1])%mo;
}
}
if(j>=a[i])
{
for(k1=0;k1<=2;k1++)
{
for(k2=0;k2<=2;k2++)
{
dp[now][j][k1][k2]=(dp[now][j][k1][k2]+dp[pre][j-a[i]][k1][k2])%mo;
if(k1)
dp[now][j][k1][k2]=(dp[now][j][k1][k2]+dp[pre][j-a[i]][k1-1][k2])%mo;
}
}
}
}
swap(now,pre);
}
long long ans=0;
for(i=1;i<=s;i++)
ans=(ans+dp[pre][i][2][2])%mo;
cout<<ans*4%mo<<endl;
}
return 0;
}