DP - 01背包 - Happy Matt Friends - HDU - 5119

DP - 01背包 - Happy Matt Friends - HDU - 5119

题意：

$T组测试用例，每组包括整数n和m，以及一个长度为n的序列a_i。$

$在这n个数中选择一些数，使得这些数的异或值大于等于m，问一共有多少种方案。$

Sample Input：
2
3 2
1 2 3
3 3
1 2 3

Sample Output：
Case #1: 4
Case #2: 2

数据范围：

$$\begin{gathered} n<=40，m<=10^6，a_i<=10^6。 \\ Timelimit：6000ms，Memorylimit：510000kB \end{gathered}$$

---

分析：

$一个比较明显的01背包问题，只是把体积限制改成了异或值的大小。$

$状态表示，f[i][j]：考虑前i个数，且异或值不超过j的方案总数。$

$$\begin{gathered} 状态计算： \\ ①、不包含第i个数：f[i][j]=f[i-1][j]。 \\ ②、包含第i个数：f[i][j]=f[i-1][j \end{gathered}$$^$a[i]]。(这由异或的性质容易得到)。$
$那么总的方案就是二者相加：f[i][j]=f[i-1][j]+f[i-1][j$^$a[i]]。$

注意：

$$\begin{gathered} ①、因为序列中的元素上限为10^6，二进制形式下有21位，因此在异或的情况下可能会达到2^{20}， \\ 第二维空间应当大于这个值。 \end{gathered}$$

$②、第二层循环应当要枚举到第二维的上限，因为我们的状态定义的是不超过j，最后要求的应当是{\sum }_{i=m}^{2^{20}}f[n][i]。$

$③、f数组应当开ll类型，否则会爆int。$

代码：

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<iostream>
#include<vector>

#define ll long long

using namespace std;

const int N=50,M=1<<20;

int T,n,m,a[N];
ll f[N][M];


int main()
{
    cin>>T;
    for(int t=1;t<=T;t++)
    {
        memset(f,0,sizeof f);
        scanf("%d%d",&n,&m);
        for(int i=1;i<=n;i++) scanf("%d",&a[i]);

        f[0][0]=1;
        for(int i=1;i<=n;i++)
            for(int j=0;j<M;j++)
                f[i][j]=f[i-1][j]+f[i-1][j^a[i]];

        ll res=0;
        for(int i=m;i<M;i++) res+=f[n][i];
        printf("Case #%d: %lld\n",t,res);
    }

    return 0;
}