单项选择题 若进栈序列为a1、a2、a3、a4，进栈过程允许出栈，则下列出栈序列中，（）是不可能的。

单项选择题 以链表作为栈的存储结构，令Sp为栈顶指针，栈空的判定条件是（）。

单项选择题 用大小为n的一维数组S存储一个栈，令S[0]为栈底，变量top表示当前栈顶的位置（下标），即S[top]为栈顶元素。则元素出栈后top应做如下（）的修改。