【PTA】：出栈序列的合法性

题目描述

给定一个最大容量为 M 的堆栈，将 N 个数字按 1, 2, 3, …, N 的顺序入栈，允许按任何顺序出栈，则哪些数字序列是不可能得到的？例如给定 M=5、N=7，则我们有可能得到{ 1, 2, 3, 4, 5, 6, 7 }，但不可能得到{ 3, 2, 1, 7, 5, 6, 4 }。

输入格式

输入第一行给出 3 个不超过 1000 的正整数：M（堆栈最大容量）、N（入栈元素个数）、K（待检查的出栈序列个数）。最后 K 行，每行给出 N 个数字的出栈序列。所有同行数字以空格间隔。

输出格式

对每一行出栈序列，如果其的确是有可能得到的合法序列，就在一行中输出YES，否则输出NO。

输入样例

5 7 5
1 2 3 4 5 6 7
3 2 1 7 5 6 4
7 6 5 4 3 2 1
5 6 4 3 7 2 1
1 7 6 5 4 3 2

输出样例

YES
NO
NO
YES
NO

源代码

#include<bits/stdc++.h>
using namespace std;

int main()
{
	int M, N, K;				// M（堆栈最大容量）、N（入栈元素个数）、K（待检查的出栈序列个数）
	cin >> M >> N >> K;
	while (K--)
	{
		int X = 1, Y = 1;		//X来表示1-N的数字 ，Y来表示数组D的下标 
		int D[1002]={0};		//存放出栈序列
		stack<int> istack;		// 栈        
		for (int i = 1; i <= N; i++)
			cin >> D[i];
		while (true)
		{
			//判断给出的出栈序列如果和1到N增长顺序相同，那就是入栈一个元素，然后立即出栈。 
			if (X == D[Y])
			{
				X++;
				Y++;
			}
			//判断如果栈中有元素，然后栈顶元素也与此时的出栈序列元素相同，那么就继续出栈来判断 
			else if (!istack.empty() && (istack.top() == D[Y]))
			{
				istack.pop();				//元素出栈
				Y++;
			}
			else
			{
				if (X > N)					//判断元素是否全部入栈
					break;					
				istack.push(X);				//元素入栈 
				X++;
				if (istack.size() >= M)		//判断栈是否已满
					break;
			}
		}
		if (istack.size() >= M || !istack.empty()) 
			printf("NO\n");
		else 
			printf("YES\n");
	}
	return 0;
}