Codeforces380C Sereja and Brackets (线段树区间合并)

题目链接: Sereja and Brackets

2021年9月1日 翻新了题解

大致题意

给定一个括号序列, 编号从1~n.

有m组询问, 每次询问$[l,r]$能够成功匹配的左右括号总数.

解题思路

本题解法是十分经典的线段树处理括号序列问题的做法.

思维

首先考虑对于单个位置, 要么是左括号, 要么是右括号, 一定无法匹配.
接下来考虑选取两个位置, 只有左括号 + 右括号的情况可以匹配, 此时产生贡献.

扩展: 当两个区间进行合并时, 左区间未匹配的左括号与右区间未匹配的右括号会产生贡献.

---

线段树

我们考虑用线段树去维护区间合并信息. 我们应当记录每个区间未匹配的左右括号数量, 以及当前区间已经产生的贡献和.

在合并两个区间时: 新区间的贡献 = 左区间原先的贡献 + 右区间原先的贡献 + 合并后新产生的贡献.
其中 合并后新产生的贡献 = 2 * min(左区间未匹配的左括号数, 右区间未匹配的右括号数).

AC代码

#include <bits/stdc++.h>
#define rep(i, n) for (int i = 1; i <= (n); ++i)
using namespace std;
typedef long long ll;
const int N = 1E6 + 10;
char w[N];
struct node {
	int l, r;
	int sum, vl, vr;
}t[N << 2];
void pushup(node& p, node& l, node& r) {
    int qaq = min(l.vl, r.vr);
	p.sum = l.sum + r.sum + 2 * qaq;
	p.vl = l.vl + r.vl - qaq, p.vr = l.vr + r.vr - qaq;
}
void pushup(int x) { pushup(t[x], t[x << 1], t[x << 1 | 1]); }
void build(int l, int r, int x = 1) {
	t[x] = { l, r, 0, w[l] == '(', w[l] == ')' };
	if (l == r) return;
	int mid = l + r >> 1;
	build(l, mid, x << 1), build(mid + 1, r, x << 1 | 1);
	pushup(x);
}
auto ask(int l, int r, int x = 1) {
	if (l <= t[x].l and r >= t[x].r) return t[x];
	int mid = t[x].l + t[x].r >> 1;

	if (r <= mid) return ask(l, r, x << 1);
	if (l > mid) return ask(l, r, x << 1 | 1);

	node left = ask(l, r, x << 1), right = ask(l, r, x << 1 | 1);
	node res = { 0, 0, 0, 0, 0 };
	pushup(res, left, right);
	return res;
}
int main()
{
	scanf("%s", w + 1);
	build(1, strlen(w + 1));

	int m; cin >> m;
	rep(i, m) {
		int l, r; scanf("%d %d", &l, &r);
		printf("%d\n", ask(l, r).sum);
	}

	return 0;
}

END