PTA 7-1-1 列车调度 （动态规划+二分，单调队列）

作者 陈越

单位 浙江大学

火车站的列车调度铁轨的结构如下图所示。

两端分别是一条入口（Entrance）轨道和一条出口（Exit）轨道，它们之间有N条平行的轨道。每趟列车从入口可以选择任意一条轨道进入，最后从出口离开。在图中有9趟列车，在入口处按照{8，4，2，5，3，9，1，6，7}的顺序排队等待进入。如果要求它们必须按序号递减的顺序从出口离开，则至少需要多少条平行铁轨用于调度？

输入格式：

输入第一行给出一个整数N (2 ≤ N ≤105)，下一行给出从1到N的整数序号的一个重排列。数字间以空格分隔。

输出格式：

在一行中输出可以将输入的列车按序号递减的顺序调离所需要的最少的铁轨条数。

//输入样例
9
8 4 2 5 3 9 1 6 7

//输出样例
4

结合样例

//样例解析
queue1: 8 4 2 1
queue2: 5 3
queue3: 9 6
queue4: 7

结合样例可以知道（推测），当每个轨道都是队首序号最大的单调队列时，我们就可以将这些列车按照顺序调离：

可以贪心地使每个这样的轨道尽可能的放入列车来满足题目要的最少轨道数。

为了尽可能地创建这样的轨道，我们可以用一个数组f来充当轨道，f所保存的元素就是每个轨道的最小值，被最小值覆盖的前一个元素并不重要，我们只需要求出轨道数。

每读入一个新元素，我们就找到第一个可以加入该元素的轨道，并且更新该轨道的最小值。

upper_bound是头文件“algorithm”带有的一个二分查找函数，可以直接去查了解下，因为自己实现这个二分查找并不难。

注意维护的每个轨道都是一个单调队列，数组f是单调递增的。

#include<iostream>
#include<algorithm>//upper_bound
using namespace std;
int main(){
	ios::sync_with_stdio(0);cin.tie(0);//读入优化
	int n,cnt=0,temp;//cnt为
	cin>>n;
	int f[n+1];//dp数组，首元标号为1,该数组大小最大为n
	for(int i=1;i<=n;i++){
		cin>>temp;
		if(cnt==0){
			f[++cnt]=temp;
		}
		else{
			if(temp>=f[cnt]){
				f[++cnt]=temp;continue;//若新元素比现在所有轨道上的最小值都大,则添加一个新轨道
			}
			int s=upper_bound(f+1,f+cnt+1,temp)-f;//在所有轨道上最小值中，二分查找到第一个比新元素大的那一个
			f[s]=temp;//更新该轨道的最小值
		}
	}
	// for(int i=1;i<=cnt;i++){
	// 	cout<<f[i]<<' ';
	// }cout<<endl;
	cout<<cnt<<endl;//答案即为所维持的单调递增的dp数组大小
	return 0;
}