Uva 514 Rails

原文地址

Uva 514 Rails

铁轨

PopPush城市有一座著名的火车站。这个国家到处都是丘陵。而这个火车站是建于上一个世纪。不幸的是，那时的资金有限。所以只能建立起一条路面铁轨。而且，这导致这个火车站在同一个时刻只能一个轨道投入使用，因为它缺少空间，两列火车将无路可走。具体看下图。

当地的惯例是每一列火车从A方向驶向B方向时候，会用某种方式将车厢重组。假设火车将要到达A方向，拥有N个车厢(N<=1000),这些车厢按照递增顺序标记为1到N。负责从组车厢的领导,必须知道是否能从组车厢让它驶出B，而这个重组的序列就是a1\a2\a3…aN.帮组他并且写一个程序来判断是否可能按照所要求的车厢顺序。你可以假设，单个的车厢可以从列车上分离出来，在他们进入站台之前。并且他们可以自由移动，知道它们上了B轨道。你也可以假设在任意时候站台可以放下无数的车厢。但是只要一个车厢进入站台，它就不能返回A轨道，同时如果它离开了站台驶向B轨道，它就不能返回站台。

输入：

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

最后一个块仅仅是一个0独占一行。

输出：

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

输出

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

/*
由于station符合后进先出规则，所以可以用一个stack<int>来表示station。
然后采用模拟的规则来写，因为进入station是按照编号递增进入，所以可以用aId变量表示。
接下来就是模拟时候应该注意的条件，我们知道有以下两种情况，一种是一进来station，就出station
也就是 aId == coaches[lenB]; 一种是进来时还不出站，那么这时候就要s.push(aId),但是这一种的条件呢？
我们如果可以排除掉第一种，那么无非就是第二种了。但是我们要知道，在进站之前，如果站台里有车它是可以先出站的
，这种状态就条件就是 !s.empty() && s.top() == coaches[lenB].所以只要按照顺序判断这几个条件
就可以写出这个模拟程序了。

总结：
解决问题的关键点，在于构建问题的模型、大部分都是可以用现有的基础数据结构。构造完对应的数据结构，特别是对于模拟题
无非就是状态见的转移处理，这是就要在基于模型的基础上、先写出映射到个个状态的唯一条件，然后按照问题逻辑一一先后判断
即可。
*/
#include <iostream>
#include <stack>

using namespace std;
const int len = 1024;
int coaches[len];

int main() {

int n;
while (cin >> n, n) {
stack<int> s;
// read the required permutaion

while (    cin >> coaches[0], coaches[0]) {

for (int i = 1; i < n; i++) {
cin >> coaches[i];
}
int lenB = 0, aId = 1;
bool ok = true;
while (lenB < n) {

if (aId == coaches[lenB]) {  aId++; lenB++; }
else if(!s.empty() && s.top() ==                  coaches[lenB]) { s.pop(); lenB++; }
else if(aId <= n) s.push(aId++);
else { ok = false; break; }

}

cout << (ok ? "Yes" : "No") << endl;
}
cout << endl;
}

return 0;
}