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

 

我也不懂为啥最后判断条件就变成了 a1  P  a2  T  a3, 有：a1 * a2 = a3且a2！=0，且有且只有一个P，且有且只有一个T

找了段解释，终于看懂了。。。

https://blog.csdn.net/livecoldsun/article/details/36188269

条件一最最基本，暂且不管。条件二，xPATx 就是正确的形式；在此基础上，如果 aPbTc 是正确的，那么 aPbATca 也是正确的。如果二者放在一起考虑，就是中间每增加一个A，后面就增加一个a，似乎数学关系出来了。我们知道aPbTc中a b c 段都只能包含“A"，其长度分别为len(a)、len(b)、len(c)，则其关系满足len(a)*len(b) = len(c)！这完美的契合了条件二与条件三，xPATx 就是当len(b) = 1，（a=x,c=c,b=A）的情况，在此基础上演化到条件三B中每增加一个A，c中相应增加一段”a“以上的乘法关系式成立。

#include<iostream>
#include<string>
using namespace std;

int main(){
	//while(1){
	string s;
	int n,a,b,c,p,t,size;
	cin>>n;
	bool flag=true;
	while(n--){
		flag=true;
		cin>>s;
		a=b=c=p=t=0;
		size=s.size();
		if(size<3){
			flag=false;
			cout<<"NO"<<endl;
			continue;
		}
		for(int i=0;i<size;++i){
			if(s[i]=='A'){
				if(p==0)
					++a;
				else if(p!=0&&t==0)
					++b;
				else if(p!=0&&t!=0)
					++c;
			}else if(s[i]=='P'){
				++p;
				if(p>1){
					flag=false;
					break;
				}
			}else if(s[i]=='T'){
				++t;
				if(t>1){
					flag=false;
					break;
				}
			}
			else
				flag=false;

		}
		if(a*b!=c||b==0||p==0||t==0)//a*b!=c和b==0是核心
			flag=false;

		if(flag)
			cout<<"YES"<<endl;
		else
			cout<<"NO"<<endl;

	}


	//}
}