ZJOI2016小星星

ZJOI2016小星星
给一棵n个点的树和一个n个点m条边的无向图。
问有多少种方案把树上的节点一一对应到一个无向图上的节点，
且树上两点间有边时，他们在无向图上对应的两个点之间也要有边。
n≤17

---

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <queue>
#include <cmath>
#define File(x) "test."#x
#define For(i,s,e) for(int i=(s); i<=(e); i++)
#define Rep(i,s,e) for(int i=(s); i>=(e); i--)
using namespace std;

const int N=5000+1;
typedef long long LL;

int n,m;
int t[N][N],e[N][N],po[N],cnt;
LL f[N][N],ans;

void dp(int x, int fa){
    for(int p=1; p<=t[x][0]; p++)
        if(t[x][p]!=fa) dp(t[x][p], x);
    For(i,1,cnt){
        f[x][i]=1;
        for(int p=1; p<=t[x][0]; p++){
            LL sum=0;
            int v=t[x][p]; if(v==fa) continue;
            For(j,1,cnt){
                if(e[po[i]][po[j]]) sum+=f[v][j];
            }
            f[x][i]*=sum;
            if(!sum) break;
        }
    }
}

int main()
{
    freopen(File(in),"r",stdin);
    freopen(File(out),"w",stdout);

//  ios::sync_with_stdio(false);

    scanf("%d%d",&n,&m);
    For(i,1,m){
        int u,v; scanf("%d%d",&u,&v);
        e[u][v]=e[v][u]=1;
    }
    For(i,1,n-1){
        int u,v; scanf("%d%d",&u,&v);
        t[u][++t[u][0]]=v; t[v][++t[v][0]]=u;
    }

    For(S,1,(1<<n)-1){//对应下标要加一 
        int x=S,p=0;
        LL sum=0;
        cnt=0;
        while(x){
            if(x&1) po[++cnt]=p+1;
            x>>=1; p++;
        }

        dp(1,0);

        For(i,1,cnt) sum+=f[1][i];
        if((n-cnt)&1) ans-=sum;
        else ans+=sum;
//      printf("%d %d\n",S,ans); 
    }
    cout<<ans<<endl;

    return 0;
}