最长严格上升子序列O(nlogn)算法

相当于二分，len表示当前最长的长度，maxl[i]表示长度为i的严格上升子序列最后一个数的最小值。满足如果i

2017.8.29补充：注意二分的左端点是0而不是1，因为有当前数字为最小数字的情况。

//Serene
//最长严格上升子序列O(nlogn)算法
#include
#include
#include
#include
#include
#include
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]maxl[len]) maxl[++len]=x;
		else {
			int k=ef(x,0,len);
			maxl[++k]=x;
		}
	}
	cout<