原题链接
采用回退验证的方法：记录P左边的A个数为x，P和T中间A个数为y，t右边A个数为z。那么进行（y-1）步的回退可以使P和T中间的A变为1个，此时z=z-(y-1)*x，只需要验证 z-(y-1)*x 是否等于x即可。
题目描述： “答案正确”是自动判题系统给出的最令人欢喜的回复。本题属于 PAT 的“答案正确”大派送 —— 只要读入的字符串满足下列条件，系统就输出“答案正确”，否则输出“答案错误”。
得到“答案正确”的条件是：
字符串中必须仅有 P、 A、 T这三种字符，不可以包含其它字符；任意形如 xPATx 的字符串都可以获得“答案正确”，其中 x 或者是空字符串，或者是仅由字母 A 组成的字符串；如果 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
实现代码：
#include <cstdio> #include <cstring> int main() { int n; scanf("%d", &n); for(int i=0; i<n; ++i){ char str[110]; scanf("%s", str); int len = strlen(str); int num_p=0, num_t=0, num_other=0; //记录P A 和其他字符的个数 int loc_p=-1, loc_t=-1; //记录P T 的数组下标，之后用减法即可得到xyz for(int j=0; j<len; ++j){ if(str[j]=='P'){ num_p++; loc_p = j; }else if(str[j]=='T'){ num_t++; loc_t = j; }else if(str[j]!='A'){ num_other++; } } if((num_p!=1) || (num_t!=1) || (num_other!=0) || (loc_t-loc_p<=1)){ //若P或T的数量不是1，或者存在其他字符，或者P和T之间不存在字符 printf("NO\n"); continue; } int x=loc_p, y=loc_t-loc_p-1, z=len-loc_t-1; if(z-(y-1)*x == x){ printf("YES\n"); }else{ printf("NO\n"); } } return 0; }