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

解题思路

分析

这个题目看上去不是很复杂，第一眼看上去好像是让判断字符串中是否有符合条件的PAT

但仔细读一下题目，发现题目意思还是有点难理解的，尤其是第三条条件

样例中的这个例子AAPAATAAAA=NO，需要注意一下

下面来推导、归纳总结一下，输入为YES的条件

1. 条件1：字符串中只能包含PAT三个字母，且必须三个字母都有，不能包含其他字母。

   因此第一步需判断，输入的字符串是否包含除PAT以外的字符，并且判断PAT三个字符是否都出现

2. 条件2：例如xPATx这样形式的字符串答案为YES。x可以是空，或者是由若干个A组成的字符串，且P前面的x和T后面的x是相同的。即PAT前后要么都是空，要么有相同数量，若干个A。因此以下情况是正确的

   • 空PAT空
   • APATA
   • AAPATAA

3. 条件3：这个条件比较难理解，类似于编译原理中的文法，递归定义。如果aPbTc是正确的，那么这个在什么情况下会是正确的？根据条件1和条件2，可以推导出：

   当b=A，a=c=x（x为空或者若干个A组成的字符串）时，aPbTc=aPATc（a=c）

   为了方面理解，在这里就把a和c的取值为x带入，即aPbTc=xPATx

   然后看后半部分，在上述aPbTc正确的情况下，aPbATca也是正确的

   那么此时，把上面a=c=x，b=A条件代入得到，此时aPAATca也是正确的

   即xPAATxx也是正确的

   因为条件3是递归定义，我们刚才得到的xPAATxx，又可以当做推导式的前半部分

   此时b=AA，a=x，c=xx；因此推导式的后半部分，aPbATca=xPAAATxxx

   后面可以以此类推，这个推导过程不会终止。另外这里x，与条件2的x一样，表示取值为空或者取值为若干个A组成的字符串

推导式：

xPATx(aPbTc)正确---->xPAATxx(aPbATca)

xPAATxx(aPbTc)正确---->xPAAATxxx(aPbATca)

xPAAATxxx---->xPAAAATxxxx

…

总结

1. 通过条件1，得知字符串中只能有PAT字符，不能包含其他字符

   所以首先需要判断是否包含除PAT以外的字符

2. 通过条件2，得知字符串PAT前后只能是空或者是若干个A。且题目问的是，输入的字符串是否正确，而不是问字符串中是否包含正确的子字符串。

   所以，每个字符串中只能包含一个字母P和字母T(若有多个，则不满足条件2)

3. 通过条件2，以及条件3中的推导式，多推导几个以后可以发现规律，条件3中满足题目要求的字符串都是这个形式 x...xPAAA...AAATxxx...xxx

   观察推导过程和数量关系以后可以发现规律

   字母P前面的x个数 * 字母P和字母T之间字母A的个数 = 字母T后面x的个数

   因为x代表空或者若干个A，在将x转化为A以后可以得到这样一个关系

   P之前A的个数 * P和T之间A的个数 = T之后A的个数

代码

#include<stdio.h>
#include<string.h>

char str[1005];
int main()
{
    int n;
    int flag,flagP,flagA,flagT;
    int i,j,k;

    scanf("%d",&n);
    while(n--)
    {
        scanf("%s",&str);
        flag=0;
        flagP=flagA=flagT=0;
        for(i=0;i<strlen(str);i++)
        {
            if(str[i]=='P')
                flagP++;
            else if(str[i]=='A')
                flagA++;
            else if(str[i]=='T')
                flagT++;
            else
                break;
        }
        flag= flagP==1 && flagT==1 && flagA>=1;//初次判断
        if(i<strlen(str)||!flag)
            printf("NO\n");
        else
        {
            flagT=0;
            for(i=0;i<strlen(str);i++)
            {
                if(str[i]=='A')
                    flagT++;
                else if(str[i]=='P')
                {
                    flagP=flagT;
                    flagT=0;
                    j=i;//记录一下P的位置
                }
                else if(str[i]=='T')
                {
                    flagA=flagT;
                    flagT=0;
                    k=i;//记录一下T的位置
                }
            }
            if(flagP*flagA==flagT&&(j+1)<k)//原代码此处有点问题，经过评论区同学指正，已修改
                printf("YES\n");
            else
                printf("NO\n");
        }
    }
    return 0;
}

疑难点以及一些测试数据

需要注意的点：

• 需要判断字母P和T的个数，只能是1个，测试点4即有这样的数据
• 需要潘丹字母P和T的顺序，P必须在T前面，测试点2即有这样的数据

测试数据：

PATP

AAPAATAAT

AATAPAA

输出结果：

NO

NO

NO