题目：
描述
某列车调度站的铁道联接结构如Figure 1所示。
其中，A为入口，B为出口，S为中转盲端。所有铁道均为单轨单向式：列车行驶的方向只能是从A到S，再从S到B；另外，不允许超车。因为车厢可在S中驻留，所以它们从B端驶出的次序，可能与从A端驶入的次序不同。不过S的容量有限，同时驻留的车厢不得超过m节。
设某列车由编号依次为{1, 2, ..., n}的n节车厢组成。调度员希望知道，按照以上交通规则，这些车厢能否以{a1, a2, ..., an}的次序，重新排列后从B端驶出。如果可行，应该以怎样
的次序操作?
输入
共两行。
第一行为两个整数n，m。
第二行为以空格分隔的n个整数，保证为{1, 2, ..., n}的一个排列，表示待判断可行性的驶出序列{a1，a2，...，an}。
输出
若驶出序列可行，则输出操作序列，其中push表示车厢从A进入S，pop表示车厢从S进入B，每个操作占一行。
若不可行，则输出No。
样例
Example 1
Input
5 2
1 2 3 5 4
Output
push
pop
push
pop
push
pop
push
push
pop
pop
Example 2
Input
5 5
3 1 2 4 5
Output
No
限制
1 ≤ n ≤ 1,600,000
0 ≤ m ≤ 1,600,000
时间：2 sec
空间：256 MB
思路：
使用一维数组和int类型的指针模拟栈的基本操作，再设另一变量i作为入栈序列1,2,...n中的任意一个并不断自增，若i不大于出栈序列out中的元素t，则入栈并判定栈是否空（m=0的情况），若空则out不可行。若i>t，则若判定栈非空且栈顶元素为t，出栈，反之out不可行。再定义一个一维数组，元素为0为pop，1为push，时刻“记录”每次出栈或入栈的操作，最后根据可行标志输出。注意：操作数最多为输入数的2倍。
代码：
#include<cstdio>
#define MAXSIZE 1600001
int stack[MAXSIZE],op[2*MAXSIZE];//定义栈和标记操作的数组，注意全局数组元素为0
int i=1,j,k=0,m,n,t,flag=1,top=-1;//i为1,2,...n,k为数组下标，flag标识序列可行性
void Judge(){
if(top!=-1&&stack[top]==t){//若栈非空且栈顶元素为t
top--;//出栈
k++;
}
else flag=0;
}
int main(){
scanf("%d%d",&n,&m);
while(n--){
if(!flag)break;
scanf("%d",&t);
if(i<=t){//说明t未入栈，需要入栈
for(;top<m-1&&i<=t;i++){//将i到t入栈，注意top从-1开始，故top需小于m-1
stack[++top]=i;//入栈
op[k++]=1;//1为push，0为pop
}
Judge();
}
else Judge();
}
if(!flag)//根据可行标识输出
puts("No");
else
for(i=0;i<k;i++)
if(op[i])
puts("push");
else
puts("pop");
return 0;
}