关押罪犯

QAQ
看下数据范围，n<=16.emmmm
这么小的范围，再看枚举的东西，应该是状压DP了
f[s]表示关押s个罪犯最少分几组
n^2暴力判断s状态下罪犯的冲突数
如果<=k，那这些罪犯就可以分为1组
如果不行，那就枚举s的子集和子集关于s的补集，去找最小的就行啦！
复杂度O(n^3)

#include <cstdio>
#include <iostream>
#include <cstring>
using namespace std;
int g[18][18];
int f[1<<16+1];
int main()
{
    int n,m,k;
    scanf("%d%d%d",&n,&m,&k);
    memset(f,127/3,sizeof(f));
    for(int i=1;i<=m;i++)
     {
        int x,y;
        scanf("%d%d",&x,&y); 
        g[x][y]=g[y][x]=1;
     }
     for(int i=1;i<(1<<n);i++)
     {
        int tot=0;
        for(int j=1;j<=n;j++)
         for(int l=j+1;l<=n;l++)
          if (g[j][l] && (i & (1 << (j - 1)) && (i & (1 << (l - 1)))))
              tot++;
        if(tot<=k)
         f[i]=1;
        else
         {
            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]);
}