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

思路

这道题主要是逻辑理解比较难，就看能不能准确提炼出已知条件。

第一个规则：字符串只能有 P，A，T 三个字符，很好理解

第二个规则：xPATx 这个要注意，P 前 和 T 后的字符串要一致，即都为 x，那么可以推断：
PAT，APATA，AAPATAA，A…PATA… 等等都是正确答案，还有一点要注意，这里有个隐含条件，就是 P 和 T 这两个字母有且仅有一个，若不是的话，就不是形如 xPATx 了。

第三个规则： aPbTc ⇒ aPbATca，我们由第二条知道了目前所有正确的答案，那么根据这个公式推一下看看能得到什么结果：

PAT ⇒ PAAT ⇒ PAAAT ⇒ PA…T
APATA ⇒ APAATAA ⇒ APAAATAAA ⇒ APAAAATAAAA
AAPATAA ⇒ AAPAATAAAA ⇒ AAPAAATAAAAAA ⇒ AAPAAAATAAAAAAAA
…

发没发现，b 每多一个 “A”，T 后面就多了一个 a，很像乘法吧~ 总结一下，
若
x1 代表 P 前面的 A 的个数
x2 代表 P 和 T 中间的 A 的个数
x3 代表 T 后面的 A 的个数
那么 x1 * x2 = x3

知道了这个，这就是个小题了

代码

#include <iostream>
#include <map>

using namespace std;

int main() {
    int num;
    cin >> num;
    string str;
    for (int i = 0; i < num; i++) {
        cin >> str;
        map<char, int> m;
        for (char j : str) {
            m[j]++;
        }
        int pPos = str.find('P');
        int tPos = str.find('T');
        if (m.size() == 3 && m['A'] > 0 && m['P'] == 1 && m['T'] == 1
            && pPos + 1 < tPos && (pPos * (tPos - pPos - 1) == str.length() - tPos - 1)) {
            cout << "YES" << endl;
        } else {
            cout << "NO" << endl;
        }
    }
    return 0;
}