PAT L2-014 列车调度（Dilworth定理）

分析

比赛的时候一直在贪心做来着，一直WA。
卧槽，原来是一个定理啊。
Dilworth定理 还不懂的戳这里；
总之就是一句话，最长反链长==偏序链的划分数、
这里的偏序链为递减的，那就是要求 最长递增子序列的长度了；
再一看数据范围挺大的，得用nlogn的那种解法了：

AC代码：

#include <iostream>#include <cmath>#include <cstring>typedef long long ll;typedef unsigned long long ull;using namespace std;const int maxn = 1e5 + 100;const int inf = 999999999;int dp[maxn], a[maxn];int main(){#ifdef LOCAL    //freopen("L2-014(Dilworth).in","r",stdin);    //freopen("L2-014(Dilworth).out","w",stdout);#endif    int n;    while(cin >> n)    {        int len = 0;        memset(dp, 0, sizeof(dp));        for(int i = 0; i < n; i++)        {            int x;            cin >> x;            if(len == 0 || x >= dp[len-1]) dp[len++] = x;            else            {                int l = 0, r = len - 1;                while(l <= r)                {                    int mid = (l+r)/2;                    if(dp[mid] <= x) l = mid+1;                    else r = mid - 1;                }                dp[l] = min(dp[l], x);            }        }        cout << len << endl;    }    return 0;}