题解：CF670E Correct Bracket Sequence Editor_C++算法竞赛_括号匹配+模拟_指针双向链表

Luogu - CF670E

本篇文章也可以看作括号匹配+双向指针链表的简单参考模板。

Tips

1. 题目中的 $p$ 从 $1$ 开始。

2. 不用判断序列合法不合法的问题，原题干：

   “It is followed by the string of $n$ characters ‘(’ and ‘)’ forming the correct bracket sequence.”

   说明序列一定是合法的。

3. 错误的操作（删掉整个序列、光标移动到串外）也不会发生，原题干：

   “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.”

其中 2,3 条私认为是题目翻译漏了。本人第一次看中文题干的时候压根不知道“合法括号串”和“不支持错误的操作”在题目中的作用。

Analysis

这道题的考点是括号匹配 + 模拟。考验基本功和综合能力。

首先，用传统的括号匹配方法，把左括号和与之对应的右括号匹配起来，方便删除。

然后，考虑到题目要进行多次删除，用双向链表来存储括号串，插入删除复杂度 $O(1)$。

接下来直接模拟三种操作即可。注意一些细节。同时在 Tips 中说的，可以省去一些错误的判断。

时间复杂度是 $O(n)$ 的。代码实现看似在删除操作的双层循环使复杂度变成 $O(n^2)$，但因为字符串有 $n$ 个元素，每个元素只能被删一次，也就是说最多删除 $n$ 次。所以复杂度还是线性 $O(n)$ 的。

Code

这里用了指针链表的形式实现，相当于给自己加了难度。大家可以参考。

作者本人有 debug 标记的习惯，看着不舒服希望大家谅解。

#include <bits/stdc++.h>
#define debug if(DEBUG)
using namespace std;
const int DEBUG = 0; // 调试开关

struct LinkNode{
	char data; // 当前的字符：'(' 或 ')'
	int id; // 在串中的编号，用来确定两个迭代器之间的前后位置大
	LinkNode *matched; // 与之匹配的字符
	LinkNode *pre, *nxt; // 前驱节点、后驱节点
	
	LinkNode() : data('-'), id(0), matched(nullptr), pre(nullptr), nxt(nullptr) {}
};

// 指针一定初始化
LinkNode *head = nullptr, *tail = nullptr; // head是链表头，tail是链表尾

// 在链表后面插入it，tail的出现可以实现O(1)插入
void pushback(LinkNode *it){
	if(head == nullptr){ // 如果表头为空，就特殊初始化
		head = it;
		tail = it;
	}
	else{ // 先给tail和it之间的边连起来，再把it赋值给tail
		it->pre = tail;
		tail->nxt = it;
		tail = it;
	}
}

// 删除it节点
void remove(LinkNode *it){
	if(it == head){ // 特判it是开头的情况，避免头指针丢失
		head = it->nxt;
		it->nxt->pre = nullptr; // 置空，避免访问到已经被删除的内存
		delete it; // 已经没用了，直接删了就行。如果正常删的话，it->pre会访问到空指针从而运行错误
	} 
	else if(it == tail){ // 尾指针同理
		tail = it->pre;
		it->pre->nxt = nullptr;
		delete it;
	}
	else{
		it->pre->nxt = it->nxt;
		it->nxt->pre = it->pre;
		delete it; // 一定记得释放空间
	}
}

void solve()
{
	int n, m, p; cin >> n >> m >> p;
	LinkNode *cur = new LinkNode(); // cur是当前光标的位置
	
	// 输入括号序列
	for(int i = 1; i <= n; i ++){
		LinkNode *it = new LinkNode();
		cin >> it->data;
		it->id = i;
		pushback(it);
		if(i == p) cur = it; // 给光标初始化
	}
	
	// 进行括号匹配
	stack <LinkNode*> S;
	for(LinkNode *it = head; it != nullptr; it = it->nxt){
		if(it->data == '('){ // 左括号入栈
			S.push(it);
		}
		else{ // 右括号就和与其相连的左括号匹配。题目中保证括号序列一定合法
			it->matched = S.top();
			S.top()->matched = it;
			S.pop();
		}
	}
	
	// 处理 L,R,D 操作
	while(m --){
		char c; cin >> c;
		if(c == 'L'){ // 左移指针，题目保证指针不会移出序列
			cur = cur -> pre;
			debug cout << "cur:" << cur->id << endl;
		}
		else if(c == 'R'){ // 右移指针，题目保证指针不会移出序列
			cur = cur->nxt;
			debug cout << "cur:" << cur->id << endl;
		}
		else{ // 'D'操作，删除cur和cur->matched之间的所有字符。
			/*
			在删除之后，光标会跳到它右边的没有被删除的最左边的括号处，
			如果没有这样的括号了，那么光标会跳到它左边的没有被删除的最右边的括号处。
			*/
			// 确定cur和cur->>mathced的前后关系，方便遍历删除（注意这里涉及到指针操作，直接用swap可能出问题）
			LinkNode *begin, *end;
			if(cur->id < cur->matched->id) begin = cur, end = cur->matched;
			else begin = cur->matched, end = cur;
			debug cout << "begin:" << begin->id << " end:" << end->id << endl;
			
			// 确定删除后的光标位置
			LinkNode *tmp;
			if(end->nxt != nullptr){ // 先看“右边的没有被删除的最左边的括号处”是否为空
				tmp = end->nxt;
			} 
			else if(begin->pre != nullptr){ // 再看“左边的没有被删除的最右边的括号处”是否为空。题目保证不会删除成空串，所以这两个一定有一个不空
				tmp = begin->pre;
			}
			
			debug cout << "tmp: " << tmp->id << '\n';
			debug {
				cout << "list: ";
				for(LinkNode *it = head; it != nullptr; it = it->nxt){
					cout << it->data;
				}
				cout << endl;
			}
			
			// 删除[cur,cur->matched]
			int end_id = (end->nxt == nullptr? -1 : end->nxt->id); // 如果end的下一个为空，就把end_id设置成一个永远无法达到的值。这样循环会通过 it!=nullptr 这一条件结束
			debug cout << "end_id: " << end_id << endl;
			for(LinkNode *it = begin; it != nullptr && it->id != end_id; ){ //细节，把判断nullptr放在前面，这样不会导致后面的it->id运行错误 
				LinkNode *p = it;
				it = it->nxt;
				debug cout << "remove:" << p->id << endl;
				remove(p); // 注意一定先把it移到下一个位置再删除，不然会出现it丢失的情况
			}
			// 把正确的cur值赋值回去
			cur = tmp;
			debug cout << "cur:" << cur->id << endl;
		}
	}
	
	// 输出结果，同时释放空间
	for(LinkNode *it = head; it != nullptr; ){
		LinkNode *p = it;
		cout << it->data;
		it = it->nxt;
		delete p; // 注意一定先把it移到下一个位置再删除，不然会出现it丢失的情况
		// 这里直接删就行，因为后面没用了
	}
}

signed main()
{
	ios :: sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);
	solve();
	return 0;
}

End

错因总结：

1. 不能用 STL 的 list 搭配记录迭代器。因为 list 的迭代器在删除之后就会变化。例如 $l=[1,2,3,4]$，开始迭代器 $it$ 指向 $2$。删除 $1$ 之后，迭代器实际上指向了 $3$。

2. 指针的链表写法一定要注意各种越界、访问野指针等问题，细节往往最折磨人！身为程序员，一定要尽自己最大的努力让程序不出现一点 BUG！

这里是 YLCHUP，谢谢大家！

广告：本文在洛谷博客同步发送，个人洛谷账号：ylch