堆栈 出栈序列的合法性

给定一个最大容量为 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<iostream>
using namespace std;

typedef int Elemtype;
typedef struct SNode {
    Elemtype* data;
    int top;
    int MaxSize;
}* SList;
void InitStack(SList& S, int MaxSize)
{
    S = new SNode;
    S->MaxSize = MaxSize;
    S->data = new int[MaxSize];
    S->top = -1;
}
void DelStack(SList& S)
{
    free(S->data);
    free(S);
}
bool Push(SList S, Elemtype X)
{
    if (S->top + 1 == S->MaxSize)
        return false;
    S->data[++S->top] = X;
    return true;
}
bool Pop(SList S, Elemtype& X)
{
    if (S->top == -1)
        return false;
    X = S->data[S->top--];
    return true;
}
bool IsLegal(int data[], int n, int MaxSize)
{
    int cnt = 0;
    SList S;
    InitStack(S, MaxSize);
    int X;
    bool record = true;
    for (int i = 0; i < n && record; i++) {
        while (cnt < data[i]) {
            if (!Push(S, ++cnt))
                record = false;
        }
        if (cnt >= data[i]) {
            if (Pop(S, X) && X != data[i])
                record = false;
        }
    }
    DelStack(S);
    return record;
}
int main()
{
    int M, N, K;
    cin >> M >> N >> K;
    int* data = new int[N];
    while (K--) {
        for (int i = 0; i < N; i++) {
            cin >> data[i];
        }
        cout << (IsLegal(data, N, M) ? "YES" : "NO") << endl;
    }
}