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\n";
        else                   cout<<"YES\n";
    }
    return 0;
}