[BZOJ4596][Shoi2016]黑暗前的幻想乡-Matrix Tree 矩阵树定理

黑暗前的幻想乡

Description

四年一度的幻想乡大选开始了，最近幻想乡最大的问题是很多来历不明的妖怪涌入了幻想乡，扰乱了幻想乡昔日的秩序。但是幻想乡的建制派妖怪（人类）博丽灵梦和八云紫等人整日高谈所有妖怪平等，幻想乡多元化等等，对于幻想乡目前面临的种种大问题却给不出合适的解决方案。

风间幽香是幻想乡里少有的意识到了问题的严重性的大妖怪。她这次勇敢的站了出来参加幻想乡大选。提出包括在幻想乡边境建墙（并让人类出钱），大力开展基础设施建设挽回失业率等一系列方案，成为了大选年出人意料的黑马并顺利的当上了幻想乡的大统领。

幽香上台以后，第一项措施就是要修建幻想乡的公路。幻想乡有 N 个城市，之间原来没有任何路。幽香向选民承诺要减税，所以她打算只修 N- 1 条路将这些城市连接起来。但是幻想乡有正好 N- 1 个建筑公司，每个建筑公司都想在修路的过程中获得一些好处。

虽然这些建筑公司在选举前没有给幽香钱，幽香还是打算和他们搞好关系，因为她还指望他们帮她建墙。所以她打算让每个建筑公司都负责一条路来修。

每个建筑公司都告诉了幽香自己有能力负责修建的路是哪些城市之间的。所以幽香打算选择 N-1 条能够连接幻想乡所有城市的边，然后每条边都交给一个能够负责该边的建筑公司修建，并且每个建筑公司都恰好修一条边。

幽香现在想要知道一共有多少种可能的方案呢？两个方案不同当且仅当它们要么修的边的集合不同，要么边的分配方式不同。

Input

第一行包含一个正整数 N(N<=17)， 表示城市个数。

接下来 N-1 行，其中第 i行表示第 i个建筑公司可以修建的路的列表：

以一个非负数mi 开头，表示其可以修建 mi 条路，接下来有mi 对数，

每对数表示一条边的两个端点。其中不会出现重复的边，也不会出现自环。

Output

仅一行一个整数，表示所有可能的方案数对 10^9 + 7 取模的结果。

Sample Input

4

2 3 2 4 2

5 2 1 3 1 3 2 4 1 4 3

4 2 1 3 2 4 1 4 2

Sample Output

17

HINT

先发福利~~~



福利发完了，那让我们来讨论一下这道喜(sang)闻(xin)乐(bing)见(kuang)的好题吧……

据说，计数题第一反应应该是容斥原理~

所以从容斥原理的角度去考虑这道题。

由于每个公司只能建特定的几条路，考虑这样容斥：

答案=总方案数-不选其中一个公司的方案数+不选其中两个公司的方案数……

这样就可以单纯的方案数并容斥了~

那么问题来了:如何计算方案数?

于是这道题就变成了一道矩阵树好题……

然而矩阵树这种无比高端的东西对于咱来说简直丧心病狂……

行列式调了好久好久……

╮(￣▽￣”)╭果然咱还是太弱了……

实现细节:

咱并没有上double以防炸精度~(好吧其实是忘记怎么写了)

用二进制来描述每个公司选或不选。

对每种情况求行列式暴力统计。

N很小所以这么暴力居然没TLE……

#include<iostream>
#include<cmath>
#include<vector>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>

#define outl(x) printf("%lld\n",(x))
#define outi(x) printf("%d\n",(x))

using namespace std;

typedef long long ll;

const int N=29,md=1000000007;

inline ll read()
{
ll x=0;
char ch=getchar();
while(ch<'0' ||
10c12
'9'<ch)ch=getchar();
while('0'<=ch && ch<='9')x=(x<<1)+(x<<3)+(ch^48),ch=getchar();
return x;
}

inline ll qpow(ll a,ll b)
{
ll ret=1;
while(b)
{
if(b&1)
ret=ret*a%md;
a=a*a%md;
b>>=1;
}
return ret;
}

ll a

,m
;
vector< pair<ll,ll> > g
;
int n;

inline ll det()
{
bool rev=0;
ll ret=1;

for(int i=1;i<n;i++)
for(int j=1;j<n;j++)
a[i][j]=(a[i][j]+md)%md;

for(int i=1;i<n;i++)
{
for(int j=i+1;j<n;j++)
{
ll A=a[i][i],B=a[j][i];
while(B)
{
ll C=A/B;
A%=B;
swap(A,B);

for(int k=i;k<n;k++)
a[i][k]=(a[i][k]-C*a[j][k]%md+md)%md;
for(int k=i;k<n;k++)
swap(a[i][k],a[j][k]);

rev^=1;
}
}

if(!a[i][i])
return 0;
ret=ret*a[i][i]%md;
}

if(rev)
ret=-ret;
return (ret+md)%md;
}

int main()
{
n=read();
for(int i=1;i<n;i++)
{
m[i]=read();
for(int j=1;j<=m[i];j++)
g[i].push_back((pair<ll,ll>){read(),read()});
}

ll nn=1<<n-1;
ll ans=0,u,v;
for(ll i=1;i<nn;i++)
{
int t=0;
memset(a,0,sizeof(a));
for(int j=1;j<n;j++)
if(i&(1<<j-1))
{
t++;
for(int k=0;k<m[j];k++)
{
u=g[j][k].first,v=g[j][k].second;
a[u][v]--;a[v][u]--;
a[u][u]++;a[v][v]++;
}
}
ans=(ans+det()*qpow(-1,(n-1-t)&1)+md)%md;
}

printf("%lld\n",ans);

return 0;
}