BZOJ 4031: [HEOI2015]小Z的房间 矩阵树定理

4031: [HEOI2015]小Z的房间

Time Limit: 10 Sec  Memory Limit: 256 MB
Submit: 1193  Solved: 587
[Submit][Status][Discuss]

Description

你突然有了一个大房子，房子里面有一些房间。事实上，你的房子可以看做是一个包含n*m个格子的格状矩形，每个格子是一个房间或者是一个柱子。在一开始的时候，相邻的格子之间都有墙隔着。

你想要打通一些相邻房间的墙，使得所有房间能够互相到达。在此过程中，你不能把房子给打穿，或者打通柱子（以及柱子旁边的墙）。同时，你不希望在房子中有小偷的时候会很难抓，所以你希望任意两个房间之间都只有一条通路。现在，你希望统计一共有多少种可行的方案。

Input

第一行两个数分别表示n和m。

接下来n行，每行m个字符，每个字符都会是’.’或者’*’，其中’.’代表房间，’*’代表柱子。

Output

 一行一个整数，表示合法的方案数 Mod 10^9

Sample Input

3 3
...
...
.*.

Sample Output

15

HINT

对于前100%的数据，n,m<=9

矩阵树定理裸题

！模数是合数 用辗转相除法解决！

#include<cmath>
#include<ctime>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<complex>
#include<iostream>
#include<algorithm>
#include<iomanip>
#include<vector>
#include<string>
#include<bitset>
#include<queue>
#include<map>
#include<set>
using namespace std;

typedef long long ll;

inline int read()
{
	int x=0,f=1;char ch=getchar();
	while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
	while(ch>='0'&&ch<='9'){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
	return x*f;
}
void print(ll x)
{if(x<0)putchar('-'),x=-x;if(x>=10)print(x/10);putchar(x%10+'0');}

const int N=100,mod=int(1e9);

int a[N][N];

int n,m,xx[4]={0,0,1,-1},yy[4]={1,-1,0,0};

ll det(int num)
{
	register int i,j,k;
	ll ans=1,f=1,x,y,tmp;
	for(i=1;i<=num;++i)for(j=1;j<=num;++j)a[i][j]=(a[i][j]+mod)%mod;
	for(i=1;i<=num;++i)
	{
		for(j=i+1;j<=num;++j)
		{
			x=a[i][i];y=a[j][i];
			while(y)
			{
				tmp=x/y;x%=y;swap(x,y);
				for(k=i;k<=num;++k)
				a[i][k]=((a[i][k]-tmp*a[j][k])%mod+mod)%mod;
				for(k=i;k<=num;++k)swap(a[i][k],a[j][k]);
				f=-f;
			}
		}
		if(!a[i][i])return 0;
		ans=ans*a[i][i]%mod;
	}
	if(f==-1)ans=(mod-ans)%mod;
	return ans;
}

int mp[N][N];
int main()
{
	n=read();m=read();
	register int cnt=0,i,j,k,x,y;
	char s[N];
	for(i=1;i<=n;++i)
	{
		scanf("%s",s+1);
		for(j=1;j<=m;++j)
			if(s[j]=='.')mp[i][j]=++cnt;
	}
	for(i=1;i<=n;++i)for(j=1;j<=m;++j)
	{
		if(!mp[i][j])continue;
		for(k=0;k<4;++k)
		{
			x=xx[k]+i;y=yy[k]+j;
			if(x<1||y<1||x>n||y>m||!mp[x][y])continue;
			a[mp[i][j]][mp[x][y]]--;a[mp[i][j]][mp[i][j]]++;
		}
	}
	print(det(cnt-1));puts("");
	return 0;
}
/*
3 3
...
...
.*.

15
*/