[TYVJ]P4869 罪犯分组状态压缩DP

最新推荐文章于 2020-11-12 21:40:56 发布

200815147

最新推荐文章于 2020-11-12 21:40:56 发布

阅读量355

点赞数 3

分类专栏： DP 状态压缩DP

本文链接：https://blog.csdn.net/baidu_36797646/article/details/78044954

版权

DP 同时被 2 个专栏收录

86 篇文章 0 订阅

订阅专栏

状态压缩DP

6 篇文章 0 订阅

订阅专栏

这里写图片描述

题解：

$f[i]$ 表示 i <script type="math/tex" id="MathJax-Element-59">i</script>这个状态最少能分多少组，枚举状态，用它的子集更新状态就可以了。

新技能：

子集枚举。显然可以枚举所有小于等于该状态的数，但还有更快的方法：比如枚举状态x的所有子集，可以这样写：for(int i=x;i;i=(i-1)&x)。i就为x的所有子集。感性的理解：x中某位为1，子集中该位为0或1；x中某位为0，子集中该位只能是0。&x就保证了第二点。

代码：

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int maxn=(1<<17);
int n,m,k,f[maxn];
bool map[18][18];
int main()
{
    scanf("%d%d%d",&n,&m,&k);
    for(int i=1;i<=m;i++)
    {
        int x,y;
        scanf("%d%d",&x,&y);x--;y--;
        map[x][y]=map[y][x]=true;
    }
    memset(f,63,sizeof(f));
    for(int i=0;i<(1<<n);i++)
    {
        int sum=0;
        for(int j=0;j<n;j++)
        for(int k=0;k<n;k++)
        if(map[j][k]&&(1<<j)&i&&(1<<k)&i)sum++;
        if(sum/2<=k)f[i]=1;
        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]);
}