【BZOJ-4569】萌萌哒 ST表 + 并查集

4569: [Scoi2016]萌萌哒

Time Limit: 10 Sec  Memory Limit: 256 MB
Submit: 459  Solved: 209
[Submit][Status][Discuss]

Description

一个长度为n的大数，用S1S2S3...Sn表示，其中Si表示数的第i位,S1是数的最高位，告诉你一些限制条件，每个条件表示为四个数，l1，r1，l2，r2，即两个长度相同的区间，表示子串Sl1Sl1+1Sl1+2...Sr1与Sl2Sl2+1Sl2+2...Sr2完全相同。比如n=6时，某限制条件l1=1，r1=3，l2=4，r2=6，那么123123，351351均满足条件，但是12012，131141不满足条件，前者数的长度不为6，后者第二位与第五位不同。问满足以上所有条件的数有多少个。

Input

第一行两个数n和m，分别表示大数的长度，以及限制条件的个数。接下来m行，对于第i行,有4个数li1，ri1，li2，ri2，分别表示该限制条件对应的两个区间。

1≤n≤10^5，1≤m≤10^5，1≤li1,ri1,li2,ri2≤n；并且保证ri1-li1=ri2-li2。

Output

一个数，表示满足所有条件且长度为n的大数的个数，答案可能很大，因此输出答案模10^9+7的结果即可。

Sample Input

4 2
1 2 3 4
3 3 3 3

Sample Output

90

HINT

Source

Solution

这道题非常巧妙

先思考暴力，对每一位维护一个并查集，每次限制就是把那两个区间信息合并，最后答案根据剩有的计算即可

那么问题在于如何快速的合并

考虑线段树，分出来的区间过多，合并还是有问题，所以换种方法

倍增！建立ST表，相当于对同层的建出一棵类似树的东西,每层维护并查集，相当于把信息拆成$2^{?}$的两段

合并优先合并大的，这样一共是$nlogn$段，最多合并$nlogn$次

递归合并，发现合并过就可以跳出了，总的答案统计一下用快速幂计算一下即可

特判N=1

总的时间复杂度$O(nlogn*a(n))$

启发：倍增并不仅仅应用于LCA或SA求LCP之类的，应该灵活运用这种思想

Code

#include<iostream>
#include<algorithm>
#include<cstdio>
#include<cmath>
#include<cstring>
using namespace std;
void Freopen() {freopen("game.in","r",stdin); freopen("game.out","w",stdout);}
#define P 1000000007
inline int read()
{
    int x=,f=; char ch=getchar();
    while (ch<'' || ch>'') {if (ch=='-') f=-; ch=getchar();}
    while (ch>='' && ch<='') {x=x*+ch-''; ch=getchar();}
    return x*f;
}
int N,M;
long long Quick_Pow(long long x,long long y)
{
    long long re=;
    for (int i=y; i; i>>=,x=x*x%P)
        if (i&) re=re*x%P;
    return re;
}
#define MAXN 100010
int fa[MAXN][];
int Find(int x,int y) {if (fa[x][y]==x) return x; else return fa[x][y]=Find(fa[x][y],y);}
void Merge(int x1,int x2,int k)
{
    int f1=Find(x1,k),f2=Find(x2,k);
    if (f1==f2) return;
    fa[f1][k]=f2;
    if (k--) {Merge(x1,x2,k),Merge(x1+(<<k),x2+(<<k),k);}
}
int Len;
int main()
{
    Freopen();
    N=read(),M=read();
    for (int i=; i<=N; i++)
        for (int j=; j<=; j++)
            fa[i][j]=i;
    while (M--)
        {
            int l1=read(),r1=read(),l2=read(),r2=read();
            int k=; while ((<<k)<=r1-l1+) k++; k--;
            Merge(l1,l2,k); Merge(r1-(<<k)+,r2-(<<k)+,k);
        }
    for (int i=; i<=N; i++) if (fa[i][]==i) Len++;
    printf("%d\n",N==? :int(9LL*Quick_Pow(,Len-)%P));
    return ;
}