bzoj 4031: [HEOI2015]小Z的房间 （矩阵树定理+高斯消元）

4031: [HEOI2015]小Z的房间

Time Limit: 10 Sec   Memory Limit: 256 MB
Submit: 932   Solved: 454
[ 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

Source

[ Submit][ Status][ Discuss]

题解：矩阵树定理+高斯消元

利用类似辗转相除的方法，避免了对1e9取余，就可以避开做除法的过程。

因为每次交换行，都会使行列式的值变成原来的-1倍，因为是取模，所以不能对最后的结果直接取绝对值。需要记录交换的次数，然后计算答案，再进行取模。

#include<iostream> 
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#define N 100
#define LL long long 
#define p 1000000000
using namespace std;
int n,m,a[N][N],mark,cnt,num[N][N];
char s[N][N];
int px[4]={0,-1},py[4]={-1,0};
void guass(int n)
{
    int num;
    for (int i=1;i<=n;i++) {
        num=i;
        for (int j=i+1;j<=n;j++)
         if (abs(a[j][i])>abs(a[num][i]))
          num=j;
        if (num!=i) mark^=1;
        for (int j=1;j<=n;j++) swap(a[i][j],a[num][j]);
        for (int j=i+1;j<=n;j++) 
         while (a[j][i]!=0) {
            LL tmp=a[j][i]/a[i][i];
            for (int k=1;k<=n;k++)
             a[j][k]=(a[j][k]+p-tmp*a[i][k]%p)%p;
            if (!a[j][i]) break;
            mark^=1;
            for (int k=1;k<=n;k++) swap(a[j][k],a[i][k]);
         }
    }
    LL ans=1;
    if (mark) ans=-ans;
    for (int i=1;i<=n;i++)
     ans=(ans*a[i][i])%p;
    printf("%lld\n",(ans+p)%p);
}
int main()
{
    scanf("%d%d",&n,&m);
    for (int i=1;i<=n;i++)  scanf("%s",s[i]+1);
    for (int i=1;i<=n;i++)
     for (int j=1;j<=m;j++) 
      if (s[i][j]=='.') num[i][j]=++cnt;
    for (int i=1;i<=n;i++)
     for (int j=1;j<=m;j++) {
        for (int k=0;k<2;k++) {
            int nowx=i+px[k]; int nowy=j+py[k];
            if (nowx==0||nowy==0) continue;
            if (s[i][j]=='*'||s[nowx][nowy]=='*') continue;
            int t=num[i][j]; int t1=num[nowx][nowy];
            a[t][t]++; a[t1][t1]++;
            a[t][t1]=-1; a[t1][t]=-1;
         }
     }
    //for (int i=1;i<=cnt;i++,cout<<endl)
    // for (int j=1;j<=cnt;j++) cout<<a[i][j]<<" "; 
    guass(cnt-1);
}