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