受不了了，浅谈维护括号序列最长全不匹配段的最长长度的两种方法

首先我们亲爱的 zyr 同学在 2 道几乎一样的括号序列题上面用了 2 种不同的方式来维护 pushup，而这和每道题题解的趋势几乎一致。

但是我直接交的他的代码。

所以写一下 zyr 队爷的思路。

以下直接设 ( 为 \(1\)，) 为 \(-1\)。

一、结论法

答案为右最大前缀和 - 左最小后缀和。（跨越区间）

根据这个，类似 https://www.becoder.com.cn/article/15845 那样维护即可。（真是碰巧，完全一样维护）

二、暴力法

每次 pushup 合并左右括号，并统计答案。

发现有些东西是需要保留原始的状态的（先不消除合法括号）。

由于你合并的时候是这样子的：

\(L_{lnxt} + |L_{rnxt}-R_{lpre}|+R_{rpre}\)

\(lnxt\) 表示后缀中的 ) 个数。

所以暴力拆绝对值，维护 \(lnxt+rnxt,lnxt-rnxt,lpre+rpre,rpre-lpre\) 即可。代码：

void pushup(int p) { 
	if(T[p << 1].lsum > T[p << 1 | 1].rsum) T[p].rsum = T[p << 1].rsum, T[p].lsum = T[p << 1].lsum + T[p << 1 | 1].lsum - T[p << 1 | 1].rsum;
	else T[p].lsum = T[p << 1 | 1].lsum, T[p].rsum = T[p << 1].rsum + T[p << 1 | 1].rsum - T[p << 1].lsum;
	
	T[p].pre1 = max({T[p << 1].pre1, T[p << 1].rsum + T[p << 1].lsum + T[p << 1 | 1].pre2, // 多一点 (( 
		T[p << 1 | 1].pre1 + T[p << 1].rsum - T[p << 1].lsum}); // 多一点 )))) 
	// 表示的是 ))(((
	T[p].pre2 = max({T[p << 1].pre2, T[p << 1 | 1].pre2 + T[p << 1].lsum - T[p << 1].rsum});
	// 表示 (((((( 且前面 )) 被减去 
	
	T[p].nxt1 = max({T[p << 1 | 1].nxt1, T[p << 1].nxt1 + T[p << 1 | 1].lsum - T[p << 1 | 1].rsum, 
		T[p << 1].nxt2 + T[p << 1 | 1].lsum + T[p << 1 | 1].rsum});
	T[p].nxt2 = max({T[p << 1 | 1].nxt2, T[p << 1].nxt2 + T[p << 1 | 1].rsum - T[p << 1 | 1].lsum});
	
	T[p].maxn = max({T[p << 1].maxn, T[p << 1 | 1].maxn, T[p << 1 | 1].pre1 + T[p << 1].nxt2,
	T[p << 1 | 1].pre2 + T[p << 1].nxt1});
}

// 维护 pre(R + L) pre(L - R)
// nxt(R + L) nxt(R - L)
// 参考：)( 是 RL  的 

好像式子的 \(l,r\) 写反了。