L2-014. 列车调度 Dilworth定理+最长上升子序列（做法）

//#if 0
#include <map>
#include <stack>
#include <queue>
#include <vector>
#include <math.h>
#include <string>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <algorithm>
#include <time.h>
#include <set>
#include <list>
#include <iostream>
using namespace std;
#define ll long long
#define ull unsigned long long
#define cls(x) memset(x,0,sizeof(x))
#define clslow(x) memset(x,-1,sizeof(x))
#define INF  0x3f3f3f3f
const int maxn=1e5+50;

int a[maxn],d[maxn];

int main()
{
//    freopen("in1.txt","r",stdin);
    int n;
    cin>>n;
    for(int i=1;i<=n;i++)
        scanf("%d",&a[i]);
    d[1]=a[1];
    int len=1,j;
    for(int i=2;i<=n;i++){
        if(a[i]>d[len]){
            j=++len;
        }
        else{
            j=lower_bound(d+1,d+1+len,a[i])-d;
        }
        d[j]=a[i];
//        if(i==2)cout<<d[1]<<endl;
    }
    cout<<len<<endl;
    return 0;
}

这道题用到dilworth定理，我也搞不懂是啥，但是有个大佬写的清楚明了啊，Dilworth定理：最小反链划分 = = 最长上升子序列长度。说实话还是看不懂反链是啥，但是！求最长上升子序列就好了啊。

求最长上升子序列，一个d数组，初始化d[1]=a[1]，设置一个长度len=1，表示的是d数组的长度，遍历一遍a数组，当a[i]>d[len]，就把a[i]放到d数组中，再更新一下len的值，反之，二分找到d数组中第一个不小于a[i]的数，替换成a[i]，最后输出len，至于为什么，目前没搞懂，希望有大佬在评论里。