Recently Polycarp started to develop a text editor that works only with correct bracket sequences (abbreviated as CBS).
Note that a bracket sequence is correct if it is possible to get a correct mathematical expression by adding "+"-s and "1"-s to it. For example, sequences "(())()", "()" and "(()(()))" are correct, while ")(", "(()" and "(()))(" are not. Each bracket in CBS has a pair. For example, in "(()(()))":
- 1st bracket is paired with 8th,
- 2d bracket is paired with 3d,
- 3d bracket is paired with 2d,
- 4th bracket is paired with 7th,
- 5th bracket is paired with 6th,
- 6th bracket is paired with 5th,
- 7th bracket is paired with 4th,
- 8th bracket is paired with 1st.
Polycarp's editor currently supports only three operations during the use of CBS. The cursor in the editor takes the whole position of one of the brackets (not the position between the brackets!). There are three operations being supported:
- «L» — move the cursor one position to the left,
- «R» — move the cursor one position to the right,
- «D» — delete the bracket in which the cursor is located, delete the bracket it's paired to and all brackets between them (that is, delete a substring between the bracket in which the cursor is located and the one it's paired to).
After the operation "D" the cursor moves to the nearest bracket to the right (of course, among the non-deleted). If there is no such bracket (that is, the suffix of the CBS was deleted), then the cursor moves to the nearest bracket to the left (of course, among the non-deleted).
There are pictures illustrated several usages of operation "D" below.
All incorrect operations (shift cursor over the end of CBS, delete the whole CBS, etc.) are not supported by Polycarp's editor.
Polycarp is very proud of his development, can you implement the functionality of his editor?
The first line contains three positive integers n, m and p (2 ≤ n ≤ 500 000, 1 ≤ m ≤ 500 000, 1 ≤ p ≤ n) — the number of brackets in the correct bracket sequence, the number of operations and the initial position of cursor. Positions in the sequence are numbered from left to right, starting from one. It is guaranteed that n is even.
It is followed by the string of n characters "(" and ")" forming the correct bracket sequence.
Then follow a string of m characters "L", "R" and "D" — a sequence of the operations. Operations are carried out one by one from the first to the last. It is guaranteed that the given operations never move the cursor outside the bracket sequence, as well as the fact that after all operations a bracket sequence will be non-empty.
Print the correct bracket sequence, obtained as a result of applying all operations to the initial sequence.
8 4 5
(())()()
RDLD
()
In the first sample the cursor is initially at position 5. Consider actions of the editor:
- command "R" — the cursor moves to the position 6 on the right;
- command "D" — the deletion of brackets from the position 5 to the position 6. After that CBS takes the form (())(), the cursor is at the position 5;
- command "L" — the cursor moves to the position 4 on the left;
- command "D" — the deletion of brackets from the position 1 to the position 4. After that CBS takes the form (), the cursor is at the position 1.
Thus, the answer is equal to ().
题意:
给你一个字符串只包含(),为合法匹配的括号串
给你一系列的操作LRD
问你最后这个串变成什么了
题解:
每次操作我们用线段树第k大寻找相邻位置对应左右移动
对于操作就是区间修改了
可以先用栈预处理这个区间出来
都能在线段树上操作
#include<bits/stdc++.h>
using namespace std;
const int N = 1e7+, M = 1e6+, mod = 1e9+; typedef long long ll; char s[N],op[N];
int n,m,p,f[N];
stack<int > q;
int l[N],r[N],sum[N],lazy[N];
void pushdown(int k) {
if(lazy[k]==-) return ;
sum[k<<] = ;
sum[k<<|] = ;
lazy[k<<] = ;
lazy[k<<|] = ;
lazy[k] = -;
sum[k] = sum[k<<]+sum[k<<|];
}
void build(int k,int s,int t) {
l[k] = s;r[k] = t;
sum[k] = ;
lazy[k] = -;
if(s==t) {
sum[k] = ;
return ;
}
int mid = (s+t)>>;
build(k<<,s,mid);
build(k<<|,mid+,t);
sum[k] = sum[k<<]+sum[k<<|];
}
void update(int k,int s,int t) {
if(lazy[k]!=-) {
pushdown(k);
}
if(l[k]==s&&r[k]==t) {
sum[k] = ;
lazy[k] = ;
return ;
}
int mid = (l[k]+r[k])>>;
if(t<=mid) {
update(k<<,s,t);
}
else if(s>mid) update(k<<|,s,t);
else {
update(k<<,s,mid);
update(k<<|,mid+,t);
}
sum[k] = sum[k<<]+sum[k<<|];
}
int ask(int k,int x) {
if(lazy[k]!=-) pushdown(k);
if(l[k]==x&&r[k]==x) {
return sum[k];
}
int mid = (l[k]+r[k])>>;
if(x<=mid) return ask(k<<,x);
else return ask(k<<|,x);
} int ask(int k,int x,int y) {
if(lazy[k]!=-) pushdown(k);
if(l[k]==x&&r[k]==y) {
return sum[k];
}
int mid = (l[k]+r[k])>>;
if(y<=mid) {
return ask(k<<,x,y);
}
else if(x>mid) return ask(k<<|,x,y);
else {
return ask(k<<,x,mid) + ask(k<<|,mid+,y);
}
sum[k] = sum[k<<]+sum[k<<|];
} int query2(int id, int s, int t, int k){
if(lazy[id]!=-) pushdown(id);
if(s == t){
return s;
}
int mid = (s+t)>>;
if(sum[id<<] >= k) {
return query2(id<<, s , mid, k);
}else {
return query2(id<<|, mid + , t, k - sum[id<<]);
}
} int main() {
scanf("%d%d%d",&n,&m,&p);
scanf("%s%s",s+,op+);
for(int i=;i<=n;i++) {
if(s[i]=='(') {
q.push(i);
}
else {
int k = q.top();
f[i] = k;
f[k] = i;
q.pop();
}
}
build(,,n);
for(int i=;i<=m;i++) {
if(op[i]=='R') {
int tmp = ask(,,p);
tmp+=;
p = query2(,,n,tmp);
}
else if(op[i]=='L') {
int tmp = ask(,,p-) ;
p = query2(,,n,tmp);
}
else {
update(,min(f[p],f[f[p]]),max(f[p],f[f[p]]));
p = max(f[p],f[f[p]]);
int tmp = ask(,,p) ;
if(ask(,p,n)) {
p = query2(,,n,tmp+);
}
else if(tmp) {
p = query2(,,n,tmp);
}
else break;
}
}
for(int i=;i<=n;i++) {
if(ask(,i)) {
printf("%c",s[i]);
}
}
cout<<endl;
return ;
}