[loj3246]Cave Paintings

题中所给的判定条件似乎比较神奇，那么用严谨的话来说就是对于两个格子(x,y)和(x',y')，如果满足：
1.$xle x'$；
2.从(x,y)通过x,x+1,……,n行，允许向四个方向走，不允许经过石头的位置/画外，可以到达(x',y')
若(x,y)有水，那么(x',y')也有水
这个性质似乎并没有什么用，考虑对于$x=x'$的情况，相当于这些y必须都是同一个状态，容易想到一个思路：从下往上进行枚举，用一个并查集维护这一行的所有点，然后将这一行与下一行相邻的点连起来，形成这一行的并查集
通过并查集，可以将同一行内在同一个并查集内的点缩起来，并向下面的点连边，容易发现一定是森林
（证明：如果存在上面两个点同时指向其中一个点，那么这两个点肯定会缩起来）
那么题中的条件就有意义了：相当于如果一个点的根选择了1，那么整个子树都必须选1，求方案数，树形dp即可

#include<bits/stdc++.h>
using namespace std;
#define N 1005
#define mod 1000000007
int V,n,m,ans,f[N*N],dp[N*N],bl[N][N];
char s[N][N];
int find(int k){
    if (k==f[k])return k;
    return f[k]=find(f[k]);
}
void merge(int x,int y){
    if (find(x)==find(y))return;
    dp[find(y)]=1LL*dp[find(x)]*dp[find(y)]%mod; 
    f[find(x)]=find(y);
}
int main(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++)scanf("%s",s[i]);
    for(int i=n;i;i--){
        int las=V;
        for(int j=1;j<m-1;j++)
            if (s[i][j]=='.'){
                if (s[i][j-1]=='#'){
                    dp[++V]=1;
                    f[V]=V;
                }
                bl[i][j]=V;
                if (s[i+1][j]=='.')merge(bl[i+1][j],V);
            }
        for(int j=las+1;j<=V;j++)
            if (find(j)==j)dp[j]=(dp[j]+1)%mod;
    }
    ans=1;
    for(int i=1;i<=V;i++)
        if (find(i)==i)ans=1LL*ans*dp[i]%mod;
    printf("%d",ans);
}