括号画家——解题报告

括号画家——解题报告
问题描述：
HYM是一名漫画家，她有一个奇特的爱好，就是在纸上画括号。 这一天，刚刚起床的 HYM 画了一排括号序列，其中包含小括号()、中括号[]和大括号{}，总长度为N。这排随意绘制的括号序列显得杂乱无章，于是 HYM定义了什么样的括号序列是美观的：
(1) 空的括号序列是美观的。
(2) 若括号序列 A 是美观的，则括号序列(A)、[A]、{A}也是美观的。
(3) 若括号序列 A、B 都是美观的，则括号序列 AB 也是美观的。
(例如 (){} 是美观的括号序列，而 )({)[}]( 则不是。现在Candela 想在她绘制的括号序列中，找出其中连续的一段，满足这段子序列是美观的，并且长度尽量大。)
你能帮帮她吗？
输入格式：
一行，一个字符串。
输出格式：
一行一个整数，表示最长的美观的连续子序列的长度。
样例输入1：
[[[[]]{}]]
样例输出1；
10
样例输入2：
({({(({()}))}{()})}))[]{{{(((())))}}[{}]}{[]{}
样例输出2：
4
数据范围：
测试点编号 N
1 5
2 10
3 50
4 100
5 100
6 1000
7 1000
8 10000
9 10000
10 10000
时空限制：
0.1S/512MB
Update（当初的题解写得真是…）：
错误思路：
本题的题目要求比较清晰，要求找出符合美观条件的长度最长的连续子序列。那么很容易就能找出一种暴力的做法：即先找出给出字符串中的空括号序列，再不断向两端延伸，不断更新最长美观连续子序列的长度。
但是，由于本题的时间限制只有可怜的0.1s（仅仅是平时一般的题的十分之一），显然是想让我们用一种O（n）复杂度的做法去做，暴力的方法肯定要超时。那么再一想，我们可以发现前括号后括号是相对应的!(一句废话)进而我们就可以想到栈这样一种有趣的数据结构。
我们可以声明一个char类型的栈，在遍历所给字符串的过程中，遇见前括号就把其压入栈中。遇到后括号时，判断当前栈顶的前括号是否与遇到的后括号相对应，如若对应，则ans+=2，并把栈顶元素弹出，继续访问下一个字符；如不对应，说明从这个字符开始，序列已经变得不“美观”，那么就将ans更新为0，然后将栈清空。因为栈的性质，我们可以保证栈顶元素与当前后括号对应时，该子序列一定合法。最后在遍历完所有字符后，将之前得到的最大值与最后一次得到的最大值做一次max操作，就可以得到最终答案了。
错误代码：

#include <bits/stdc++.h>
using namespace std;
stack<char> s;
int main () {
	string S;
	cin >> S;
   	int ans = 0; //最终答案
    int fans = 0; //临时答案
	for (int i = 0; i < S.size(); i++){
	 	if (S[i]=='('||S[i]=='['||S[i]=='{'){
			s.push(S[i]); //将前括号压入栈中
		}else {
			if (!s.empty()){
				if((S[i]==')'&&s.top()=='(')||(S[i]==']'&&s.top()=='[')||(S[i]=='}'&&s.top()=='{')){
					s.pop(); //如对应，将栈顶元素弹出并更新ans
					fans += 2;
				}else {
					ans = max(fans,ans);
					fans = 0;
					while(!s.empty()){
						s.pop(); //如不对应则清空栈
					}
				}
			}else {
				ans = max(fans,ans);
				fans = 0;
			}
		}
	}
	ans = max(fans,ans); //最后更新ans
	cout << ans << endl;
	return 0;
}

上述算法没有考虑已经入栈的前括号能否被后面的后括号对应弹出。
如不能，上述做法相当于忽视了这部分括号导致答案错误。
那么只需把这部分括号的影响统计进来即可。
AC代码：

#include <bits/stdc++.h>
using namespace std;
stack<int> s;//int类型方便计算 
/*
若s非空
则s.top()始终保存当前最近一个未被匹配的括号位置
若s为空
则说明当前位置之前的全部括号都"完美 "
*/ 
char S[1000010]; 
int main () {
	scanf("%s",S);
	int len = strlen(S),ans=0;
	for (int i = 0; i < len; i++){
		if (S[i]=='('||S[i]=='['||S[i]=='{'){
			s.push(i);//前括号直接放进去 
		}else {
			if (s.empty()){
				s.push(i);//在空栈的情况下来了个后括号，显然它不能被匹配 
				continue;
			}
			if ((S[i]==')'&&S[s.top()]=='(')||(S[i]==']'&&S[s.top()]=='[')||(S[i]=='}'&&S[s.top()]=='{')){
				s.pop();
				if (s.empty()){
					ans = max(ans,i+1);//空了说明从头开始到当前位置都"完美"，共i+1个 
					continue;
				}
				ans = max(ans,i-s.top());//用(当前位置-最近一个未被匹配的括号位置)更新答案 
			}else {
				s.push(i);//无法被匹配的后括号 
			}
		}
	}
	printf("%d",ans);
	return 0;
}