「ZJOI2016」小星星

传送门

Description

Solution

容斥,考虑有多少个节点不被匹配到,求出的方案,多个点可以同时不被匹配到

状态压缩+树形dp


Code 

#include<bits/stdc++.h>
#define ll long long
#define max(a,b) ((a)>(b)?(a):(b))
#define min(a,b) ((a)>(b)?(b):(a))
#define reg register
#define int ll
inline int read()
{
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9'){x=(x<<3)+(x<<1)+ch-'0';ch=getchar();}
    return x*f;
}
int n,m;
struct edge{int to,nex;}e[540];int en,hr[20],Hr[20];
void ins(int x,int y,int *h)
{
    e[++en]=(edge){y,h[x]};h[x]=en;
    e[++en]=(edge){x,h[y]};h[y]=en;
}
int Siz[1<<17],now,ans,f[20][20],g[20];
void dfs(int x,int fa)
{
    reg int i,j;
    
    for(i=0;i<n;++i)
    {
        if(now>>i&1)f[x][i]=1;
        else f[x][i]=0;
    }
    
    for(i=hr[x];i;i=e[i].nex)if(fa^e[i].to)dfs(e[i].to,x);
    memset(g,0,sizeof(int[n]));
    if(~fa)for(i=0;i<n;++i)if(now>>i&1)for(j=Hr[i];j;j=e[j].nex)if((now>>e[j].to)&1)g[e[j].to]+=f[x][i];
    for(i=0;i<n;++i)f[fa][i]*=g[i];
}
signed main()
{
    n=read();m=read();
    reg int i,x,y;
    for(i=1;i<=m;++i)
    {
        x=read()-1;y=read()-1;
        ins(x,y,Hr);
    }
    for(i=1;i<n;++i) x=read()-1,y=read()-1,ins(x,y,hr);
    int S=1<<n;
    for(x=1;x<S;++x)
    {
        Siz[x]=Siz[(x-1)&x]+1;now=x;dfs(0,-1);
        for(i=0;i<n;++i)if(x>>i&1)ans+=((n-Siz[x])&1?-1:1)*f[0][i];
    }
    printf("%lld\n",ans);
    return 0;
}



Blog来自PaperCloud,未经允许,请勿转载,TKS!

猜你喜欢

转载自www.cnblogs.com/PaperCloud/p/10702883.html
今日推荐