【算法题】Rails（UVA）

题目：
给定一个N，代表入栈序列1-N (N ≤1000)，判断出栈序列是否合法。
(当某个数字后面出现比它小的数字而且是按递减排列则不合法，与本题无关。)

输入：
这个输入文件由多个行块组成。每一个块描述的是多个要求的重组车厢的序列。在这每个块中的第一行是一个整数N，
被用来说明上面每行的车厢个数。这个快的最后一行仅仅是一个数字0要来标记该快的结束.
最后一个块仅仅是一个0独占一行。

输出：
这个输出文件包含多行，这些行和排列车厢的行数一一对应。日过该排列可行，则输出Yes，否则输出No。
另外存在一个空行在每个相对应的块后面。输出文件中不存在于最后一个什么数据都没有的响应输出.

Input
5
1 2 3 4 5
5 4 1 2 3
0
6
6 5 4 3 2 1
0
0

Output
Yes
No

Yes

#include <iostream>
#include <stack>
using namespace std;

stack<int> sk; 
 
int main(){
    int N;
    while(cin>>N && N){
        int a[N+5];
        while(cin>>a[0] && a[0]){
            while(!sk.empty()) sk.pop();
            for(int i = 1;i<N;i++)
                cin>>a[i];
            int cnt = 1;
            int index = 0;
            while(cnt<=N){
                sk.push(cnt++);
 //             while(sk.top()==a[index]) && !sk.empty()){ // 错误 （有可能非法使用栈空间） 
                while(!sk.empty() && sk.top()==a[index]){ // 正确 
                    index++;
                    sk.pop();
                }
            }
            if(sk.empty()) cout<<"Yes"<<endl;
            else cout<<"No"<<endl;
        }
        cout<<endl;
    }
    return 0;
}