炸一看题目,无向图?矛盾关系?难道是个图论?
显然,数据范围打消了我的顾虑。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]);
}