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]);
}