[TYVJ]P4869 罪犯分组 状态压缩DP

题解：

f[i]表示i这个状态最少能分多少组，枚举状态，用它的子集更新状态就可以了。

新技能：

子集枚举。显然可以枚举所有小于等于该状态的数，但还有更快的方法：比如枚举状态x的所有子集，可以这样写：for(int i=x;i;i=(i-1)&x)。i就为x的所有子集。感性的理解：x中某位为1，子集中该位为0或1；x中某位为0，子集中该位只能是0。&x就保证了第二点。

代码：

#include<cstdio>#include<cstring>#include<iostream>#include<algorithm>using namespace std;const int maxn=(1<<17);int n,m,k,f[maxn];bool map[18][18];int main(){    scanf("%d%d%d",&n,&m,&k);    for(int i=1;i<=m;i++)    {        int x,y;        scanf("%d%d",&x,&y);x--;y--;        map[x][y]=map[y][x]=true;    }    memset(f,63,sizeof(f));    for(int i=0;i<(1<<n);i++)    {        int sum=0;        for(int j=0;j<n;j++)        for(int k=0;k<n;k++)        if(map[j][k]&&(1<<j)&i&&(1<<k)&i)sum++;        if(sum/2<=k)f[i]=1;        for(int j=i;j;j=(j-1)&i)f[i]=min(f[i],f[j]+f[i^j]);    }    printf("%d",f[(1<<n)-1]);}