来自洛谷的一道绿题：
rexp
题目描述
给出一个由(,),|,a组成的序列，求化简后有多少个a。
化简规则：
1、形如aa…a|aa…a|aa…a的，化简结果为“|”两边a的个数最多的一项，例如a|aa|aaa=aaa
2、先算带括号的序列，例如(a|a)|aaa=aaa
输入输出格式
输入格式：
一行一个序列
输出格式：
化简后a的个数
输入输出样例
输入样例#1：
aa(aa)|(aa|(a|aa))aa
输出样例#1：
4
序列长度不超过100000
保证序列合法且括号内和“|”左右均非空
题目分析：
这道题很明显是一道递归题，所谓的递归思想无非是化繁为简，在这道题哩是有很好的体现的
首先，题意是很好理解的，无非是恶心至极的化简
我们可以分开来解决
首先我们先将问题想象成只有 ‘|’ 和 ‘a’ 的字符串，这样的话，我们要去完成的无非是不断地比较大小了
这样的话，完全可以交由循环或递归来解决了
但是我们此处的是一个大问题中的小分支，用递归来解决的话更富有兼容性
此处来讲解一下子问题的解决方法：
我们可以用 ‘|’ 来划分递归的层数，无非是遇到这个符号就向深层次递归
每一次递归就相当于在统计一次当前的左边，到底了，也就是到了最后一个做左边了，那么就是将左边化为右边了，开始比较，知道判断到递归起点时，返回最大的值，假如当前的左边 ‘a’ 的个数是ans1，那么找到第一个 ‘|’ 我们就要换一个左边了——开始统计ans2，依次类推，最后的话便是上面说的了——“回放”——ansn与ansn-1比较。。。ans2与ans1比较，每一次向后退的，都是局部的最大的
这里给出部分代码：
int work(int ans)
{
char c;
while(~scanf("%c",&c))
{
if (c == 'a') ans++;
if (c == '|')
{
ans = max(ans,work(0));
break;
}
}
return ans;
}
这里解释一下上文的break——直接跳出，因为这里的递归是不停向前的，上面的部分自然会不停重复，也就可以读进来，同时，根据递归的性质是到底才反返回的，中途也是在不停的比较大小的，所以当完全到边上的时候，也就是到第一次向前挖的时候，解就有了 （在上面写注释要向右拉，MD太长了，或者是我太迂了，反正好丑，写下面吧）
之后便是我们激动人心的处理恶心括号的阶段了
首先是左括号，据我们所知，我们是要先迭代 （嘿嘿是不是很高级的样子，其实就是计算） 括号里的，而括号往往时同前面的相连接的，左括号前是 ‘a’ 必然是接上去的，左括号前是 ‘|’ 的话，因为我们在上面已经进行过处理了——每一次遇到 ‘|’ 就重新统计，在本质上面，同 ‘a’ 性质是一样的，只不过是一个空的，要重新算的而已
之后便是右括号了，由上可知，我们没一次遇到左括号时，都是重新开一个来计算其内部的，当然，等到第一个右括号时，我们要做的便只是返回了——这是一个边界！——因为右括号的到来，就是意味着我们所构思的一个的递归的层结束，之后便交回电脑——层层递归回去了
需要添加的代码无非是：
if (c == '(') ans = ans + work(0);
if (c == ')') return ans;
到这里，这道题就完结了，GG
完整代码：
#include <bits/stdc++.h>
using namespace std;
int work(int ans)
{
char c;
while(~scanf("%c",&c))
{
if (c == 'a') ans++;
if (c == '(') ans = ans + work(0);
if (c == '|')
{
ans = max(ans,work(0));
break;
}
if (c == ')') return ans;
}
return ans;
}
int main()
{
cout<<work(0);
return 0;
}
注释懒得写了，上面说的很详细，多看看，多想想，就OK了