PAT乙级1003题解析：字符串逻辑判断与正则表达式实战

1. PAT乙级1003题解析：字符串逻辑判断实战

（开头部分）
最近在准备PAT乙级考试的同学应该都熟悉这道经典题目——"我要通过"。作为乙级题库的第1003题，它考察的是对特定字符串规则的逻辑判断能力。这道题源自浙江大学计算机程序设计能力考试（PAT）的Basic Level题库，也是翁恺老师推荐的C语言练习题之一。

我第一次做这道题时花了将近半小时才理清所有判断条件，后来在刷题群里发现不少同学都在这个题目上栽过跟头。今天我就结合自己的解题经验，详细拆解这道题的解题思路，并分享几个常见的踩坑点。无论你是刚开始准备PAT考试，还是在练习C语言字符串处理，这篇文章都能帮你快速掌握这类题型的解法。

2. 题目要求与规则解析

2.1 原始题目描述

题目给出以下判定规则：

1. 字符串中必须仅包含'P'、'A'、'T'三种字符
2. 形如"xPATx"的字符串可以通过（x可以是空字符串或仅由'A'组成的字符串）
3. 如果"aPbTc"可以通过，那么"aPbATca"也可以通过（其中a、b、c都是仅由'A'组成的字符串，且长度≥0）

最终要求实现一个程序，能够判断输入的字符串是否满足以上所有条件。

2.2 规则背后的数学规律

经过对多个测试用例的分析，可以发现题目隐藏着一个关键规律：有效字符串必须满足P前的A数量 × P与T之间的A数量 = T后的A数量。用公式表示就是：

code复制count_A_before_P * count_A_between_PT == count_A_after_T

例如：

• "PAT"（0*1=0）→ 通过
• "APATA"（1*1=1）→ 通过
• "AAPATAA"（2*1=2）→ 通过
• "AAPAATAAAA"（2*2=4）→ 通过

3. 解题思路与实现步骤

3.1 基础解法：逐步验证法

最直观的解法是按照题目给出的三个条件依次验证：

c复制#include <stdio.h>
#include <string.h>
#include <stdbool.h>

bool isValid(char *str) {
    int len = strlen(str);
    int p_pos = -1, t_pos = -1;
    
    // 条件1：仅包含P,A,T三种字符
    for(int i=0; i<len; i++) {
        if(str[i]!='P' && str[i]!='A' && str[i]!='T') {
            return false;
        }
        if(str[i]=='P') {
            if(p_pos != -1) return false; // 多个P
            p_pos = i;
        }
        if(str[i]=='T') {
            if(t_pos != -1) return false; // 多个T
            t_pos = i;
        }
    }
    
    // 必须包含P和T且P在T前
    if(p_pos==-1 || t_pos==-1 || p_pos>t_pos) {
        return false;
    }
    
    // 条件3：验证A的数量关系
    int a = p_pos;
    int b = t_pos - p_pos - 1;
    int c = len - t_pos - 1;
    
    return (b>=1) && (a*b == c);
}

3.2 优化解法：正则表达式匹配

对于熟悉正则表达式的同学，可以用更简洁的方式实现：

c复制#include <regex.h>

bool isMatch(char *str) {
    regex_t regex;
    int reti;
    
    // 编译正则表达式
    reti = regcomp(&regex, "^A*PA+TA*$", REG_EXTENDED);
    if(reti) return false;
    
    // 执行匹配
    reti = regexec(&regex, str, 0, NULL, 0);
    regfree(&regex);
    
    return reti == 0;
}

注意：实际解题时需要结合两种方法，先用正则验证格式，再检查A的数量关系。

4. 常见错误与调试技巧

4.1 典型错误案例

1. 忽略空字符串：题目允许x为空字符串，但很多同学默认x至少包含一个A
2. 多个P或T：没有检查P和T是否唯一出现
3. P和T顺序：没有验证P是否在T之前出现
4. 边界条件：如"PT"（b=0）、"PAT"（a=0,c=0）等特殊情况

4.2 调试建议

1. 先单独测试条件1：用包含其他字符的字符串测试
2. 测试条件2：验证各种"xPATx"组合
3. 最后测试条件3：构造不同a、b、c组合的字符串
4. 推荐测试用例：
   • "PT" → 应返回false
   • "APATA" → true
   • "AAPATAA" → true
   • "AAPAATAAAA" → true
   • "PAAT" → false
   • "PATAA" → false

5. 性能优化与扩展思考

5.1 时间复杂度分析

基础解法的时间复杂度是O(n)，其中n是字符串长度。主要耗时在：

1. 遍历字符串检查非法字符（O(n)）
2. 查找P和T的位置（O(n)）
3. 计算A的数量（O(1)）

5.2 空间复杂度优化

由于只需要统计几个计数器和位置信息，空间复杂度是O(1)，不需要额外存储空间。

5.3 题目扩展

这道题可以延伸出几个变种：

1. 允许小写字母的p、a、t
2. 增加其他辅助字符但不影响判断
3. 修改第三条规则的推导公式

我在实际刷题时发现，理解这类题目的关键在于找出隐藏的数学规律。建议多练习类似的字符串处理题目，比如LeetCode上的"Valid Number"等。