【bzoj4596】[Shoi2016]黑暗前的幻想乡 容斥原理+矩阵树定理

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

Sol

这道题一眼矩阵树定理,但是每种颜色都得有。。。

再看数据范围,肯定需要容斥一发:可用n-1种颜色-可用n-2种颜色+可用n-3种颜色......

Code

#include <bits/stdc++.h>
using namespace std;
int n,m,S,a,b,x,y,t,ans,v[16][16],res,P=1e9+7;vector<int>ea[16],eb[16];
int cal()
{
    res=1;memset(v,0,sizeof(v));
    for(int i=1;i<n;i++) if((S>>(i-1))&1) for(int j=0;j<ea[i].size();j++) a=ea[i][j],b=eb[i][j],v[a][a]++,v[b][b]++,v[a][b]--,v[b][a]--;
    for(int i=1;i<=n;i++) for(int j=1;j<=n;j++) v[i][j]=(v[i][j]+P)%P;
    for(int i=1,k;i<n;res=1ll*res*v[i][i]%P,i++) for(int j=i+1;j<n;j++)
    {
        while(v[i][i]&&v[j][i])
        {
            if(v[i][i]>=v[j][i]) for(t=v[i][i]/v[j][i],k=i;k<n;k++) v[i][k]=(v[i][k]-1ll*t*v[j][k]%P+P)%P;
            else for(t=v[j][i]/v[i][i],k=i;k<n;k++) v[j][k]=(v[j][k]-1ll*t*v[i][k]%P+P)%P;
        }
        if(v[j][i]) for(res=P-res,k=i;k<n;k++) swap(v[i][k],v[j][k]); 
    }
    return res;
}
int main()
{
    scanf("%d",&n);
    for(int i=1;i<n;i++)
    {
        scanf("%d",&m);
        for(int j=1;j<=m;j++) scanf("%d%d",&x,&y),ea[i].push_back(x),eb[i].push_back(y);
    }
    for(S=1;S<(1<<(n-1));S++) ans=(ans+1ll*(((n-1-__builtin_popcount(S))&1)?-1:1)*cal())%P;
    printf("%d
",(ans+P)%P);
}
原文地址:https://www.cnblogs.com/CK6100LGEV2/p/9397916.html