出栈序列的合法性

给定一个最大容量为 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。

思路：栈顶元素匹配

#include<iostream>
#include<cstring>
#include<stack>
using namespace std;
int main()
{
	int a[10000];
	int head=0;
	
	int m,n,k,i,j,l=0;
	cin>>m>>n>>k;
	
	stack<int> s;
	bool flag=true;
	
	for(i=1;i<=k;i++)
	{
		l=0;flag=true;
		for(j=1;j<=n;j++)
		{
			cin>>a[j];
		}
		head=1;
		
		for(j=1;j<=n;j++)
		{
			s.push(j);l++;
			if(l>m)//超出容量
			{
				flag=false;
				break;
			}
			
			if(s.top()==a[head])//栈顶元素匹配
			{
				for(;;)
				{
					if(!s.empty()&&s.top()==a[head])
					{
						cout<<s.top();s.pop();l--;head++;
					}
					else
					{
						break;//空栈或者不匹配时结束
					}
				}
			}
			
			if(j==n&&!s.empty())//栈中仍有元素无法匹配
			{
				flag=false;
			}
		}
		
		for(;;)
		{
			if(s.empty())
			{
				break;
			}
			else
			{
				s.pop();
			}
		}//清空栈
		
		if(flag)
		{
			cout<<"YES"<<endl;
		}
		else
		{
			cout<<"NO"<<endl;
		}
	}
	return 0;	
}