最长上升子序列（LIS）nlogn模板

参考https://www.cnblogs.com/yuelian/p/8745807.html

注意最长上升子序列用lower_bound,最长不降低子序列用upper_bound
好比123458， 加入了5
假设求最长上升子序列
这个时候只能替换5，不能替换8（严格上升）
虽然没有用，可是这样不会错，写upper_bound就错了。
假设求最长不降低子序列
这样应该替换8，替换5并非最优的
因此用upper_bound

 

最长上升子序列（LIS）nlogn模板

#include<cstdio>
#include<algorithm>
#define REP(i, a, b) for(int i = (a); i < (b); i++)
using namespace std;

const int MAXN = 51234;
int a[MAXN], f[MAXN], n; //a数组从0开始，f数组从1开始 

int main()
{
	scanf("%d", &n);
	REP(i, 0, n) scanf("%d", &a[i]);
	int len = 1;
	f[1] = a[0]; //初始化 
	REP(i, 1, n)
	{
		if(a[i] > f[len]) f[++len] = a[i]; //这里是++len 如果不降低就改成>= 
		else f[lower_bound(f + 1, f + len + 1, a[i]) - f] = a[i]; //注意f数组是从1开始 
	}
	printf("%d\n", len);
	return 0;
}

 

最长不降低子序列（LIS）nlogn模板

#include<cstdio>
#include<algorithm>
#define REP(i, a, b) for(int i = (a); i < (b); i++)
using namespace std;

const int MAXN = 51234;
int a[MAXN], f[MAXN], n; 

int main()
{
	scanf("%d", &n);
	REP(i, 0, n) scanf("%d", &a[i]);
	int len = 1;
	f[1] = a[0]; 
	REP(i, 1, n)
	{
		if(a[i] >= f[len]) f[++len] = a[i]; //>改为>= 
		else f[upper_bound(f + 1, f + len + 1, a[i]) - f] = a[i];  //lower_bound改为upper_bound
	}
	printf("%d\n", len);
	return 0;
}

 

若是要求最长降低子序列或者最长不上升子序列符号改变，同时二分加上cmp便可

另外有个神奇的定理
若是是求一个数组最少分红几组最长不上升子序列的话
答案就是最长上升子序列（上升改为降低也成立）
导弹拦截那题要用到

 

输出路径的版本，见https://blog.csdn.net/lxcxingc/article/details/81238008

#include<cstdio>
#include<algorithm>
#define REP(i, a, b) for(int i = (a); i < (b); i++)
using namespace std;

const int MAXN = 51234;
int a[MAXN], f[MAXN];
int ans[MAXN], pos[MAXN], n;

int main()
{
	scanf("%d", &n);
	REP(i, 0, n) scanf("%d", &a[i]);
	int len = 1;
	f[1] = pos[1] = a[0];
	REP(i, 1, n)
	{
		if(a[i] > f[len]) f[++len] = a[i], pos[i] = len;
		else f[pos[i] = lower_bound(f + 1, f + len + 1, a[i]) - f] = a[i];
	}
	printf("%d\n", len);
	
	int maxx = 1e9, t = len;
	for(int i = n - 1; i >= 0; i--)
	{
		if(t == 0) break;
		if(pos[i] == t && maxx > a[i])
		{
			maxx = a[i];
			ans[t--] = a[i];
		}
	}
	REP(i, 1, len + 1) printf("%d ", ans[i]);
	puts("");
	
	return 0;	
}