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;
 }