习题3.9 栈操作的合法性

假设以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<stdio.h>
#include<stdlib.h>

#define MAXS 101
#define MAXN 50

typedef enum{
	false,true
} bool;
typedef int ElementType;

//堆栈定义
typedef int Position;
typedef struct SNode *PtrToSNode;
struct SNode{
	ElementType *Data;
	Position Top;
	int MaxSize;
}; 
typedef PtrToSNode Stack;

Stack createStack(int MaxSize);
bool isEmpty(Stack s);
bool isFull(Stack s);
bool push(Stack s,ElementType x);
bool pop(Stack s);
void clear(Stack s);

int main()
{
	int n,m,i,j;
	char str[MAXS];
	Stack s;
	scanf("%d%d\n",&n,&m);
	s=createStack(m);
	
	for(i=0;i<n;i++){
		scanf("%s",str);
		clear(s);
		for(j=0;str[j]!='\0';j++){
			if((str[j]=='S')&&(!push(s,1)))
				break;
			if((str[j]=='X')&&(!pop(s)))
				break;	
		}
		if((str[j]=='\0')&&isEmpty(s))
			printf("YES\n");
		else
			printf("NO\n");
	}
	return 0;
}

Stack createStack(int MaxSize)
{
	Stack s = (Stack)malloc(sizeof(struct SNode));
	s->Data=(ElementType *)malloc(MaxSize*sizeof(ElementType));
	s->Top=-1;
	s->MaxSize=MaxSize;
	return s;
}
bool isEmpty(Stack s)
{
	return(s->Top==-1);
}
bool isFull(Stack s)
{
	return(s->Top==(s->MaxSize-1));
}

bool push(Stack s,ElementType x)
{
	if(isFull(s))
		return false;
	else{
		s->Data[++(s->Top)]=x;
		return true;
	}
}
bool pop(Stack s)
{
	if(isEmpty(s))
		return false;
	else{
		(s->Top)--;
		return true;
	}
}
void clear(Stack s)
{
	while(!isEmpty(s))
		pop(s);
}