Jzoj3518 进化序列

Abathur采集了一系列Primal Zerg 的基因样本，这些基因构成了一个完整的进化链。为了方便，我们用A0,A1...An-1 这n 个正整数描述它们。

一个基因Ax 可以进化为序列中在它之后的基因Ay。这个进化的复杂度，等于Ax | Ax+1...| Ay的值，其中| 是二进制或运算。

Abathur 认为复杂度小于M 的进化的被认为是温和的。它希望计算出温和的进化的对数

这个题，因为或是递增的，所以可以用二分+数据结构

本来是可以用ST表的，我无聊写了个RMQ树状数组

#include<stdio.h>
unsigned s[100010],w[100010];
int n,M; long long ans=0;
inline int lb(int x){ return x&-x; }
inline int query(int l,int r){
	int ans=0;
	for(;;){
		ans=ans|s[r];
		if(l==r) break;
		for(--r;r-l>=lb(r);r-=lb(r)) ans=ans|w[r];
	}
	return ans;
}
int main(){
	freopen("evolve.in","r",stdin);
	freopen("evolve.out","w",stdout);
	scanf("%d%d",&n,&M);
	for(int i=1;i<=n;++i){
		scanf("%d",s+i); w[i]=s[i];
		for(int j=1;j<lb(i);j<<=1) w[i]|=w[i-j];
	}
	for(int i=1;i<n;++i){
		int l=i,r=n;
		for(int m;l<r;){
			m=l+r+1>>1;
			if(query(i,m)<M) l=m;
			else r=m-1;
		}
		ans+=l-i;
	}
	printf("%lld\n",ans);
}