PAT B 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。

输入样例：

8
PAT
PAAT
AAPATAA
AAPAATAAAA
xPATx
PT
Whatever
APAAATAA
输出样例：

YES
YES
YES
YES
NO
NO
NO
NO

现在的状态很迷茫，偶然看到了PAT，做了几道题。
这题很有意思，条件给了你，但还需要自己算出a,b,c之间的关系
通过xPATx正确，aPbTc正确可以知道b="A"时a=c
那么aPbATca中，b="A"，aPbATca=aPAATaa
使用条件三，aPAATaa正确那么aPAAATaaa也正确
可以发现PT间A的数量=T后a的数量
加上条件二的xPATx，可以得到结论：P前A的数量*PT间A的数量=T后A的数量（P前A的数量可为0）
符合结论且P、T只有一个的字符串输出YES

#include<bits/stdc++.h>
using namespace std;
int main()
{
    int n,i,a,b,c,sp,st;
    string s;
    cin>>n;
    while(n--)
    {
        a=b=c=sp=st=0;
        cin>>s;
        for(i=0;i<s.size();i++)
        {
            if(s[i]!='P'&&s[i]!='T'&&s[i]!='A')
            {
                break;
            }
            if(s[i]=='P')
            {
                sp++;
                a=i;
            }
            if(s[i]=='T')
            {
                st++;
                b=i-a-1;
                c=s.size()-1-i;
            }
        }
        if(b>0&&a*b==c&&st==1&&sp==1)
        {
            cout<<"YES\n";
        }
        else
        {
            cout<<"NO\n";
        }
    }
}