• 最长上升子序列、最长下降子序列的DP算法由O(n^2)到O(nlogn)算法


    为了更好的介绍O(nlogn)算法,我们回顾一下一般的O(n^2)的算法。

    令A[i]表示输入第i个元素,d[i]表示从A[1]到A[i]中以A[i]结尾的最长子序列长度。对于任意的0 <  j <= i-1,如果A(j) < A(i),则A(i)可以接在A(j)后面形成一个以A(i)结尾的新的最长上升子序列。对于所有的 0 <  j <= i-1,我们需要找出其中的最大值。
    DP状态转移方程:d[i] = max{1, d[j] + 1} (j = 1, 2, 3, ..., i-1 且 A[j] < A[i]) 

    对于最长不下降子序列,怎样实现O(nlogn)算法呢?我们知道O(n^2)的算法复杂度高的原因就在于要更新d[i]的值,就必须在1~i-1中枚举找到最大的d[j]的值才能最终确定d[i]的值,于是我们可以这样思考,能否直接把1~i-1中最大的d[i]的值存储起来,从而实现直接检索呢?于是就有了如下类似贪心的算法(个人理解)。

    1. /*预处理*/  
    2. const int MAXN = 40010;  
    3. const int INF = 0x3f3f3f3f;  
    4.   
    5. int n;  
    6.   
    7. int A[MAXN], S[MAXN];  
    8. int d[MAXN];  
    9.   
    10. void init()  
    11. {  
    12.     for(int i = 1; i <= n; i++) S[i] = INF; //这很重要,与upper_bound有关。  
    13.     memset(d, 0, sizeof(d));  
    14. }  
    其中d[i]和是一样的意义,而S数组表示的意义是:所有最长上升子序列长度为d[i]时的A[i]的最小值,请仔细理解这一段话,即S[d[i]] = min{S[d[i]], A[i]}。

    举例说明:

    A[]: 1、2、3、-1、1、2、3、1

    d[]: 1、2、3、1 、2、3、4、2

    S[]: -1、1、2、3

    可以看出,S序列是严格的递增序列,可以这样理解:d[i'] = 2的最小值一定比d[i'']值为1的最小值大,因为d[i''] > d[i'],就这么简单。那么知道了S的值有什么用呢?或许聪明的读者已经看出来了,对于最长不下降子序列,只要每次将一个A[i]的值在S数组中进行检索,返回的小于等于A[i]最后一个元素的下标的位置(或者“下一个下标的位置”)一定就是d[i]的长度。

    为什么呢?因为在这下标前面的元素一定是小于A[i]的,所以d[i]的值也就是返回的下标的值,不懂的可以用笔模拟一下,这也是前面我们为什么要这样定义的目的所在。

    这里还有一个地方要注意,就是最长上升子序列的问题和最长不下降子序列的问题,如问题:1、2、3、5、5的结果是4还是5?待会我会给出满意的解法。

    另外正确的二分求上界的写法,我也会给出,写到这里,笔者不得不感叹:一个正确的二分查找也是很难写的。。

    1. /*最长不下降子序列 POJ 1631*/  
    2. int BSearch(int x, int y, int v) //二分求上界  
    3. {  
    4.     while(x <= y)  
    5.     {  
    6.         int mid = x+(y-x)/2;  
    7.         if(S[mid] <= v) x = mid+1;  
    8.         else y = mid-1;  
    9.     }  
    10.     return x;  
    11. }  
    12.   
    13. void dp()  
    14. {  
    15.     init();  
    16.     int ans = 0;  
    17.     for(int i = 1; i <= n; i++)  
    18.     {  
    19.         int x = 1, y = i;  
    20.         int pos = BSearch(x, y, A[i]);  
    21.         d[i] = pos;  
    22.         S[d[i]] = min(S[d[i]], A[i]);  
    23.         ans = max(ans, d[i]);  
    24.     }  
    25.     printf("%d ", ans);  
    26. }  
    如何求严格的最长上升子序列呢?其实我们只要在二分时,把A[m] <= v改为A[m] < v即可。

    对于最长不上升子序列:模仿上面的定义,我们把S数组的定义改为所有最长上升子序列长度为d[i]时的A[i]的最大值,为什么要是最大值呢?因为S数组在这里应该遵循严格的递减序列才对,为了能够检索A[i],我们必须使得返回的下标一定就是d[i]的值,具体的实现方法:S的初始值赋为-INF,二分查找的过程需要改一下,S数组更新时使用max。

    1. /*最长不上升子序列 POJ 1887*/  
    2. void init()  
    3. {  
    4.     for(int i = 1; i <= tot; i++) S[i] = -INF; //注意初始值   
    5.     memset(d, 0, sizeof(d));  
    6. }  
    7.   
    8. int BSearch(int x, int y, int v)  
    9. {  
    10.     while(x <= y)  
    11.     {  
    12.         int mid = x+(y-x)/2;  
    13.         if(S[mid] >= v) x = mid+1; //注意看二分的变化   
    14.         else y = mid-1;  
    15.     }  
    16.     return x;  
    17. }  
    18.   
    19. void dp()  
    20. {  
    21.     init();  
    22.     int ans = 0;  
    23.     for(int i = 1; i <= tot; i++)  
    24.     {  
    25.         int x = 1, y = i;  
    26.         int pos = BSearch(x, y, A[i]);  
    27.         d[i] = pos;  
    28.         S[d[i]] = max(S[d[i]], A[i]); //max  
    29.         ans = max(ans, d[i]);  
    30.     }  
    31.     printf("  maximum possible interceptions: %d ", ans);  
    32. }  
    这里的二分是检索A[I]在S数组中的下标,如果没有任何数比A[i]小,那么返回值应该是S当前数组的长度+1,不下降子序列刚好相反

    最长不下降子序列的优化:

    对于最长不下降子序列,对于我们发现,BSearch的过程相当于,对于一个整数b来说,是求小于等于b的最后一个元素的“下一个下标”R是什么?所以我们可以用到STL中的函数,upper_bound,这样我们不必再去手写二分,也就减少了一些代码量。

    1. /*核心代码*/  
    2. void dp()  
    3. {  
    4.     init();  
    5.     int ans = 0;  
    6.     for(int i = 1; i <= n; i++)  
    7.     {  
    8.         int x = 1, y = i;  
    9.         int pos = upper_bound(S, S+i, A[i]) - S; //upper_bound  
    10.         d[i] = pos;  
    11.         S[d[i]] = min(S[d[i]], A[i]);  
    12.         ans = max(ans, d[i]);  
    13.     }  
    14.     printf("%d ", ans);  
    15. }  
  • 相关阅读:
    Delegte的BeginInvoke
    C# socket 实现客户端连续发送数据
    Button的PerformClick()
    Invoke和BeginInvoke
    Application.DoEvents() 处理队列消息,防界面假死
    BackgroundWorker后台线程
    CF773F
    ORM框架,没必要搞那么复杂
    VS Unable to copy file
    Unbuntu auto start program
  • 原文地址:https://www.cnblogs.com/Zeroinger/p/5493920.html
Copyright © 2020-2023  润新知