Codeforces 题目传送门 & 洛谷题目传送门

首先考虑这个所谓的“括号树”与直径的本质是什么。考虑括号树上两点 \(x,y\),我们不妨用一个“DFS”的过程来理解,在 DFS 过程中假设我们在第 \(l\) 个字符后访问 \(x\),显然接下来会访问 \(x\) 的子树并回到 \(x\),也就是说对应的括号序列是一个合法括号序列,也就是说它的左右括号相抵消了,紧接着我们会向上回溯到 \(\text{LCA}(x,y)\),对于在回溯的过程中访问的点 \(z\),我们可能还会访问它的其它子树,不过由于最终回到了 \(z\),所经过的括号串一定是一个合法括号序列,最终不能相抵消的部分一定是 \(dep_x-dep_{\text{LCA}(x,y)}\) 个右括号,换句话说,从 \(x\) 到 \(\text{LCA}(x,y)\),其经过的路径进行左右括号抵消后一定是若干个右括号拼起来的字符串。同理,从 \(\text{LCA}(x,y)\to y\) 一定是若干个左括号拼起来的字符串,也就是说 \(x,y\) 之间的路径长度就是 \([l,r]\) 进行左括号相抵消后剩余部分的长度,我们记该值为 \(f(l,r)\)。而显然 \(\forall 1\leq l\leq r\leq 2(n-1)\),区间 \([l,r]\) 都对应一对 \((x,y)\)。故答案即为 \(\max\limits_{1\leq l\leq r\leq 2(n-1)}f(l,r)\)。

然后我就在那儿一直想怎样直接维护 \(f(l,r)\),心态爆炸……似乎 ycx 也卡在了这个地方?

根据 \(f(l,r)\) 的定义不难发现这玩意儿直接维护是不太容易的,因为合并两个区间时还需考虑左右括号相消的问题。如果我们能够将其变成类似于求和、取 \(\max\) 的东西是不是就比较好维护了呢?

我们假设 \([l,r]\) 消完之后剩余 \(x\) 个右括号,\(y\) 个左括号。考虑套路地将 ( 看作 \(1\),) 看作 \(-1\)。对 \([l,r]\) 进行一遍前缀和得到数组 \(s_i\)(或者说 \(s_i\) 表示区间 \([l,i]\) 中左括号个数 \(-\) 右括号个数),那么显然 \(\min_{i=l}^rs_i=-x\)。

看到这个 \(\min\) 能想到什么呢?

考虑设 \(s_k=-x\),我们不妨将区间 \([l,r]\) 从 \(k\) 处劈开,劈成两个子区间 \([l,k],[k+1,r]\),显然 \([l,k]\) 中左右相消后一定是 \(x\) 个左括号,\([k+1,r]\) 中左右相消后一定是 \(y\) 个右括号。如果我们记 \(sum(l,r)\) 为 \([l,r]\) 中所有数字和。那么有 \(sum(l,k)=-x,sum(k+1,r)=y\),故 \(sum(k+1,r)-sum(l,k)=x+y\)。而对于某个 \(k'\in[l,r),k'\neq k\),由 \(\min_{i=l}^rs_i=-x\) 知 \(s_k\le s'_k\) 知 \(sum(k+1,r)-sum(l,k')=sum(l,r)-2sum(l,k)=sum(l,r)-2s_{k'}\le sum(l,r)-2s_k=x+y\),故 \(f(l,r)=x+y=\max\limits_{k=l}^{r-1}\{sum(k+1,r)-sum(l,k)\}\)

于是最终答案即为 \(\max\limits_{1\leq l\leq r\leq 2(n-1)}\max\limits_{k=l}^{r-1}\{sum(k+1,r)-sum(l,k)\}\),也就是第一篇题解中所说的“选择相邻两段并做差的最大值”。

这个就可以用线段树维护了,每个节点 \([l,r]\) 维护以下八个值:

  • \(sum\) 表示 \(sum(l,r)\)
  • \(lmx\) 表示 \(\max sum(l,k)\)
  • \(rmx\) 表示 \(\max sum(k,r)\)
  • \(lmn\) 表示 \(\min sum(l,k)\)
  • \(rmn\) 表示 \(\min sum(k,r)\)
  • \(mx1\) 表示 \(\max sum(x,y)-sum(l,x),l\leq x\le y\le r\)
  • \(mx2\) 表示 \(\max sum(y,x)-sum(x,y),l\leq x\leq y\le r\)
  • \(mx\) 表示 \(\max sum(y,z)-sum(x,y),l\leq x\leq y\leq z\leq r\)

以上八个标记都可 \(\mathcal O(1)\) pushup,具体见代码。

至于修改……这个就相当容易了罢,直接单点修改即可。

时间复杂度线对。

#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
#define fill0(a) memset(a,0,sizeof(a))
#define fill1(a) memset(a,-1,sizeof(a))
#define fillbig(a) memset(a,63,sizeof(a))
#define pb push_back
#define ppb pop_back
#define mp make_pair
template<typename T1,typename T2> void chkmin(T1 &x,T2 y){if(x>y) x=y;}
template<typename T1,typename T2> void chkmax(T1 &x,T2 y){if(x<y) x=y;}
typedef pair<int,int> pii;
typedef long long ll;
typedef unsigned int u32;
typedef unsigned long long u64;
namespace fastio{
#define FILE_SIZE 1<<23
char rbuf[FILE_SIZE],*p1=rbuf,*p2=rbuf,wbuf[FILE_SIZE],*p3=wbuf;
inline char getc(){return p1==p2&&(p2=(p1=rbuf)+fread(rbuf,1,FILE_SIZE,stdin),p1==p2)?-1:*p1++;}
inline void putc(char x){(*p3++=x);}
template<typename T> void read(T &x){
x=0;char c=getchar();T neg=0;
while(!isdigit(c)) neg|=!(c^'-'),c=getchar();
while(isdigit(c)) x=(x<<3)+(x<<1)+(c^48),c=getchar();
if(neg) x=(~x)+1;
}
template<typename T> void recursive_print(T x){if(!x) return;recursive_print(x/10);putc(x%10^48);}
template<typename T> void print(T x){if(!x) putc('0');if(x<0) putc('-'),x=~x+1;recursive_print(x);}
void print_final(){fwrite(wbuf,1,p3-wbuf,stdout);}
}
const int MAXN=2e5;
int n,qu;char str[MAXN+5];
struct node{int l,r,sum,lmx,rmx,lmn,rmn,mx1,mx2,mx;} s[MAXN*4+5];
void pushup(int k){
s[k].sum=s[k<<1].sum+s[k<<1|1].sum;
s[k].lmx=max(s[k<<1].lmx,s[k<<1].sum+s[k<<1|1].lmx);
s[k].lmn=min(s[k<<1].lmn,s[k<<1].sum+s[k<<1|1].lmn);
s[k].rmx=max(s[k<<1|1].rmx,s[k<<1|1].sum+s[k<<1].rmx);
s[k].rmn=min(s[k<<1|1].rmn,s[k<<1|1].sum+s[k<<1].rmn);
s[k].mx1=max(s[k<<1].mx1,max(-s[k<<1].sum+s[k<<1|1].mx1,s[k<<1|1].lmx+s[k<<1].rmx*2-s[k<<1].sum));
s[k].mx2=max(s[k<<1|1].mx2,max(s[k<<1|1].sum+s[k<<1].mx2,-s[k<<1].rmn+s[k<<1|1].sum-2*s[k<<1|1].lmn));
s[k].mx=max(max(s[k<<1].mx,s[k<<1|1].mx),max(s[k<<1].mx2+s[k<<1|1].lmx,-s[k<<1].rmn+s[k<<1|1].mx1));
}
void build(int k=1,int l=1,int r=n){
s[k].l=l;s[k].r=r;
if(l==r){
if(str[l]=='(') s[k].sum=1,s[k].lmx=1,s[k].rmx=1,s[k].lmn=0,s[k].rmn=0;
else s[k].sum=-1,s[k].lmx=0,s[k].rmx=0,s[k].lmn=-1,s[k].rmn=-1;
s[k].mx1=1;s[k].mx2=1;s[k].mx=1;return;
} int mid=l+r>>1;build(k<<1,l,mid);build(k<<1|1,mid+1,r);
pushup(k);
}
void modify(int k,int p,int v){
if(s[k].l==s[k].r){
s[k].lmx=s[k].rmx=max(v,0);
s[k].lmn=s[k].rmn=min(v,0);
s[k].sum=v;
s[k].mx1=1;s[k].mx2=1;s[k].mx=1;return;
} int mid=s[k].l+s[k].r>>1;
if(p<=mid) modify(k<<1,p,v);
else modify(k<<1|1,p,v);
pushup(k);
}
int main(){
scanf("%d%d%s",&n,&qu,str+1);n=(n-1)<<1;
build(1,1,n);printf("%d\n",s[1].mx);
while(qu--){
int x,y;scanf("%d%d",&x,&y);
if(str[x]!=str[y]){
swap(str[x],str[y]);
modify(1,x,(str[x]=='(')?1:-1);
modify(1,y,(str[y]=='(')?1:-1);
} printf("%d\n",s[1].mx);
}
return 0;
}

Codeforces 1149C - Tree Generator™(线段树+转化+标记维护)的更多相关文章

  1. codeforces 447E or 446C 线段树 + fib性质或二次剩余性质

    CF446C题意: 给你一个数列\(a_i\),有两种操作:区间求和:\(\sum_{i=l}^{r}(a[i]+=fib[i-l+1])\).\(fib\)是斐波那契数列. 思路 (一) codef ...

  2. [Codeforces 1199D]Welfare State(线段树)

    [Codeforces 1199D]Welfare State(线段树) 题面 给出一个长度为n的序列,有q次操作,操作有2种 1.单点修改,把\(a_x\)修改成y 2.区间修改,把序列中值< ...

  3. hdu-3397 Sequence operation 线段树多种标记

    题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=3397 题目大意: 0 a b表示a-b区间置为0 1 a b表示a-b区间置为1 2 a b表示a- ...

  4. HDU 3468:A Simple Problem with Integers(线段树+延迟标记)

    A Simple Problem with Integers Case Time Limit: 2000MS Description You have N integers, A1, A2, ... ...

  5. [Codeforces 1197E]Culture Code(线段树优化建图+DAG上最短路)

    [Codeforces 1197E]Culture Code(线段树优化建图+DAG上最短路) 题面 有n个空心物品,每个物品有外部体积\(out_i\)和内部体积\(in_i\),如果\(in_i& ...

  6. [Codeforces 316E3]Summer Homework(线段树+斐波那契数列)

    [Codeforces 316E3]Summer Homework(线段树+斐波那契数列) 顺便安利一下这个博客,给了我很大启发(https://gaisaiyuno.github.io/) 题面 有 ...

  7. CodeForces 228D. Zigzag(线段树暴力)

    D. Zigzag time limit per test 3 seconds memory limit per test 256 megabytes input standard input out ...

  8. hdu 5274 Dylans loves tree(LCA + 线段树)

    Dylans loves tree Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 131072/131072 K (Java/Othe ...

  9. BZOJ_2212_[Poi2011]Tree Rotations_线段树合并

    BZOJ_2212_[Poi2011]Tree Rotations_线段树合并 Description Byteasar the gardener is growing a rare tree cal ...

随机推荐

  1. 【UE4 C++ 基础知识】<2> UFUNCTION宏、函数说明符、元数据说明符

    UFunction声明 UFunction 是虚幻引擎4(UE4)反射系统可识别的C++函数.UObject 或蓝图函数库可将成员函数声明为UFunction,方法是将 UFUNCTION 宏放在头文 ...

  2. UltraSoft - Alpha - Scrum Meeting 5

    Date: Apr q9th, 2020. Scrum 情况汇报 进度情况 组员 负责 昨日进度 后两日任务 CookieLau PM 统筹个人进度,协助推进进度 辅助前后端连接工作 刘zh 前端 完 ...

  3. Spring Cloud Alibaba Nacos Config 的使用

    Spring Cloud Alibaba Nacos Config 的使用 一.需求 二.实现功能 1.加载 product-provider-dev.yaml 配置文件 2.实现配置的自动刷新 3. ...

  4. 基于RequestBodyAdvice和ResponseBodyAdvice来实现spring中参数的加密和解密

    在日常开发中,有时候我们经常需要和第三方接口打交道,有时候是我们调用别人的第三方接口,有时候是别人在调用我们的第三方接口,那么为了调用接口的安全性,一般都会对传输的数据进行加密操作,如果每个接口都由我 ...

  5. 《基于SIR的路边违停行为传播模型研究》

    My Focus: 路边违停 行为的传播模型; 学习基于SIR XXX模型的可行性分析.建立和结论分析 Author: 左忠义,王英英,包蕴 Mind Map:

  6. netty系列之:netty实现http2中的流控制

    目录 简介 http2中的流控制 netty对http2流控制的封装 Http2FlowController Http2LocalFlowController Http2RemoteFlowContr ...

  7. hdu 3863 No Gambling (不会证明,但是是对的,,)

    题意: N=4时 规则: 双方每次可以连接自己颜色的两个点(相邻,长度为1),线和线不能交叉重叠. 蓝方要连接左右,红方要连接上下. 蓝方先.问谁先连接? 思路: 经过观察....蓝方胜....... ...

  8. NOIP模拟88(多校21)

    前言 对于这套题的总体感觉就是难,然后就是自己很菜... 对于 T1 考试时只会一个最垃圾的背包,考完之后对于思路这一块也不是很顺利,大概这就是薄弱的地方吧. 然后 T2 是比较简单的一道题了,但是考 ...

  9. Django 开发------django-crontab实现服务端的定时任务

    一.需求: 想实现类似 Linux 中crontab 的功能.定时执行计划任务. 二.配置: a.安装插件: # pip3 install django-crontab b.在settings.py ...

  10. Python小练习之验证“哥德巴赫猜想”

    设计内容:任何一个大于2的偶数都可以分解为两个素数之和,这就是著名的哥达巴赫猜想. 设计要求:要求输入一个大于2的偶数,程序运行后,输出两个素数,其和正好等于该偶数. 1.    实验代码(知道是你们 ...