猫树

算法简介

一种 $\text{ST}$ 表的进阶数据结构。支持 $O(n\log n)$ 预处理，$O(n)$ 修改，$O(1)$ 查询。

算法实现

考虑分治处理每个区间询问 $[ql,qr]$ 的过程。设当前分治区间为 $[L,R]$，左区间为 $[L,M]$，右区间为 $[M+1,R]$。

如果 $[ql,qr]\subseteq [L,M]$ 或 $[ql,qr]\subseteq [M+1,R]$，则递归处理。否则一定有询问左端点位于左区间，右端点位于右区间。

于是可以预处理出左区间后缀答案以及右区间前缀答案，这样一个询问只会被拆分成两个区间，然后一次合并即可得到结果。

考虑建立线段树模拟分治过程同时每个结点预处理左右区间的前后缀答案，显然时间复杂度为 $O(n\log n)$。

不难发现 $[ql,qr]$ 的最终需要查询的结点为 $ql$ 所在叶子结点和 $qr$ 所在叶子结点在线段树上的 $\text{LCA}$。

通过观察，不难发现，对于线段树编号 $10100$ 和 $10001$ 的结点，他们的 $\text{LCA}$ 为 $10$，这也是他们线段树编号的 $\text{LCP}$。

通过异或编号同时预处理 $\log2(n)$ 可以快速找到 $\text{LCA}$ 对应深度然后直接查询答案，时间复杂度为 $O(1)$。

上述结论只对线段树上相同深度的结点有效，最后为了保证所有叶子结点在线段树的同一深度，需要将序列长度补成 $2$ 的幂次。

于是注意开两倍空间，另外算法本身的空间复杂度为 $O(n\log n)$。

最后关于修改，考虑暴力修改该点在每层的影响，时间复杂度 $O(\frac n2+\frac n4+\frac n8+\cdots)\sim O(n)$。

修改也可以考虑树状数组维护前缀和，不过这样貌似不如直接用线段树维护。

算法例题

例题一

SPOJ1043

求区间最大子段和。

查看代码

const int MAXN=5e4+5,MAXD=20;
namespace Tree{
	int n,a[MAXN<<1],lg2[MAXN<<1],s1[MAXD][MAXN<<1],s2[MAXD][MAXN<<1];
	void build(int L,int R,int d){
		if(L==R)return;
		int M=L+R>>1,sum,ans;
		s1[d][M]=s2[d][M]=a[M];
		sum=a[M],ans=max(a[M],0);
		for(int i=M-1;i>=L;i--){
			sum+=a[i],ans+=a[i];
			s1[d][i]=max(s1[d][i+1],sum);
			s2[d][i]=max(s2[d][i+1],ans);
			ans=max(ans,0);
		}
		s1[d][M+1]=s2[d][M+1]=a[M+1];
		sum=a[M+1],ans=max(a[M+1],0);
		for(int i=M+2;i<=R;i++){
			sum+=a[i],ans+=a[i];
			s1[d][i]=max(s1[d][i-1],sum);
			s2[d][i]=max(s2[d][i-1],ans);
			ans=max(ans,0);
		}
		build(L,M,d+1);
		build(M+1,R,d+1);
	}
	void init(int _n){
		n=1;
		while(n<_n)n<<=1;
		_rep(i,2,n)lg2[i]=lg2[i>>1]+1;
		build(1,n,0);
	}
	int query(int L,int R){
		if(L==R)return a[L];
		int d=lg2[n]-lg2[(L-1)^(R-1)]-1;
		return max({s2[d][L],s2[d][R],s1[d][L]+s1[d][R]});
	}
}
int main(){
	int n=read_int();
	_rep(i,1,n)
	Tree::a[i]=read_int();
	Tree::init(n);
	int q=read_int();
	while(q--){
		int l=read_int(),r=read_int();
		enter(Tree::query(l,r));
	}
	return 0;
}

例题二

SPOJ2916

求左端点位于 $[l_1,r_1]$，右端点位于 $[l_2,r_2]$ 的最大区间和。数据保证 $l_1\le l_2,r_1\le r_2$。

对于 $l_2\lt r_1$ 的情况显然很容易求得，否则分类讨论一下即可。需要维护区间和，区间最大子段和，区间最大前缀，最大后缀。

查看代码

const int MAXN=1e4+5,MAXD=20;
namespace Tree{
	int n,a[MAXN<<1],lg2[MAXN<<1];
	struct Node{
		int sum,max_pre,max_suf,max_sum;
		Node(int a=0){
			sum=max_pre=max_suf=max_sum=a;
		}
		Node operator + (const Node &b)const{
			Node c;
			c.sum=sum+b.sum;
			c.max_pre=max(max_pre,sum+b.max_pre);
			c.max_suf=max(max_suf+b.sum,b.max_suf);
			c.max_sum=max({max_sum,b.max_sum,max_suf+b.max_pre});
			return c;
		}
	}s[MAXD][MAXN<<1];
	void build(int L,int R,int d){
		if(L==R)return;
		int M=L+R>>1;
		s[d][M]=Node(a[M]);
		for(int i=M-1;i>=L;i--)
		s[d][i]=Node(a[i])+s[d][i+1];
		s[d][M+1]=Node(a[M+1]);
		for(int i=M+2;i<=R;i++)
		s[d][i]=s[d][i-1]+Node(a[i]);
		build(L,M,d+1);
		build(M+1,R,d+1);
	}
	void init(int _n){
		n=1;
		while(n<_n)n<<=1;
		_rep(i,2,n)lg2[i]=lg2[i>>1]+1;
		build(1,n,0);
	}
	Node query(int L,int R){
		if(L==R)return Node(a[L]);
		int d=lg2[n]-lg2[(L-1)^(R-1)]-1;
		return s[d][L]+s[d][R];
	}
}
void solve(){
	int n=read_int();
	_rep(i,1,n)
	Tree::a[i]=read_int();
	Tree::init(n);
	int q=read_int();
	while(q--){
		int l1=read_int(),r1=read_int(),l2=read_int(),r2=read_int();
		if(r1<l2){
			int ans=Tree::query(l1,r1).max_suf+Tree::query(l2,r2).max_pre;
			if(r1+1<=l2-1)
			ans+=Tree::query(r1+1,l2-1).sum;
			enter(ans);
		}
		else{
			int ans=Tree::query(l2,r1).max_sum;
			if(r1!=r2)
			ans=max(ans,Tree::query(l1,r1).max_suf+Tree::query(r1+1,r2).max_pre);
			if(l1!=l2)
			ans=max(ans,Tree::query(l1,l2-1).max_suf+Tree::query(l2,r2).max_pre);
			enter(ans);
		}
	}
}
int main(){
	int T=read_int();
	while(T--)
	solve();
	return 0;
}

CVBB ACM Team

目录

猫树

算法简介

算法实现

算法例题

例题一

例题二

CVBB ACM Team

用户工具

站点工具

目录

猫树

算法简介

算法实现

算法例题

例题一

例题二

页面工具