[PAT]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

//PAT1003
//规则1和2是基本要求
//规则3：aPbTc ==>  aPbATca，那么可以逆推 aPbATca 到 aPbTc，直到  a'PATa'   这种形式，说明源字符串是符合要求的
//详细说明：aPbTc，则b中每次减少一个A，c中减少a字符串，直到cPATd形式，若c==d，则说明满足规则2，即原串符合要求

#include <iostream>
#include <string>

using namespace std;

int main()
{
  int n;
  cin>>n;
  getchar();
  while ( n-- )
  {
    string str;
    getline(cin,str);
    int p = str.find_first_not_of('A');            //找到第一个不是A的字符的位置
    if ( p == string::npos || str[p] != 'P' )        //未找到或p位置不是P则不符合规则1
    {
      cout<<"NO"<<endl;
      continue;
    }
    int t = str.find_first_not_of('A', p+1);        //从p+1位置继续寻找第一个不是A的字符
    if ( t == p+1 || t == string::npos || str[t] != 'T' )  //PT之间木有A，或找不到，或不是T，则不符合规则1或2
    {
      cout<<"NO"<<endl;
      continue;
    }
    int end = str.find_first_not_of('A', t+1);        //从t+1位置继续寻找下一个不是A的字符
    if ( end != string::npos )                //若找到，则不符合规则1或2
    {
      cout<<"NO"<<endl;
      continue;
    }
    int a = p;
    int b = t - p - 1;
    int c = str.length() - t - 1;              //利用规则3，往前递归
    c -= ( b - 1 ) * a;
    if ( a == c )                      //通过规则2判断是否正确
    {
      cout<<"YES"<<endl;
    }
    else
      cout<<"NO"<<endl;
  }
  return 0;
}