关于O(nlogn)求最长（上升/不上升/下降/不下降）子序列的总结

前置知识

这里参考了这篇博文

c++中lower_bound( )和upper_bound( )函数：

在从小到大的排序数组中

• lower_bound( begin,end,num)：从数组的begin位置到end-1位置二分查找第一个大于或等于num的数字，找到返回该数字的地址，不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。

• upper_bound( begin,end,num)：从数组的begin位置到end-1位置二分查找第一个大于num的数字，找到返回该数字的地址，不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。

在从大到小的排序数组中

• lower_bound( begin,end,num,greater<type>() ):从数组的begin位置到end-1位置二分查找第一个小于或等于num的数字，找到返回该数字的地址，不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。

• upper_bound( begin,end,num,greater<type>() ):从数组的begin位置到end-1位置二分查找第一个小于num的数字，找到返回该数字的地址，不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。

• 注意上面的begin和end都是地址，而且是左闭右开的（c++的特点）

代码如下，不是完整代码，不能运行

最长上升子序列长度

	vector<int> a, b;//一个数组存原数数据，一个数组作为辅助数组
	//给辅助数组赋很大的初值
	fill(b.begin(), b.end(), INT_MAX);
    //核心代码，时间复杂度O(nlogn)
    for (int i = 0; i < n; i++) {
        *lower_bound(b.begin(), b.end(), a[i]) = a[i];
    }
    //最后得到长度
    ans = lower_bound(b.begin(), b.end(), INT_MAX) - b.begin();

最长下降子序列长度

	vector<int> a, b;
	//这里给辅助数组赋了一个很小的值
	fill(b.begin(), b.end(), INT_MIN);
	//依然是lower_bound不变，但是要加greater比较器
    for (int i = 0; i < n; i++) {
        *lower_bound(b.begin(), b.end(), a[i], greater<int>()) = a[i];
    }
    ans = lower_bound(b.begin(), b.end(), INT_MIN, greater<int>()) - b.begin();

最长不上升子序列长度

	vector<int> a, b;
	//这里给辅助数组赋了一个很小的值
	fill(b.begin(), b.end(), INT_MIN);
	//然后要用upper_bound，并且加greater比较器
    for (int i = 0; i < n; i++) {
        *upper_bound(b.begin(), b.end(), a[i], greater<int>()) = a[i];
    }
    //注意这里的要查找的值要比赋的初值大才行
    ans = upper_bound(b.begin(), b.end(), INT_MIN + 1, greater<int>()) - b.begin();

最长不下降子序列长度

	vector<int> a, b;
	//这里给辅助数组赋了一个很大的值
	fill(b.begin(), b.end(), INT_MAX);
    for (int i = 0; i < n; i++) {
        *upper_bound(b.begin(), b.end(), a[i]) = a[i];
    }
    //注意这里的要查找的值要比赋的初值小才行
    ans = upper_bound(b.begin(), b.end(), INT_MAX - 1) - b.begin();

总结

• 最长上升/不上升是一对互斥情形，同理最长下降/不下降也是一对互斥情形
• 互斥的两种情况要把函数，初始值和比较器改变为其对立面，即lower_bound改upper_bound，初值正无穷改为负无穷，有比较器改为无比较器等，并且，使用upper_bound时查找的值也有所改变，在不上升的时候要比初值大，在不下降时要比初值小。
• 至于核心代码为什么要那么写，这里不再记录，不过手动模拟一下就会知道其中奥妙。