UVA 673 Paretheses Balance

原题Vjudge

题目大意

怼给你一堆括号，判断是否合法
有三条规则
（1）空串合法
（2）如果$A\mathrm{和}B$都合法，则$AB$合法（例如：$()\mathrm{和}[]$都合法，则$()[]$合法）
（3）如果$A$合法，则$(A)\mathrm{和}[A]$都合法（例如$A=([])$,则$(([]))\mathrm{和}[([])]$都是合法的）

解题思路

可以成对的括号是贴在一起的（在上述规则的定义下）
通过栈的“后入先出”性质我们可以想到
遇到左括号就入栈，遇到右括号就判断是否与栈顶的左括号匹配，若匹配则出栈，不匹配则说明括号序列不合法，输出$No$即可
到最后别忘记检测括号是否全部匹配（即是否栈空）

坑点

注意规则（1）空串合法，所以可能毒瘤UVA会给个空行，所以用$getline$进行读入
注意&&是短路运算符，在元素出栈前应该判断是否栈空，设是否栈空为条件$p$，括号与栈顶是否匹配为条件$q$，则我们的$if$语句应该是$p\wedge q$,此时当$p$不成立，即栈空时，会直接短路掉，而不会取到栈顶引发段错误.(不过手写栈可以设置空栈条件是top = 0，这样就不用考虑短路)

代码实现

#include <iostream>

using namespace std;
const int N = 1e7 + 86;
int top;
char mp[358], s[N];

int main()
{
    int T;
    scanf("%d", &T);
    getchar();
    mp['('] = ')', mp['['] = ']';
    
    while (T -- ) 
    {
        string val;
        getline(cin, val);
        
        if (!val.size()) { puts("Yes"); continue ; }
        bool err = 0;
        
        for (auto c : val) 
        {
            if (err) break ;
            if (c == '(' || c == '[') s[ ++ top] = c;
            else if (top && c == mp[s[top]]) -- top;
            else err = 1;
        }
        if (top) err = 1, top = 0;
        
        puts(err ? "No" : "Yes");
    }
    
    return 0;
}

Accepted!