cf1263E,Editor,括号的匹配+两个单调栈

codeforces 1263E

题意：

给一串类似编辑器的操作：
L:把光标向左移
R:把光标向右移
(:把当前位置字符修改为(
):把当前位置字符修改为)
问每一次操作后当前括号是否匹配，若匹配则输出匹配的最大深度。

题解：

如果不进行修改，那么可以用两个单调栈，一个单调递减栈记录是否有不匹配的括号，若有不匹配的括号则栈顶的值不等于0；一个单调递增栈记录最深的深度，栈顶的值代表最大括号深度。

而现在可以进行修改，需要注意到每次修改只会移动一步或是修改当前位置的字符，那么以当前下标$p$为中心，将整个区间分为两部分，左边部分为$[0,p]$，右边部分为$[p+1,n]$，那么如果同时维护左边与右边部分的括号是否匹配，并且左边多余的未匹配${}^{\prime }{(}^{\prime }$与右边多余的未匹配的${}^{\prime }{)}^{\prime }$的个数是否相同。并且在下标移动时也可以非常容易的更新单调栈栈顶的值。

#include <bits/stdc++.h>
using namespace std;

struct MyStack {
	int cnt = 0;
	stack<int> s;
	stack<int> Min;
	stack<int> Max;

	void push(int x) {
		cnt += x;
		s.push(x);
		// 单调递减栈判断是否有未匹配的括号
		Min.push(Min.size() ? min(Min.top(), cnt) : cnt);
		// 单调递增栈维护最大深度
		Max.push(Max.size() ? max(Max.top(), cnt) : cnt);
	}

	void pop() {
		cnt -= s.top();
		s.pop();
		Min.pop();
		Max.pop();
	}

	int top() {
		return s.top();
	}

	int maxDepth() {
		return Max.size() ? Max.top() : 0;
	}

	bool isCorrect() {
		return Min.size() == 0 || Min.top() >= 0;
	}
};

int depth(MyStack& l, MyStack& r) {
	// 如果合法，那么左边只会剩下(，右边只会剩下)，并且二者的数量要相等
	if (l.isCorrect() && r.isCorrect() && l.cnt == r.cnt) {
		return max({ l.maxDepth(), r.maxDepth() });
	}
	return -1;
}

int main() {
	cin.tie(0);
	ios_base::sync_with_stdio(false);
	int n;
	string s;
	cin >> n >> s;
	MyStack left, right;
	for (int i = 0; i < n; i++) {
		right.push(0);
	}
	left.push(0);

	int pos = 0;
	for (char c : s) {
		if (c == 'L') {
			if (pos != 0) {
				--pos;
				right.push(-left.top());
				left.pop();
			}
		}
		else if (c == 'R') {
			++pos;
			left.push(-right.top());
			right.pop();
		}
		else if (c == '(') {
			left.pop();
			left.push(1);
		}
		else if (c == ')') {
			left.pop();
			left.push(-1);
		}
		else {
			left.pop();
			left.push(0);
		}
		cout << depth(left, right) << " ";
	}
}