最長嚴格上升子序列O(nlogn)算法

相當於二分，len表示當前最長的長度，maxl[i]表示長度爲i的嚴格上升子序列最後一個數的最小值。滿足如果i<j,則maxl[i]<maxl[j]

2017.8.29補充：注意二分的左端點是0而不是1，因爲有當前數字爲最小數字的情況。

//Serene
//最長嚴格上升子序列O(nlogn)算法
#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<cmath>
using namespace std;
const int maxn=5000+10,INF=2e9;
int n,dp[maxn],maxl[maxn],x,len=1;

int ef(int xx,int l,int r) {
	if(l>=r-1) return l;
	int mid=(l+r)>>1;
	if(maxl[mid]<xx) return ef(xx,mid,r);
	else return ef(xx,l,mid);
}

int main() {
	scanf("%d",&n);
	scanf("%d",&x); maxl[1]=x;
	for(int i=2;i<=n;++i) {
		scanf("%d",&x);
		if(x>maxl[len]) maxl[++len]=x;
		else {
			int k=ef(x,0,len);
			maxl[++k]=x;
		}
	}
	cout<<len;
	return 0;
}