pat--7-11 出栈序列的合法性（25 分）

7-11 出栈序列的合法性（25 分）

给定一个最大容量为 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;
const int N=1e3+7;
stack <int> s;
int t1;
int b[N]; int t2;
int m,n,k;
int main ()
{
    cin>>m>>n>>k;
    while (k--) {
        while (!s.empty()) s.pop();
        t2=t1=1;
        for (int i=1;i<=n;i++) 
            cin>>b[i];
        int flag=1;
        while (1) {
            if (t1==b[t2]) {
                t1++;
                t2++;
            }
            else if (!s.empty()&&s.top()==b[t2]) {
                s.pop();
                t2++;
            }
            else {
                if (t1>n) break;// 不能出栈，也不能入栈就跳出
                s.push (t1);t1++;
                if (s.size()>=m) {
                    flag=0;
                    break;
                }
            }
        }
        if (!flag||!s.empty()) cout<<"NO
";
        else                   cout<<"YES
";
    }
    return 0;
}