BZOJ 4569: [Scoi2016]萌萌哒 ST表 并查集

4569: [Scoi2016]萌萌哒

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

刚开始连并查集都没想

就想只要一个区间与别的联动就不对答案有贡献，然后乱搞就WA了

翻题解。。。

用ST表维护区间，区间操作

最后下传

#include<cmath>#include<ctime>#include<cstdio>#include<cstring>#include<cstdlib>#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<='9'&&ch>='0'){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}return x*f;}void print(int x){if(x<0)putchar('-'),x=-x;if(x>=10)print(x/10);putchar(x%10+'0');}const int N=1000100,mod=int(1e9)+7;int f[N][20];int find(int x,int y){return f[x][y]==x?x:f[x][y]=find(f[x][y],y);}void update(int a,int b,int c){if(find(a,c)^find(b,c))f[f[a][c]][c]=f[b][c];}int main(){int n=read(),m=read();register int i,j,l,r,x,y,len;for(i=1;i<=n;++i)for(j=0;j<=17;++j)f[i][j]=i;while(m--){l=read();r=read();x=read();y=read();len=r-l+1;for(i=0;(1<<i)<=len;++i)if((1<<i)&len)update(l,x,i),l+=(1<<i),x+=(1<<i);}for(j=17;j;j--)for(i=1;i<=n;++i)update(i,find(i,j),j-1),update(i+(1<<(j-1)),f[i][j]+(1<<(j-1)),j-1);x=0;for(i=1;i<=n;++i)if(find(i,0)==i)x++;y=9;for(i=1;i<x;++i)y=1ll*y*10%mod;print(y);puts("");return 0;}/*4 21 2 3 4 3 3 3 390*/