洛谷P1233 木棍加工题解 LIS

突然发现自己把原来学的LIS都忘完了，正好碰见这一道题。|-_-|
\(LIS\)，也就是最长上升子序列，也就是序列中元素严格单调递增，这个东西有\(n^{2}\)和\(nlog_{2}n\)两种算法，其原理我就不多说了。
注意，本题的一个要点，就是不下降连续子序列的个数等于最长上升子序列的长度。
证明？由Dilworth定理可得证。
什么是Dilworth定理？它的定义是在：有穷偏序集中，任何反链最大元素数目等于任何将集合到链的划分中链的最小数目。一个关于无限偏序集的理论指出，在此种情况下，一个偏序集具有有限的宽度w，当且仅当它可以划分为最少w条链。
懵逼了吗？好吧，这是它的通俗解释：就是不下降连续子序列的个数等于最长上升子序列的长度。
Dilworth定理的证明？反正我是不会，问度娘去吧。
还有，在本题中，因为有两个变量，我们只需要先按其中一个（我是按的l）作为关键字排序，然后对排序后的序列求LIS长度就行了。
其余的东西看代码吧：

#include 
#include 

using namespace std;

int n, d[5005];

struct S{ //stick
    int l, w;
}s[5005];

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(0);
    cin >> n;
    for(int i = 1; i <= n; i++) cin >> s[i].l >> s[i].w;
    sort(s+1, s+n+1, [](const S& a, const S& b) { \\c++11 lamda表达式
        return a.l > b.l;
    });
    d[1] = s[1].w;
    int len = 1;
    for(int i = 2; i <= n; i++) {
        if(d[len] < s[i].w) d[++len] = s[i].w;
        else {
            int p = lower_bound(d+1, d+len+1, s[i].w)-d; \\STL中的二分查找
            d[p] = s[i].w;
        }
    }
    cout << len;
    return 0;
}

转载于:https://www.cnblogs.com/dummyummy/p/9238641.html