tyvj 4869 罪犯分组 状压DP

炸一看题目，无向图？矛盾关系？难道是个图论？
显然，数据范围打消了我的顾虑。16？显然是状态亚索。
不过之后就卡这了，但经过OBlack的一番指导（OB真是太棒了），终于凌晨在寝室里用手机A了这道。
f[s]记录当前已处理的罪犯集合的最小小组数量。
对于状态s，枚举记录集合中罪犯的矛盾数，若满足条件，则就可以分为一组，即f[s]=1;
最后用j来枚举s的子集，找到min(f[j]+f[j^i])即可。

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