Problem4326--§3 1 车厢调度(train)

4326: §3 1 车厢调度(train)

[Creator : ]
Time Limit : 1.000 sec  Memory Limit : 256 MiB

Description

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

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

Input

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

Output

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

Sample 1 Input

5
5 4 3 2 1

Sample 1 Output

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

Sample 2 Input

5
4 3 1 2 5

Sample 2 Output

NO

Source/Category

数据结构 2.2.栈