动态规划算法学习四:最大上升子序列问题(LIS:Longest Increasing Subsequence)

简介: 这篇文章介绍了动态规划算法中解决最大上升子序列问题(LIS)的方法,包括问题的描述、动态规划的步骤、状态表示、递推方程、计算最优值以及优化方法,如非动态规划的二分法。

前言

一、问题描述

在这里插入图片描述
在这里插入图片描述

二、DP步骤

1、最优子结构

  • 给定序列𝑆=[$𝑠_1,𝑠_2,⋯,𝑠_𝑛$],如果子序列[𝑆($𝑖_1$ ),𝑆($𝑖_2$ ), ⋯,𝑆($𝑖_𝑘$)]是其最大上升子序列,则[𝑆($𝑖_1$ ),𝑆($𝑖_2$ ), ⋯,𝑆(𝑖(𝑘−1) )]是子问题𝑆=[𝑠1,𝑠2,⋯,𝑆(𝑖(𝑘−1) )]的最大上升子序列吗?
  • 例:给定 S = [1, 3, 4, 2, 7, 9, 6, 8],最大上升子序列可为 [1, 3, 4, 6, 8],最大长度为5。
  • [1, 3, 4, 6]显然不是[1, 3, 4, 2, 7, 9, 6]的最大上升子序列,因为[1, 3, 4, 7, 9]是其最大上升子序列。
    注意:可以同时有多个最大上升子序列!每个的最大值都不相同
  • 如果直接把最大上升子序列的长度作为规划目标,那么该问题不具备最优子结构性质(因为可能同时有多个最大上升子序列,使得最优子结构不成立)。只能采用间接的办法,引入一些中间目标作为动态规划的对象。

a、限界上升子序列

在这里插入图片描述
在这里插入图片描述

b、最优子结构性质

在这里插入图片描述
在这里插入图片描述

2、状态表示和递推方程

在这里插入图片描述
在这里插入图片描述
公式讲解:只求长度,不求具体的子序列

  • 逐一找出1—(m-1)个元素中所有小于$S_m$的元素$S_i$及其对应的Len($S_i$)值,然后从中取最大的一个Len(.)值,然后加1。【 1–i个元素中所有大于Sm的元素的Len(.)值全都不予考虑】

  • 如果精简为max{Len(i)+1 | 1≤i<m, $S_m$<$S_i$},可以吗?
    sure

3、计算最优值

  • 𝐿𝑒𝑛(𝑚)的计算同样按照自底向上的顺序进行:所有子问题的总数为n个(即,分别以每个元素为限界);m越小,其子问题𝐿𝑒𝑛(𝑚)求解的复杂度就越低
  • 当所有的𝐿𝑒𝑛(𝑚)(1≤𝑚≤𝑛)都计算完毕后,统计其中最大值,即可得到输入序列 S 的最大上升子序列
  • 注意:最大上升子序列的长度不一定等于𝑳𝒆𝒏(𝒏)
    在这里插入图片描述
    答案详解:
  1. Len(1) = 1
  2. Len(3) = 2:找到3之前小于3的数字中,最大的Len(.)值加1,即:len(1)+1=1。
  3. Len(4)=3:找到4之前小于4的数字:1和3,最大Len(.)值加1,即:len(3)+1=3。
  4. Len(2)=2:找到2之前小于2的数字:1,最大Len(.)值加1,即:Len(1)+1=2。
  5. Len(7)=4:找到7之前小于7的数字:1,3,4,2,最大Len(.)值加1,即:Len(4)+1=4。
  6. Len(6)=4:找到6之前小于6的数字:1,3,4,2,最大Len(.)值加1,即:Len(4)+1=4。
  7. Len(8)=5:找到8之前小于8的数字:1,2,3,2,7,6,最大Len(.)值加1,即:Len(7)+1=5 或者 Len(6)+1=5

4、算法实现

时间复杂度:$n^2$

/**
 * DP算法之最大上升子序列问题
 */
public class Main4 {
    public static int MAXN = 100;
    public static void main(String[] args) {
        int[] seqSrc = {1, 3, 4, 2, 7, 6, 8};
        int i = LISLength(7, seqSrc);
        System.out.println(i);
    }

    public static int LISLength(int num, int[] seqSrc) {
        int[] Len = new int[MAXN];
        int res = 1;
        //设第m个数的值为上界
        for (int m = 0; m < num; m++) {  
            //每个新m为上界时,Len[m]总是从1开始
            Len[m] = 1;     
            for (int i = 0; i < m; i++)
                //遍历所有以第i个数为上界的长度,从中选出符合max公式条件的最大值加1,就是Len[m]。
                if (seqSrc[i] < seqSrc[m] && Len[i] + 1 > Len[m])   
                    Len[m] = Len[i] + 1;
            //记录从len[1]到len[m]中的最大值,res为最大公共子序列长度,最后的解
            res = (res > Len[m] ? res : Len[m]);  
        }
        return res;
    }
}

在这里插入图片描述
代码解说:

  1. 第一个for遍历:有几个元素就遍历几个,计算每个的Len(.)值。
  2. 第二个for遍历:遍历当前元素的最大Len(.)值。
    • seqSrc[i] < seqSrc[m] :过滤小于当前元素的值,
    • Len[i] + 1 > Len[m]:找到最大值

三、优化:非DP /二分法

时间复杂度 nlog$_2$n。

1、新问题

在这里插入图片描述
上图中的公式中的 i ,为数组的下标
例:

  1. k = 4 的值有两个,Len(5) = 4,Len(6) = 4
  2. S[5] = 7, S[6] = 6
  3. 所以 T[k=4] = 6。
    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述

2、算法实现

/**
 * DP之最大上升子序列:时间复杂度  nlog2n
 */
public class Main5 {

    public static void main(String[] args) {
        int[] seqSrc = {1, 3, 4, 2, 7, 6, 8};
        int i = lengthOfLIS(seqSrc);
        System.out.println(i);
    }

    public static int lengthOfLIS(int[] arr) {
        if (arr == null || arr.length == 0) {
            return 0;
        }
        int[] ends = new int[arr.length];
        ends[0] = arr[0];
        int right = 0;
        int l = 0;
        int r = 0;
        int m = 0;
        int max = 1;
        for (int i = 1; i < arr.length; i++) {
            l = 0;
            r = right;
            while (l <= r) {
                m = (l + r) / 2;
                if (arr[i] > ends[m]) {
                    l = m + 1;
                } else {
                    r = m - 1;
                }
            }
            right = Math.max(right, l);
            ends[l] = arr[i];
            max = Math.max(max, l + 1);
        }
        return max;
    }
}

在这里插入图片描述

相关文章
|
2天前
|
编解码 Java 程序员
写代码还有专业的编程显示器?
写代码已经十个年头了, 一直都是习惯直接用一台Mac电脑写代码 偶尔接一个显示器, 但是可能因为公司配的显示器不怎么样, 还要接转接头 搞得桌面杂乱无章,分辨率也低,感觉屏幕还是Mac自带的看着舒服
|
4天前
|
存储 缓存 关系型数据库
MySQL事务日志-Redo Log工作原理分析
事务的隔离性和原子性分别通过锁和事务日志实现,而持久性则依赖于事务日志中的`Redo Log`。在MySQL中,`Redo Log`确保已提交事务的数据能持久保存,即使系统崩溃也能通过重做日志恢复数据。其工作原理是记录数据在内存中的更改,待事务提交时写入磁盘。此外,`Redo Log`采用简单的物理日志格式和高效的顺序IO,确保快速提交。通过不同的落盘策略,可在性能和安全性之间做出权衡。
1540 5
|
1月前
|
弹性计算 人工智能 架构师
阿里云携手Altair共拓云上工业仿真新机遇
2024年9月12日,「2024 Altair 技术大会杭州站」成功召开,阿里云弹性计算产品运营与生态负责人何川,与Altair中国技术总监赵阳在会上联合发布了最新的“云上CAE一体机”。
阿里云携手Altair共拓云上工业仿真新机遇
|
7天前
|
人工智能 Rust Java
10月更文挑战赛火热启动,坚持热爱坚持创作!
开发者社区10月更文挑战,寻找热爱技术内容创作的你,欢迎来创作!
585 22
|
4天前
|
存储 SQL 关系型数据库
彻底搞懂InnoDB的MVCC多版本并发控制
本文详细介绍了InnoDB存储引擎中的两种并发控制方法:MVCC(多版本并发控制)和LBCC(基于锁的并发控制)。MVCC通过记录版本信息和使用快照读取机制,实现了高并发下的读写操作,而LBCC则通过加锁机制控制并发访问。文章深入探讨了MVCC的工作原理,包括插入、删除、修改流程及查询过程中的快照读取机制。通过多个案例演示了不同隔离级别下MVCC的具体表现,并解释了事务ID的分配和管理方式。最后,对比了四种隔离级别的性能特点,帮助读者理解如何根据具体需求选择合适的隔离级别以优化数据库性能。
201 3
|
10天前
|
JSON 自然语言处理 数据管理
阿里云百炼产品月刊【2024年9月】
阿里云百炼产品月刊【2024年9月】,涵盖本月产品和功能发布、活动,应用实践等内容,帮助您快速了解阿里云百炼产品的最新动态。
阿里云百炼产品月刊【2024年9月】
|
11天前
|
Linux 虚拟化 开发者
一键将CentOs的yum源更换为国内阿里yum源
一键将CentOs的yum源更换为国内阿里yum源
581 5
|
23天前
|
存储 关系型数据库 分布式数据库
GraphRAG:基于PolarDB+通义千问+LangChain的知识图谱+大模型最佳实践
本文介绍了如何使用PolarDB、通义千问和LangChain搭建GraphRAG系统,结合知识图谱和向量检索提升问答质量。通过实例展示了单独使用向量检索和图检索的局限性,并通过图+向量联合搜索增强了问答准确性。PolarDB支持AGE图引擎和pgvector插件,实现图数据和向量数据的统一存储与检索,提升了RAG系统的性能和效果。
|
7天前
|
XML 安全 Java
【Maven】依赖管理,Maven仓库,Maven核心功能
【Maven】依赖管理,Maven仓库,Maven核心功能
235 3
|
9天前
|
存储 人工智能 搜索推荐
数据治理,是时候打破刻板印象了
瓴羊智能数据建设与治理产品Datapin全面升级,可演进扩展的数据架构体系为企业数据治理预留发展空间,推出敏捷版用以解决企业数据量不大但需构建数据的场景问题,基于大模型打造的DataAgent更是为企业用好数据资产提供了便利。
327 2