BZOJ4455 [Zjoi2016]小星星

KuribohG神犇说过，看到计数想容斥

我们考虑对树的顶点进行标号，标号可重，如果两个点之间在树上有边那么这两个点的标号在图上必须有边

这样的话标号不重的方案数就是答案，用所有方案减去有重的，我们考虑容斥，计算任意标号的方案数-sigma 没有标号i，剩余号任意标(也就相当于本来该标i的位置被标了一个和别的点重复的号）的方案数+sigma没有标号i和j，剩余的号任意标的方案数……

2^n枚举可以标的号的集合，对于一个可以标的号的集合，我们进行treedp，f[i][j]表示点i标j的方案数，枚举每个点的标号和每个点的儿子的标号转移即可，sigma f[1][i]就是要求的值

复杂度O(2^n*n^3)

#include<iostream>
#include<cstdlib>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<ctime>
#include<algorithm>
#include<iomanip>
#include<vector>
#include<stack>
#include<queue>
#include<map>
#include<set>
#include<bitset>
using namespace std;
#define MAXN 20
#define MAXM 1010
#define ll long long
#define INF 1000000000
#define MOD 1000000007
#define eps 1e-8
struct vec{
	int to;
	int fro;
};
vec mp[MAXN*2];
int tai[MAXN],cnt;
bool MP[MAXN][MAXN];
int n,m;
int tot;
int a[MAXN];
ll ans;
ll f[MAXN][MAXN];
inline void be(int x,int y){
	mp[++cnt].to=y;
	mp[cnt].fro=tai[x];
	tai[x]=cnt;
}
inline void bde(int x,int y){
	be(x,y);
	be(y,x);
}
void dp(int x,int F){
	int i,j,k,y;
	for(i=tai[x];i;i=mp[i].fro){
		y=mp[i].to;
		if(y!=F){
			dp(y,x);
		}
	}
	for(i=1;i<=tot;i++){
		f[x][i]=1;
		for(j=tai[x];j;j=mp[j].fro){
			y=mp[j].to;
			ll t=0;	
			if(y!=F){
				for(k=1;k<=tot;k++){
					if(MP[a[i]][a[k]]){
						t+=f[y][k];
					}
				}
				f[x][i]*=t;
			}
		}
	}
}
int main(){
	int i,j,x,y,t;
	scanf("%d%d",&n,&m);
	for(i=1;i<=m;i++){
		scanf("%d%d",&x,&y);
		MP[x][y]=MP[y][x]=1;
	}
	for(i=1;i<n;i++){
		scanf("%d%d",&x,&y);
		bde(x,y);
	}
	int N=1<<n;
	for(i=1;i<N;i++){
		tot=0;
		for(j=1;j<=n;j++){
			if((i>>(j-1))&1){
				a[++tot]=j;
			}
		}
		dp(1,0);
		ll t=0;
		for(j=1;j<=tot;j++){
			t+=f[1][j];
		}
		ans+=t*(ll)(pow(-1,n-tot));
	}
	printf("%lld\n",ans);
	return 0;
}

/*
4 3
1 2
1 3
1 4
4 1
4 2
4 3

*/