1003 我要通过！

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

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

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

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

输入格式：

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

输出格式：

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

=====================================================================

题目如上，我卡在两个点：

用cin获取总循环次数n之后，没有用getchar()获取回车符，就直接getline(cin,s)了，这样会导致后面字符串获取的错误；第二个问题是我真的没看懂什么叫“ a、 b、 c 均或者是空字符串”这句话，我理解了很久（也许是我阅读能力低下，我一直以为他想说的是a b c如果都是相同的空格字符也可以接受）后来才发现不是空格字符，是“空字符串”，也就是什么都不输入，也就是“PAT”接受，但是"   PAT   "不接受，“   P   AT   ”也不接受

搞清楚这两点我就解决问题了。

看了很多的写法，其中最优秀的写法如下：

（c语言）PAT乙级 1003 我要通过！ (20分)

我是按照比较死板的逻辑，算是把不合法的情况穷举出来写的：

我认为其中比较可说的一点逻辑就是，为什么a*b==c，a代表的是P前面的A出现次数，b代表PT之间A出现的次数，c代表T之后A出现的次数。

我认为可以这样理解：从条件3为依据，abc三者的关系可以视为函数f(a,b,c),其中我们从条件2为依据我们可知f(a,1,a)是正确写法，那么结合条件3，f(a,b,c)的式子可以改写为f(a,1+x,c+x*a)（其中x代表0,1,2,3....      这一步改写可以通过从AAPATAA出发，多写几个例子看出来）所以就有a*b==c这个条件

#include<cstdio>
#include<iostream>
#include <iomanip>
#include<vector>
#include<map>
#include<algorithm>
#include<string>
#pragma  warning(disable:4996)   // 全部关掉  

using namespace std;

map<char, int> map_c;
int a = 0, b = 0, c = 0;

void check_s(string s);

int main() {
	int n;
	string s;
	cin >> n;

	getchar();
	while (n--) {
		a = b = c = 0;

		getline(cin, s);
		check_s(s);
		map_c.clear();
	}
	return 0;
}

void check_s(string s) {
	for (int i = 0; i < s.size(); i++) {
		if (s[i] != 'P' && s[i] != 'A' && s[i] != 'T') {
			cout << "NO" << endl;
			return;
		}
		if (map_c['P'] > 1 || map_c['T'] > 1) {
			cout << "NO" << endl;
			return;
		}
		if (map_c['P'] == 0 && map_c['T'] > 0) {
			cout << "NO" << endl;
			return;
		}
		if (map_c['P'] == 1 && map_c['T'] == 1 && s[i] == 'A' && b == 0) {
			cout << "NO" << endl;
			return;
		}
		map_c[s[i]]++;
		if (s[i] == 'P' && map_c['T'] == 0) {
			a = map_c['A'];
		}
		if (s[i] == 'T') {
			b = map_c['A'] - a;
		}
		if (i == s.size()-1) {
			c = map_c['A'] - (a + b);
		}
	}
	if(a*b==c && b>0)cout << "YES" << endl;
	else cout << "NO" << endl;
	return;
}