栈的push、pop 序列

题目：输入两个整数序列。其中一个序列表示栈的push 顺序，
判断另一个序列有没有可能是对应的pop 顺序。
为了简单起见，我们假设push 序列的任意两个整数都是不相等的。
比如输入的push 序列是1、2、3、4、5，那么4、5、3、2、1 就有可能是一个pop 系列。

思路：建立一个栈，若栈不为空，检查栈顶元素是否与pop序列将要弹出的元素相同，若相同则弹出栈顶元素，若不同，则检查push序列，将push序列中将与pop序列将要弹出元素不同的全部压入栈，直到找到相同的，若在push剩下的元素中找不到与pop序列将要弹出的元素相同的元素，则这个pop序列不可能是push序列的一个弹出序列，循环下去，直到pop序列完成，或肯定了pop不是朴实的一个出栈顺序。

　　基于以上分析，代码如下：

bool IsPopSeries(int *push, int *pop, int n)
{
    assert (push != NULL);

    assert (pop != NULL);

    assert (n > 0);

    int *Stack = NULL;
    int nTop = -1;

    if (NULL == (Stack = (int *)malloc (n * sizeof (int))))
    {
        printf ("Fail to malloc space to Stack!\n");
        exit(1);
    }

    int i = 0;
    int j = 0;

    while (j < n)
    {
        if (nTop >= 0)
        {
            // 若栈不为空则首先检查栈顶元素是否符合要求
            if (Stack[nTop] == pop[j])
            {
                --nTop;
                ++j;

                continue;
            }
        }

        while ((i < n) && (push[i] != pop[j]))
        {
            // 在push序列中找下一个要弹出的元素
            Stack[++nTop] = push[i++];
        }

        if (i >= n)
        {
            // push序列找完了都没有找到pop序列中将要弹出的元素
            // 则pop不可能是push的弹出序列
            break;
        }

        ++i;
        ++j;
    }

    if (j < n)
    {
        return (false);
    }
    
    return true;
}