奇奇怪怪的魔法阵 状压dp
大意:有 n 个点,编号0-n-1, n<=26。m条边。即某个点集中任意点之间不存在边,则称这个点集为“独立集”,求出虽有点集的子集中“独立集”的个数。空集也算“优秀点集”
思路:看到 n 最大只有 26。又是计数类问题,比较裸的状态压缩dp。
我们用二进制位 为 1表示选这个点,0表示不选。用 m s k i msk_i mski 表示所有和 i 有边的点
在状态转移过程中,对于状态 x 中的任意一点 i,显然可以将 x 的所有独立集分成两部分
含 i 和不含 i,对于不含 i 的显然可以从 dp x^(1<<i)转移,对于含 i 的,我们可以先把 i 从独立集中去掉,然后那些独立集中的点一定是和 i 没有边的点,所有可以从 dp x^(mski&i)转移过来
代码如下:
#include <bits/stdc++.h>
using namespace std;
const int N=26, M=1e9+7;;
typedef long long LL;
int n,m;
int msk[N+10],f[(1<<N)+10],mp[(1<<N)+10];
void solve()
{
cin>>n>>m;
for(int i=0;i<n;i++)msk[i]=1<<i;
for(int i=0;i<m;i++)
{
int x,y;
cin>>x>>y;
msk[x]|=(1<<y);
msk[y]|=(1<<x);
}
for(int i=0;i<n;i++)mp[1<<i]=i;
f[0]=1;
for(int i=0;i<(1<<n);i++)
{
int id=mp[i&-i];
f[i]=f[i^(1<<id)]+f[i^(msk[id]&i)];
if(f[i]>=M)f[i]-=M;
}
int ans=0;
for (int i=(1<<n)-1;i>=0;i--) ans=(233ll*ans+f[i])%M;
cout<<ans<<"\n";
}
int main()
{
ios::sync_with_stdio(false);
cin.tie(0);
int _=1;
while(_--)solve();
return 0;
}