#P380. 车厢调度

车厢调度

题目描述

有一个火车站,铁路如图所示,每辆火车从 AA 驶入,再从 BB 方向驶出,同时它的车厢可以重新组合。假设从 AA 方向驶来的火车有 nn 节(n≤10001000),分别按照顺序编号为 112233,…,nn。假定在进入车站前,每节车厢之间都不是连着的,并且它们可以自行移动到 BB 处的铁轨上。另外假定车站 CC 可以停放任意多节车厢。但是一旦进入车站 CC,它就不能再回到 AA 方向的铁轨上了,并且一旦当它进入 BB 方向的铁轨,它就不能再回到车站 CC

负责车厢调度的工作人员需要知道能否使它以 $a1,a2,,an的顺序从1,a2,…,an的顺序从 B$ 方向驶出,请来判断能否得到指定的车厢顺序。

输入格式

第一行为一个整数 nn,其中n≤10001000,表示有 nn 节车厢,第二行为 nn 个数字,表示指定的车厢顺序。

输出格式

如果可以得到指定的车厢顺序,则输出一个字符串”YES”,否则输出”NO”(注意要大写,不包含引号)。

样例

样例输入 1

5
5 4 3 2 1

样例输出 1

YES

提示

解析:观察发现,整个调度过程其实是在模拟入栈出栈的过程,而这个过程中,我们可以分成三种状态:栈前、栈中、栈后。我们可以发现,当某个数字出栈了,说明比它小的数字要么已经出栈了,要么还在栈里,不能是入栈前状态,并且在栈中的顺序是从大到小的(从栈顶往栈底看),比如出 55,那么 11223344 要么已经在 55 之前出了,要么还在栈中(假如 113344 在栈中,从栈顶往栈底看依次为 443311),不能是入栈前的状态。如果某个数字要出栈,那么当前在栈中的数字都必须小于它,否则就与栈的性质矛盾,不合法,于是我们可以这样解决: 从第一个数字开始扫描,a[i]表示当前出栈的数字,如果有比a[i]大的数字还在栈中,那么就产生矛盾,输出“NO”;否则,标记当前数字a[i]为栈后状态,那么[11, a[i]-1]这些数字如果还没出栈,标记为栈中状态。具体我们可以用 00 表示为确定状态,11 表示栈中状态,22 表示栈后状态。