Codeforces 670E - Correct Bracket Sequence Editor - [对顶栈]

题目链接：https://codeforces.com/contest/670/problem/E

题意：

给出一个已经匹配的括号串，给出起始的光标位置（光标总是指向某个括号）。

有如下操作：

　　1、往左移动一下光标；

　　2、往左移动一下光标；

　　3、删除当前光标指向的括号，以及和它匹配的那个括号，以及这两个括号之间的所有括号。

要求你给出在做完所有操作后的括号串。

题解：

用对顶栈进行模拟。由于删除是不可逆的，因此删除的总时间复杂度为 $O(n)$，因此所有 $m$ 次操作的总时间复杂度为 $O(n+m)$。

另外可以参看：本题的链表做法、本题的线段树做法。

AC代码：

#include<bits/stdc++.h>

using namespace std;

const int maxn=5e5+;

int n,m,p;

char str[maxn],op[maxn];

int bro[maxn];

vector<int> s,t;

void print()

{

    for(int i=;i<s.size();i++) printf("%c",str[s[i]]);

    for(int i=t.size()-;i>=;i--) printf("%c",str[t[i]]);

    printf("\n");

}

int main()

{

    cin>>n>>m>>p;

    scanf("%s",str+);

    for(int i=;i<=p;i++) s.push_back(i);

    for(int i=n;i>p;i--) t.push_back(i);

    stack<int> S;

    for(int i=;i<=n;i++)

    {

        if(str[i]=='(') S.push(i);

        if(str[i]==')') bro[S.top()]=i, bro[i]=S.top(), S.pop();

    }

    scanf("%s",op+);

    for(int i=;i<=m;i++)

    {

        if(op[i]=='L') t.push_back(s.back()), s.pop_back();

        if(op[i]=='R') s.push_back(t.back()), t.pop_back();

        if(op[i]=='D')

        {

            p=s.back();

            if(p<bro[p])

            {

                s.pop_back();

                while(t.size() && t.back()<=bro[p]) t.pop_back();

            }

            if(bro[p]<p)

            {

                while(s.size() && s.back()>=bro[p]) s.pop_back();

            }

            if(t.size()) s.push_back(t.back()), t.pop_back();

        }

    }

    print();

}