https://atcoder.jp/contests/abc187/tasks/abc187_f
思路:
预处理完全图的思路就是先把每个点的可达集合都求出来,然后枚举每一个状态,找到该状态的一个点,判这个点的状态集是否包含了这个枚举的状态。即枚举的状态是这个点状态集的子集。
然后就可以状压dp了
注意位运算多加括号
#include<iostream>
#include<vector>
#include<queue>
#include<cstring>
#include<cmath>
#include<map>
#include<set>
#include<cstdio>
#include<algorithm>
#define debug(a) cout<<#a<<"="<<a<<endl;
using namespace std;
const int maxn=(1<<19);
typedef long long LL;
inline LL read(){LL x=0,f=1;char ch=getchar(); while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}while (isdigit(ch)){x=x*10+ch-48;ch=getchar();}
return x*f;}
LL dp[maxn];
LL ma[20][20];
LL s[maxn];///标记该集合状态是否是完全图
LL b[maxn];///标记每个点的连通点图状态
int main(void){
cin.tie(0);std::ios::sync_with_stdio(false);
LL n,m;cin>>n>>m;
for(LL i=1;i<=m;i++){
LL u,v;cin>>u>>v;
ma[u][v]=ma[v][u]=1;
}
for(LL i=1;i<=n;i++) b[i]=1<<(i-1);
for(LL i=1;i<=n;i++){
for(LL k=1;k<=n;k++){
if(ma[i][k]) b[i]|=1<<(k-1);
}
}
for(LL x=0;x<(1<<n);x++){
bool flag=1;
for(LL i=1;i<=n;i++){
if(x&(1<<(i-1))){
if(! ( (x|b[i])==b[i]) ){
flag=0;
break;
}
}
}
if(flag) s[x]=1;
}
memset(dp,0x3f,sizeof(dp));
dp[0]=0;
for(LL x=0;x<(1<<n);x++){
for(LL i=x;i;i=(i-1)&x){
if(s[i]) dp[x]=min(dp[x],dp[x^i]+1);
}
}
cout<<dp[(1<<n)-1]<<"\n";
return 0;
}