最长上升子序列——二分法

前置

设 $lo{w}_i$ ：长度为 $i$ 的上升子序列末尾数的最小值

我们要使 $lo{w}_i$ 尽量小，这样后面的元素就更有可能加入到当前的上升子序列中。

举例：

序列 A ：1 2 3
序列 B ：1 2 5

这时如果后面有一个元素是$4$,它只能加入到$序列A$中,不能加入到$序列B$中。

维护

对于原序列$a$中的每一个元素，二分找到第一个大于等于$a_i$的$lo{w}_i$，用$a_i$更新$lo{w}_i$。

举例：

我们用#来代表极大值($INF$)

下面我的表示方法是 数组名+下标(值)，如$a_3(7)$表示数组$a$的第3个数，它的值是7。

原序列$a$：1 2 4 1 3 4

数组$low$：# # # # # #

$a_1=1$：
第一个$\ge a_1(1)$的数是$lo{w}_1(INF)$，用$a_1(1)$更新$lo{w}_1$。
数组$low$：1 # # # # #

$a_2=2$：
第一个$\ge a_2(2)$的数是$lo{w}_2(INF)$，用$a_2(2)$更新$lo{w}_2$。
数组$low$：1 2 # # # #

$a_3=4$：
第一个$\ge a_3(4)$的数是$lo{w}_3(INF)$，用$a_3(4)$更新$lo{w}_3$。
数组$low$：1 2 4 # # #

$a_4=1$：
第一个$\ge a_4(1)$的数是$lo{w}_1(1)$，用$a_4(1)$更新$lo{w}_1$。
数组$low$：1 2 4 # # #

$a_5=3$：
第一个$\ge a_5(3)$的数是$lo{w}_3(4)$，用$a_5(3)$更新$lo{w}_3$。
数组$low$：1 2 3 # # #

$a_6=4$：
第一个$\ge a_4(4)$的数是$lo{w}_4(INF)$，用$a_6(4)$更新$lo{w}_4$。
数组$low$：1 2 3 4 # #

最长上升子序列的长度就是最大的值不为INF的下标，在此样例中就是4.

代码

以洛谷的这道题为例。

#include<bits/stdc++.h>
#define ll long long
using namespace std;
ll n,a[1000005],low[1000005],len=0;
signed main(){
	ios::sync_with_stdio(false);
	cin>>n;
	for(ll i=1;i<=n;i++)cin>>a[i];
	memset(low,0x3f,sizeof(low));
	for(ll i=1;i<=n;i++){
		ll L=1,R=len+1,res=0;
		while(L<=R){
			ll mid=(L+R)>>1;
			if(low[mid]>=a[i]){R=mid-1;res=mid;}
			else L=mid+1;
		}
		low[res]=a[i];
		if(res==len+1)len++;
	}
	cout<<len<<endl;
	return 0;
}

如果你还有问题，请在评论区留言或私信，我会尽量在24小时内解答。

比起点赞和关注，我更希望你们可以说出你们不懂的地方是哪。