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

【经验】

解本题的核心在于第三个条件：

3. 如果 aPbTc 是正确的，那么 aPbATca 也是正确的，其中 a、 b、 c 均或者是空字符串，或者是仅由字母 A 组成的字符串。

该条件为一个递归条件，可以将整个字符串分为三个部分——a : “ P ”之前 、b: “ P ” 之后 “ T ”之前、c : " T "之后，这样我们可以发现随着 b 部分 “ A ” 的数量的增加 ： 1，2，3…，c 部分包含 " A "的数量也相应的变为 a 部分 “ A ” 的数量的 1， 2， 3… 倍。

【代码】

#include<stdio.h>

int main()
{
    int n, i, k, a, b, tag;
    char s[100] = {0};
    int ret[10] = {0};
    scanf("%d", &n);
    for (k = 0; k < n; k++)
    {
        a = i = 0;
        scanf("%s", s);
        tag = 1;
        while (s[i] != 'P' && tag) // 使用变量a记录 a 部分“A”的数量
        {
            if (s[i] == 'A') 
            {
                i++;
                a++;
            }
            else
                tag = 0;
        }
        if (tag)
        {
            i++;
            b = 0;
            while (s[i] == 'A' && i++ < 100) b++; // 使用变量 b 记录 b 部分“A”的数量
            if (s[i++] == 'T' && b != 0)
            {
                b *= a;  	// c部分 “ A ”的数量为 a 部分的 a 倍
                while (i < 100 && s[i++] == 'A' && b) b--;
                if (!b && !s[i]) ret[k] = 1;
            }
        }
        for (i = 0; i < 100; i++) s[i] = '\0';
            
    }
    for (i = 0; i < n; i++)
    {
        if (i != 0) printf(""); 
        if (ret[i] == 1)
            printf("YES\n");
        else
            printf("NO\n");
    }
    
    return 0;
}