#4507. Independent set 1

Posted xjqxjq

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了#4507. Independent set 1相关的知识,希望对你有一定的参考价值。

题目描述

求无向图的所有导出子图的最大独立集大小的和.

导出子图:若图 $G‘$ 是图 $G$ 的导出子图,则

- 图 $G‘$ 的点集是图 $G$ 的点集的子集;

- $G‘$ 中存在边 $(a,b)$,当且仅当点 $a$, $b$ 在 $G‘$ 中,且 $G$ 中存在边 $(a,b)$.

独立集:图中两两互不相邻的顶点构成的集合.

最大独立集:点数最大的独立集.

数据范围

对 $100\%$ 的数据,$2\le n\le 26$, $m\le \fracn\times (n-1)2$.

题解

考虑新加入一个节点对原来的图的影响

所以设 $f_s$ 表示选择了 $s$ 状态的点的最大独立集点数

假设新加入一个节点 $i$ ,那对于原来的图的状态 $j∈[0,2^i-1]$ ,可以列出 $dp$式子:

$f_j|(2^i)=max(f_j,f_j \& ((2^n-1) \oplus a_i)+1)$

其中 $a_i$ 为与 $i$ 相连的点的状态

代码

#include <bits/stdc++.h>
using namespace std;
int n,m,a[27],f[1<<26],ans;
int main()
    scanf("%d%d",&n,&m);
    for (int u,v,i=0;i<m;i++)
        scanf("%d%d",&u,&v),
        a[v]|=(1<<u),a[u]|=(1<<v);
    for (int s=1,i=0;i<n;i++,s<<=1)
        for (int j=0;j<s;j++)
            f[j|s]=max(f[j],f[j&(~a[i])]+1);
    for (int i=(1<<n)-1;~i;i--) ans+=f[i];
    return printf("%d\n",ans),0;

 

以上是关于#4507. Independent set 1的主要内容,如果未能解决你的问题,请参考以下文章

codeforces1198C Matching vs Independent Set 思维

hdu 4507 恨7不成妻(数位dp)

关于cisco 4507引擎,急急急!!

cisco网络设备IOS升级步骤

cisco4507引擎模式切换

独立集与顶点覆盖相互规约问题