1003 我要通过！第二个测试点解决

赶在今天睡前最后一题（确实水了一天了），debug了好久，终于通过了。话不多说，上题！！！

1003 我要通过！

题目

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

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

字符串中必须仅有 P、 A、 T这三种字符，不可以包含其它字符；
任意形如 xPATx 的字符串都可以获得“答案正确”，其中 x 或者是空字符串，或者是仅由字母 A 组成的字符串；
如果 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

解题思路

说实话，第一次连题都没看懂。卑微的我确实看不出有什么规律，参看网上各位大佬的思路，终于明白了。
详看大佬代码（超级详细，好理解）点击这里

具体解法：
就是aPbTc格式, a,b,c都只能取‘A’或者空字符串（不就不取嘛）。
形式一：PAT——肯定满足
形式二：xPATx——看作 aPATc, b=A
形式三：aPbTc=>aPbATc， 意思是PT中增加一个，c也要增加一个，就是数学归纳的问题。最终 ab=c，且必须存在PAT；P，T有且只有一个。

确实这种方程式归纳不太适合，想不出来，害。

#include<iostream>
#include<vector>
#include<cstring>
using namespace std;
bool PAT(string s){
	int a=0,b=0,c=0;
	int i=0;
	for (i = 0; i < s.length(); ++i)	//aPbTc的格式
	{
		if(s[i]=='A')	a++;		//计算a的个数，p就跳出，先遇到t或者其他字符就错
		else if(s[i] == 'P'){
			i++;
			break;
		}else{
			return false;
		}
	}
	//同理计算b
	for(;i<=s.length();i++){			//注意这里必须要有‘T'，所以上界是s.length()，也是第二个卡我的地方(QTQ）,试试PA
		if(s[i] == 'A') b++;
		else if(s[i] =='T'){
			i++;
			break;
		}else{
			return false;
		}
	}
	//计算c
	for(;i<s.length();i++){
		if(s[i] == 'A') c++;
		else{
			return false;
		}
	}
	if(a*b == c && b > 0)		//a*b==c 且b至少一个
		return true;
	else return false;

}
int main(int argc, char const *argv[])
{
	int n;
	cin>>n;
	string pat;
	for (int i = 0; i < n; ++i)
	{
	  	cin>>pat;
	  	if(!PAT(pat)) cout<<"NO"<<endl;
	  	else cout<<"YES"<<endl;
	}
	return 0;
}