出栈序列的合法性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 <bits/stdc++.h>
using namespace std;
int main()
{
    int m, n, k;
    cin >> m >> n >> k;
    stack<int> st;
    queue<int> qu;
    while (k--)
    {
        while (!st.empty()) //初始状态栈和队列必须为空，把上次循环的置空
        {
            st.pop();
        }
        while (!qu.empty())
        {
            qu.pop();
        }
        for (int i = 0; i < n; i++) //用队列存储出栈信息，利于后面出队列，判断队列是否为空等操作
        {
            int t;
            cin >> t;
            qu.push(t);
        }
        for (int i = 1; i <= n; i++)
        {
            st.push(i);        //当栈顶元素与队首元素不同时就一直入栈操作
            if (st.size() > m) //栈大小超过容量
            {
                break;
            }
            while (!st.empty() && !qu.empty() && st.top() == qu.front()) //栈，队列都非空，并且栈顶元素等于队首元素时一直出队列
            {
                st.pop();
                qu.pop();
            }
        }
        if (!st.empty() && !qu.empty()) //栈，队列都为空时
        {
            cout << "YES\n";
        }
        else
        {
            cout << "NO\n";
        }
    }
}