算法学习，准备2022蓝桥杯（5.11线性DP）

学习目标：

No.10线性DP + 贪心

---

学习内容：

最长上升子序列的二分做法
依然是这一个数列3 1 2 1 8 5 6，如果这个序列的一个数能接到3的后面，那么它一定能接到1的后面，显然接在1的后面比接在3的后面更合适，这样存的预算值能够更大。到第i个数时，前面i - 1个最长上升子序列结尾的值存当前最小的那一个。
如果把子序列最后一个值放在坐标系里，那么该序列是严格单调递增的。证明：假设第6个子序列的最小值比第五个还要小，因为子序列是递增的那么第六个结尾的上一个数一定会比第五个要小，那么第五个存的应该是这个而不是第五个序列当前的那个，和假设矛盾。有单调性就可以用二分。
我们定义当前子序列的末尾值是ai，在前面的子序列里面找到一个末尾值是小于ai的最大值，找到长度为4的加上，长度变成5，那么原本长度为5的序列最后一个值一定大于等于a，这是满足单调性的。

---

DP模板：

#include<iostream>
#include<algorithm>

using namespace std;

const int N = 100010;

int n;
int a[N], q[N];

int main()
{
    cin >> n;
    for(int i = 0; i < n; i ++ ) scanf("%d", &a[i]);
    
    int len = 0;
    q[0] = -2e9;
    for(int i = 0; i < n; i ++ )
    {
        int l = 0, r = len;
       
        while(l < r)
        { 
            int mid = l + r + 1>> 1;
            if(q[mid] < a[i]) l = mid;
            else r = mid - 1;
        }
        len = max(len, r + 1);
        q[r + 1] = a[i];
    }
    cout << len << endl;
    return 0;
}