出栈序列的合法性

给定一个最大容量为 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
代码长度限制
16 KB
时间限制
400 ms
内存限制
64 MB

#include <iostream>
#include <algorithm>
#include <stack>
#include <cstring>
using namespace std;

const int N=1010;

int n, m, k;
int a[N];
bool st[N];

int main()
{
    scanf("%d %d %d", &n, &m, &k);
    while(k--)
    {
        for(int i=0;i<N;i++)
            st[i]=false;
        stack<int> t1, t3;
        for(int i=m;i>0;i--)
            t1.push(i);
        for(int i=0;i<m;i++)
            scanf("%d", &a[i]);
        int flag=0;
        for(int i=0;i<m;i++)
        {
            if(st[a[i]])
            {
                if(a[i]!=t3.top())
                {
                    puts("NO");
                    flag=1;
                    break;
                }
                else
                    t3.pop();
            }
            else
            {
                while(a[i]!=t1.top())
                {
                    t3.push(t1.top());
                    st[t1.top()]=true;
                    t1.pop();
                }
                if(a[i]==t1.top())
                    t3.push(a[i]);
                if(t3.size()>n)
                {
                    puts("NO");
                    flag=1;
                    break;
                }
                else
                {
                    t3.pop();
                    t1.pop();
                }
            }
        }
        if(!flag)
            puts("YES");
    }
    return 0;
}