Description
四年一度的幻想乡大选开始了,最近幻想乡最大的问题是很多来历不明的妖怪涌入了幻想乡,扰乱了幻想乡昔日的秩序。但是幻想乡的建制派妖怪(人类)博丽灵梦和八云紫等人整日高谈所有妖怪平等,幻想乡多元化等等,对于幻想乡目前面临的种种大问题却给不出合理的解决方案。
风见幽香是幻想乡里少有的意识到了问题严重性的大妖怪。她这次勇敢地站了出来参加幻想乡大选,提出包括在幻想乡边境建墙(并让人类出钱),大力开展基础设施建设挽回失业率等一系列方案,成为了大选年出人意料的黑马并顺利地当上了幻想乡的大统领。
幽香上台以后,第一项措施就是要修建幻想乡的公路。幻想乡一共有 nnn 个城市,之前原来没有任何路。幽香向选民承诺要减税,所以她打算只修 n−1n-1n−1条公路将这些城市连接起来。但是幻想乡有正好 n−1n-1n−1 个建筑公司,每个建筑公司都想在修路地过程中获得一些好处。虽然这些建筑公司在选举前没有给幽香钱,幽香还是打算和他们搞好关系,因为她还指望他们帮她建墙。所以她打算让每个建筑公司都负责一条路来修。
每个建筑公司都告诉了幽香自己有能力负责修建的路是哪些城市之间的。所以幽香打算 n−1n - 1n−1条能够连接幻想乡所有城市的边,然后每条边都交给一个能够负责该边的建筑公司修建,并且每个建筑公司都恰好修建一条边。
幽香现在想要知道一共有多少种可能的方案呢?两个方案不同当且仅当它们要么修的边的集合不同,要么边的分配方式不同。
Solution
好长的题目啊
容斥简单题。答案就是至多n家-至多n-1家+至多n-2家…这样,我们2n枚举然后跑矩阵树定理就可以了,容斥系数刚好就是(-1)^i
Code
#include <stdio.h>
#include <string.h>
#include <algorithm>
#include <vector>
#define rep(i,st,ed) for (int i=st;i<=ed;++i)
#define fi first
#define se second
typedef std:: pair <int,int> pair;
typedef long long LL;
const int MOD=1000000007;
const int N=25;
LL a[N][N],b[N][N],ans;
std:: vector <pair> c[N];
int read() {
int x=0,v=1; char ch=getchar();
for (;ch<'0'||ch>'9';v=(ch=='-')?(-1):(v),ch=getchar());
for (;ch<='9'&&ch>='0';x=x*10+ch-'0',ch=getchar());
return x*v;
}
LL det(int n) {
rep(i,1,n) rep(j,1,n) a[i][j]=(b[i][j]%MOD+MOD)%MOD;
LL ret=1;
rep(i,1,n) {
rep(j,i+1,n) {
while (a[j][i]) {
LL tmp=a[i][i]/a[j][i];
rep(k,i,n) a[i][k]=(a[i][k]-a[j][k]*tmp%MOD+MOD)%MOD;
std:: swap(a[i],a[j]);
ret=-ret;
}
}
if (!a[i][i]) return 0;
ret=ret*a[i][i]%MOD;
}
return (ret%MOD+MOD)%MOD;
}
void dfs(int dep,int xs,int n) {
if (dep==n) {
ans=ans+xs*det(n-1);
ans=(ans%MOD+MOD)%MOD;
return ;
}
for (int i=0;i<c[dep].size();++i) {
pair tmp=c[dep][i];
b[tmp.fi][tmp.fi]--;
b[tmp.se][tmp.se]--;
b[tmp.fi][tmp.se]++;
b[tmp.se][tmp.fi]++;
}
dfs(dep+1,-xs,n);
for (int i=0;i<c[dep].size();++i) {
pair tmp=c[dep][i];
b[tmp.fi][tmp.fi]++;
b[tmp.se][tmp.se]++;
b[tmp.fi][tmp.se]--;
b[tmp.se][tmp.fi]--;
}
dfs(dep+1,xs,n);
}
int main(void) {
int n=read();
rep(i,1,n-1) {
for (int s=read();s--;) {
int x=read(),y=read();
c[i].push_back(pair(x,y));
b[x][y]--; b[y][x]--;
b[x][x]++; b[y][y]++;
}
}
dfs(1,1,n);
printf("%lld\n", (ans%MOD+MOD)%MOD);
return 0;
}