PAT乙级 1003 我要通过！

1003 我要通过！ (20 分)

“答案正确”是自动判题系统给出的最令人欢喜的回复。本题属于 PAT 的“答案正确”大派送 —— 只要读入的字符串满足下列条件，系统就输出“答案正确”，否则输出“答案错误”。

得到“答案正确”的条件是：

1. 字符串中必须仅有 P、 A、 T这三种字符，不可以包含其它字符；
2. 任意形如 xPATx 的字符串都可以获得“答案正确”，其中 x 或者是空字符串，或者是仅由字母 A 组成的字符串；
3. 如果 aPbTc 是正确的，那么 aPbATca 也是正确的，其中 a、 b、 c 均或者是空字符串，或者是仅由字母 A 组成的字符串。

现在就请你为 PAT 写一个自动裁判程序，判定哪些字符串是可以获得“答案正确”的。

输入格式：

每个测试输入包含 1 个测试用例。第 1 行给出一个正整数 n (<10)，是需要检测的字符串个数。接下来每个字符串占一行，字符串长度不超过 100，且不包含空格。

输出格式：

每个字符串的检测结果占一行，如果该字符串可以获得“答案正确”，则输出 YES，否则输出 NO。

输入样例：

8
PAT
PAAT
AAPATAA
AAPAATAAAA
xPATx
PT
Whatever
APAAATAA

输出样例：

YES
YES
YES
YES
NO
NO
NO
NO

分析

  主要是通过遍历这个字符串，如果格式正确，则通过比较P左边的A数量，PT中间的A数量，T右边的A数量这三个数来判断。
  假设某一个“原始格式”（也就是满足条件2的字符串格式）为AAPATAA,于是在通过条件3，其衍生的例如AAPAATAAAA,AAPAAATAAAA，都正确。
  所以我们可以找到一个规律：所有原始格式中，PT中间的A数量必须为1，左右的A数量必须相同。每衍生一次，左边A数量不变，中间A加1，右边A的数量加上左边A的数量。得出一个等式，a * b = c，在格式正确的前提下，满足这个等式就正确，不满足就不正确。

格式不正确的坑

• P和T必须为1。
• P必须在T前。（这个oj上没有考虑到，也可能是出题人思考角度跟我不一样）
• P和T中间必须要有一个以上的A(b >= 1)。

代码

#include <iostream>
using namespace std;
int main()
{
	int n;
	string str;
	cin >> n;
	for(int i = 0; i < n; i++)
	{
		cin >> str;
		int flag = 0, ans = 0;
		int p = 0, t = 0;
		int a = 0, b = 0, c = 0;
		for(int j = 0; j < str.size(); j++)
		{
			if(str[j] != 'P' && str[j] != 'A' && str[j] != 'T')
			{
				ans = -1;
				break;
			}
			if(p > 1 || t > 1)
			{
				ans = -1;
				break;
			}
			if(str[j] == 'A')
			{
				if(flag == 0)
					a++;
				else if(flag == 1)
					b++;
				else
					c++;
			}
			else if(str[j] == 'P')
			{
				if(flag != 0)
				{
					ans = -1;			//flag必须严格从0->1->2，因为P必须在T前面 
					break;
				}
				flag = 1;
				p++;
			}
			else if(str[j] == 'T')
			{
				if(flag != 1)
				{
					ans = -1;
					break;
				}
				flag = 2;
				t++;
			}
		}
		if(p == 0 || t == 0 || b == 0)
			ans = -1;
		if(ans == -1)
			cout << "NO" << endl;
		else
			if(a * b == c)
				cout << "YES" << endl;
			else
				cout << "NO" << endl;
	} 
}