其他分享
首页 > 其他分享> > CF1625E1 Cats on the Upgrade (easy version)

CF1625E1 Cats on the Upgrade (easy version)

作者:互联网

刚刚学完 whk 时无聊看了下提交记录,发现这道富有启发意义的题目。

首先,注意到这实际上就是个序列的 《括号树》,拿来做就行,\(f_i\) 为以 \(i\) 结尾的合法括号串数量,\(f_i=f_{L_i-1}+1\),然后再做一遍前缀和,相减求出以区间 \([x,y]\) 为结尾的数量,但是我们发现会算重,具体的,算重了 \([1,x-1]\) 取后缀,\([x,y]\) 取前缀所组合成的合法串数量。

目前题目还有一个性质没用到,就是保证每次询问 \([x,y]\) 合法。那么,显然一定是以 \(x-1\) 为右端点的合法括号序列与以 \(x\) 为左端点的合法括号序列的组合。因为不可能出现一个合法的由这 \(2\) 个不合法的组成。若有,显然存在一个 \(p\in [x,y]\) 为右括号,需要匹配 \(q\in [1,x-1]\),那么 \([x,y]\) 不合法。

首先 \(f_{x-1}\) 即后缀合法括号序列,那么还要有 \([x,y]\) 的前缀合法然后相乘才对,于是我们期望找到一个能表示 \([x,y]\) 的前缀合法括号序列。

考虑对于每个前缀合法括号序列,一定是 \([x,p]\),那么因为 \([x,y]\) 合法,显然 \([p+1,y]\) 也合法。

于是,每个前缀合法括号序列都存在唯一一个以 \(y\) 为结尾,开头在 \([x,y]\) 的合法括号序列与之对应。(双射)

于是,我们现在期望通过 \(f\) 求后者。

发现倘若以 \(y\) 为右端点,但左端点在 \([1,x-1]\) 的合法括号序列,它一定可以划分为 \(s:[p,x-1]+[x,y]\)。否则,若左端点在 \([x,y]\) 则一定无法划分,即不会计入 \(f_{x-1}\),但 \(2\) 部分都会计入 \(f_y\)。

综上,减去 \(f_{x-1}*(f_y-f_{x-1})\)。

#include <bits/stdc++.h>
#define int long long
using namespace std;
int rd() {
	int f=1,sum=0; char ch=getchar();
	while(!isdigit(ch)) {if(ch=='-') f=-1;ch=getchar();}
	while(isdigit(ch)) {sum=(sum<<3)+(sum<<1)+ch-'0';ch=getchar();}
	return sum*f;
}
const int N=(int)(3e5+5);
char s[N];
int n,m,f[N],st[N],sum[N],top;
signed main() {
	n=rd(); m=rd(); scanf("%s",s+1);
	for(int i=1;i<=n;i++) {
		if(s[i]=='(') st[++top]=i;
		else {
			if(!top) continue ;
			f[i]=f[st[top]-1]+1; --top;
		}
	}
	for(int i=1;i<=n;i++) {
		sum[i]=sum[i-1]+f[i];
//		printf("%d ",f[i]);
	}
	while(m--) {
		rd(); int x=rd(),y=rd();
		printf("%lld\n",sum[y]-sum[x-1]-f[x-1]*(f[y]-f[x-1]));
		// [1,x-1]*[x,y] ,[x,y]=[y,x]
	}
	return 0;
}

标签:Upgrade,前缀,CF1625E1,ch,合法,括号,Cats,端点,序列
来源: https://www.cnblogs.com/xugangfan/p/16599775.html