chap3 7-2 堆棧操作合法性 (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

代碼：

#include<iostream>
#include<stdlib.h>
#include<stdio.h>
#define STACK_SIZE 51
using namespace std;
typedef int SElemType;
typedef struct
{
    SElemType *base;
    SElemType  *top;
    int stacksize;
}SqStack;
int CreatS(SqStack &S)
{
    S.base = (SElemType *)malloc(STACK_SIZE*sizeof(SElemType));
    if(!S.base)
        exit(-1);
    S.top=S.base;
    S.stacksize = STACK_SIZE;
    return 1;
}
int GetTop(SqStack &S,SElemType &e)
{
    if(S.top==S.base)
        return 0;
    e=*(S.top-1);
    return 1;
}
int Push(SqStack &S,SElemType e)
{
    if(S.top-S.base>=S.stacksize)
    {
        //S.base = (SElemType *)realloc(S.base,(S.stacksize+10)*sizeof(SElemType));
        return 0;
    }
    *S.top++=e;
    return 1;
}
int Pop(SqStack &S,char &e)
{
    if(S.top==S.base)
        return 0;
    e=*--S.top; // e的存在是沒有價值的！！記錄刪除的元素，本題中沒有這個操作的必要
    return 1;
}
int Empty(SqStack &S)
{
    if(S.top==S.base)
        return 1;
    else
        return 0;
}
int main()
{
    int n,m;
    cin>>n>>m;
    while(n--)
    {
        string s;
        cin>>s;
        char e;
        int len=s.length();
        SqStack S;
        CreatS(S);
        int f=1;
        int l=0;
        for(int i=0;i<len;i++)
        {
            if(s[i]=='S')
            {
                Push(S,s[i]);
                l++;
                if(l>m)
                {
                    cout<<"NO"<<endl;
                    f=0;
                    break;
                }
            }
            else
            {
                if(Empty(S))
                {
                    cout<<"NO"<<endl;
                    f=0;
                    break;
                }
                else
                {
                    Pop(S,e);
                    l--;
                }
            }

        }
        if(f)
        {
            if(Empty(S))
                cout<<"YES"<<endl;
            else
                cout<<"NO"<<endl;
        }
    }

}