7-39 堆栈操作合法性 (20 分)

假设以S和X分别表示入栈和出栈操作。如果根据一个仅由S和X构成的序列，对一个空堆栈进行操作，相应操作均可行（如没有出现删除时栈空）且最后状态也是栈空，则称该序列是合法的堆栈操作序列。请编写程序，输入S和X序列，判断该序列是否合法。

输入格式:

输入第一行给出两个正整数N和M，其中N是待测序列的个数，M（≤50）是堆栈的最大容量。随后N行，每行中给出一个仅由S和X构成的序列。序列保证不为空，且长度不超过100。

输出格式:

对每个序列，在一行中输出YES如果该序列是合法的堆栈操作序列，或NO如果不是。

输入样例：

4 10
SSSXXSXXSX
SSSXXSXXS
SSSSSSSSSSXSSXXXXXXXXXXX
SSSXXSXXX

结尾无空行

输出样例：

YES
NO
NO
NO

结尾无空行

作者

DS课程组

单位

浙江大学

代码长度限制

16 KB

时间限制

400 ms

内存限制

64 MB

---

#include<bits/stdc++.h>
using namespace std;
int main(){
    int n,m;
    string s;
    cin>>n>>m;
    while(n--){
        int k=0,t=0;
        cin>>s;
        for(int i=0;i<s.size();i++){
            if(s[i]=='S') k++;//‘S’表明是入栈，则K++；
            else k--; //否则就是‘X’为出栈，则K--；
            if(k<0||k>m)//判断堆栈是否合法，K<0或K>m都表示不合法（K<0表示出栈多于入栈；K>m表示已经超过了栈的最大容量），用t来标记，t=0时就表明栈合法，否则就不合法；
                t=1;
        }
        if(k==0&&t==0) cout<<"YES\n";//判断k=0说明入栈等于出栈，栈合法，t=0就不存在k<0或k>m的情况，k=0,t=0同时成立才能说明栈合法；
        else cout<<"NO\n";//否则其他情况栈都不合法；
    }
    return 0;
}