最长严格上升子序列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;}