zjoi 小星星

题解：

dp很容易想

f[i][j][s]表示匹配到了i点 对应点为j点，状态为s 那么这样的时间复杂度为（3^n*n^2）

然后会发现这其实可以转化为可以重复利用元素的子集卷积

http://www.cnblogs.com/yinwuxiao/p/8471250.html

因为可以发现那些一定是不满足的
这样是2^n*n^3

然而本人并不怎么会调整常数。。所以就被卡常了------以后再改吧。。

还有就是空间差不多是卡着512mb的

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define sz [18][(1<<17)+10]
ll n,m,f[][],l,lim,pos[<<];
ll head[],dp[]sz,count2[];
struct re{
  ll a,b;
}a[];
void arr(ll x,ll y)
{
  a[++l].a=head[x];
  a[l].b=y;
  head[x]=l;
}
ll ff1 sz,ff2 sz,ff3 sz;
void dfs(ll x,ll fa)
{
  count2[x]=;
  ll u=head[x];
  while (u)
  {
    ll v=a[u].b;
    if (v!=fa) dfs(v,x),count2[x]+=count2[v];
    u=a[u].a;
  }
  u=head[x];
  memset(ff1,,sizeof(ff1));
  memset(ff3,,sizeof(ff3));
  for (ll i=;i<=n;i++)  ff1[i][<<(i-)]=;
  for (ll i=;i<=n;i++)  ff3[i][<<(i-)]=;
  while (u)
  {
    ll v=a[u].b;
    memset(ff2,,sizeof(ff2));
    if (v!=fa)
    {
      for (ll i=;i<=n;i++)
      {
        for (ll j=;j<=n;j++)
          if (f[i][j])
            for (ll k=;k<lim;k++)
              ff2[i][k]+=dp[v][j][k];
        for (ll j=;j<=n;j++)
          for (ll k=;k<lim;k++)
            if (k>>(j-)&) ff1[i][k]+=ff1[i][k^(<<(j-))];
        for (ll j=;j<=n;j++)
          for (ll k=;k<lim;k++)
            if (k>>(j-)&) ff2[i][k]+=ff2[i][k^(<<(j-))];
        for (ll j=;j<lim;j++) ff3[i][j]=ff2[i][j]*ff1[i][j];
        for (ll j=;j<=n;j++)
          for (ll k=;k<lim;k++)
            if (k>>(j-)&) ff3[i][k]-=ff3[i][k^(<<(j-))];
          for (ll k=;k<lim;k++) ff1[i][k]=ff3[i][k];
      }
    }
    u=a[u].a;
  }
  for (ll i=;i<=n;i++)
    for (ll j=;j<lim;j++)
      if (pos[j]==count2[x])
      dp[x][i][j]=ff3[i][j];
}
int main()
{
  freopen("noip.in","r",stdin);
  freopen("noip.out","w",stdout);
  std::ios::sync_with_stdio(false);
  cin>>n>>m; lim=<<n;
  for (int i=;i<lim;i++)
  {
    int cnt=;
    for (int j=;j<=n;j++)
      if (i>>(j-)&) cnt++;
    pos[i]=cnt;
  }
  memset(f,,sizeof(f));
  ll c,d;
  for (ll i=;i<=m;i++)
  {
    cin>>c>>d; f[c][d]=; f[d][c]=;
  }
  for (ll i=;i<=n-;i++)
  {
    cin>>c>>d; arr(c,d); arr(d,c);
  }
  dfs(,);
  ll ans=;
  for (ll i=;i<=n;i++) ans+=dp[][i][lim-];
  cout<<ans<<endl;
}