bzoj4455 [Zjoi2016]小星星

Description

---

小Y是一个心灵手巧的女孩子，她喜欢手工制作一些小饰品。她有n颗小星星，用m条彩色的细线串了起来，每条细
线连着两颗小星星。有一天她发现，她的饰品被破坏了，很多细线都被拆掉了。这个饰品只剩下了n?1条细线，但
通过这些细线，这颗小星星还是被串在一起，也就是这些小星星通过这些细线形成了树。小Y找到了这个饰品的设
计图纸，她想知道现在饰品中的小星星对应着原来图纸上的哪些小星星。如果现在饰品中两颗小星星有细线相连，
那么要求对应的小星星原来的图纸上也有细线相连。小Y想知道有多少种可能的对应方式。只有你告诉了她正确的
答案，她才会把小饰品做为礼物送给你呢。

n<=17,m<=n*(n-1)/2

Solution

---

考虑容斥。设f[i,j]表示以i为根的子树都配对了，且i与j配对的方案数。枚举一下集合，那么答案就是随便配对的方案-去掉一个配对的方案+去掉两个配对的方案….
注意开longlong

Code

---

#include <stdio.h>
#include <string.h>
#define rep(i,st,ed) for (int i=st;i<=ed;++i)

typedef long long LL;
const int N=25;
const int E=405;

struct edge {int x,y,next;} e[E];

int ls[N],edCnt;
int vec[N];
int n,m;
LL f[N][N],ans;

bool mp[N][N];

void add_edge(int x,int y) {
    e[++edCnt]=(edge) {x,y,ls[x]}; ls[x]=edCnt;
    e[++edCnt]=(edge) {y,x,ls[y]}; ls[y]=edCnt;
}

void dp(int now,int fa) {
    for (int i=ls[now];i;i=e[i].next) {
        if (e[i].y==fa) continue;
        dp(e[i].y,now);
    }
    rep(i,1,vec[0]) {
        f[now][i]=1;
        for (int j=ls[now];j;j=e[j].next) {
            if (e[j].y==fa) continue;
            LL tmp=0;
            rep(k,1,vec[0]) {
                if (mp[vec[i]][vec[k]]) tmp+=f[e[j].y][k];
            }
            f[now][i]=f[now][i]*tmp;
        }
    }
}

void solve(int v,int s) {
    LL ret=0; vec[0]=0;
    rep(i,1,n) if (!(s&(1<<(i-1)))) vec[++vec[0]]=i;
    dp(1,0);
    rep(i,1,vec[0]) ret=ret+f[1][i];
    ans=ans+(LL)v*ret;
}

void dfs(int dep,int v,int s) {
    if (dep==n+1) {
        solve(v,s);
        return ;
    }
    dfs(dep+1,v,s);
    dfs(dep+1,-v,s|(1<<(dep-1)));
}

int main(void) {
    scanf("%d%d",&n,&m);
    rep(i,1,m) {
        int x,y; scanf("%d%d",&x,&y);
        mp[x][y]=mp[y][x]=1;
    }
    rep(i,2,n) {
        int x,y; scanf("%d%d",&x,&y);
        add_edge(x,y);
    }
    dfs(1,1,0);
    printf("%lld\n", ans);
    return 0;
}