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<iostream>
#include<algorithm>
#include<stack>

using namespace std;

int n, m, k;
const int N = 1010;
int a[N];

int check() {
	//1-7的顺序入栈，假设当前入栈为x，如果x和序列元素相同，出栈，直到不同
	//如果入栈时数量大于max，或者最后栈不为空，输出NO
	stack<int>stk;

	for (int i = 1, j = 0; i <= m; i++) {
		stk.push(i);
		if (stk.size() > n) return -1;
		
		while (stk.size() && stk.top() == a[j]) {
			stk.pop();
			++j;
		}
	}

	if (stk.size()) return -1;

	return 1;
}

int main() {
	cin >> n >> m >> k;//n是最大容量

	while (k--) {
		for (int i = 0; i < m; i++) cin >> a[i];
		int ret = check();
		if (ret == -1) cout << "NO\n";
		else cout << "YES\n";
	}

	return 0;
}