最长递增子序列

✍ dations ◷ 2025-07-01 10:15:14 #组合数学,动态规划

在计算机科学中,最长递增子序列(longest increasing subsequence)问题是指,在一个给定的数值序列中,找到一个子序列,使得这个子序列元素的数值依次递增,并且这个子序列的长度尽可能地大。最长递增子序列中的元素在原序列中不一定是连续的。许多与数学、算法、随机矩阵理论(英语:random matrix theory)、表示论相关的研究都会涉及最长递增子序列。解决最长递增子序列问题的算法最低要求O( log )的时间复杂度,这里表示输入序列的规模。

对于以下的原始序列

最长递增子序列为

值得注意的是原始序列的最长递增子序列并不一定唯一,对于该原始序列,实际上还有以下两个最长递增子序列

最长递增子序列问题与最长公共子序列问题密切相关,后者具有动态规划解决方案(时间复杂度为O):序列S的最长递增子序列是S和T的最长公共子序列,其中T是对S进行排序的结果。但对于特殊情况,输入是整数 1, 2, ..., , 的排列,解决方案可以进一步改进,从而使时间复杂度降为O( log ) 。

排列图(permutaion graph)中的最大团是由'定义该图的排列中最长的递减子序列'定义的, 求最长的递减子序列在计算复杂度上(通过对所有数取它的负数)等同于求最长的递增子序列。 因此,最长递增子序列算法可用于有效地解决排列图中的分团问题。

下面概述的算法使用数组和二分查找算法有效地解决了最长递增子序列问题。 它依次处理序列元素,保存当前找到的最长的递增子序列, 比如: ,X ]。在处理X之后,算法会将值存储在两个数组中:

另外,该算法还存储了一个变量L,该变量L表示到目前为止找到的最长的递增子序列的长度。 下面的算法使用基于零的编号,为了清楚起见,M用M 填充,而M 未使用,因此M 对应于长度j的子序列。 实际的实现可以跳过M 并相应地调整索引。

请注意,在算法的任何时候,序列

是递增的。 因为,如果长度的子序列以X ]结尾,则长度的子序列以较小的值结尾:即以X 结尾的子序列 ]。 因此,我们可以使用二分查找在时间内完成搜索。

伪代码如下:

P = array of length NM = array of length N + 1L = 0for i in range 0 to N-1:    // Binary search for the largest positive j ≤ L    // such that X] <= X    lo = 1    hi = L    while lo ≤ hi:        mid = ceil((lo+hi)/2)        if X] < X:            lo = mid+1        else:            hi = mid-1    // After searching, lo is 1 greater than the    // length of the longest prefix of X    newL = lo    // The predecessor of X is the last index of     // the subsequence of length newL-1    P = M    M = i        if newL > L:        // If we found a subsequence longer than any we've        // found yet, update L        L = newL// Reconstruct the longest increasing subsequenceS = array of length Lk = Mfor i in range L-1 to 0:    S = X    k = Preturn S

由于该算法对每个序列元素都执行二分查找,因此时间复杂度为O( log )。 弗雷德曼 Fredman (1975)讨论了该算法的一种变体,他将其归功于高德纳。 在他研究的变体中,该算法在进行二分查找之前,测试每个值X 是否可以在常数时间内扩展当前最长的递增序列。 通过这种修改,算法在最坏的情况下只会进行 log2 − log2log2 + O()个比较,对于比较算法(最高为O() 项中的恒定因子)而言,这是最佳选择。

相关

  • 翻译翻译(英语:Translation),是蛋白质生物合成(基因表达中的一部分,基因表达还包括转录)过程中的第一步。翻译是根据遗传密码的中心法则,将成熟的信使RNA分子(由DNA通过转录而生成)中“碱
  • 法罗群岛克朗法罗群岛克朗为法罗群岛流通货币,由丹麦国家银行发行。法罗群岛克朗不是一种独立的货币,而是丹麦克朗的一个版本,与丹麦克朗等值,因此在ISO 4217中没有自己的代码。1克朗=100欧
  • 克沙奇病毒克沙奇病毒(coxsackievirus),又称柯萨奇病毒,分类上属于微小核糖核酸病毒科(Picornaviridae)、肠道病毒属(Enterovirus)的成员之一,依感染新生幼鼠之临床症状与组织病理特性分成A
  • IERS国际地球自转服务(International Earth Rotation Service,IERS)全称为国际地球自转和参考系服务(International Earth Rotation and Reference Systems Service)。是一家提供全球
  • 1141年重要事件及趋势重要人物
  • 山姆·休斯敦山姆·休斯敦国家森林(英语:Sam Houston National Forest)是德克萨斯州的四座国家森林之一,位于休斯顿以北50英里(80千米)处。山姆·休斯敦国家森林与其他完全位于德克萨斯州境内
  • 双门对开双门对开(Quad Coupé)属于一种车体风格,由一对较宽的前门与一对较窄的后门相互结合,中间却没有B柱隔阂开来。这种设置方式使得明明有四个门的汽车,外表看起来却只有双门。通常前
  • 马来西亚十大杰出青年马来西亚十大杰出青年奖(简称十大杰青)是由马来西亚国际青年商会举办的一项评选活动,旨在每年选出十名18-40岁的获奖者。举办方称活动的宗旨是“表扬在专业工作领域上有卓越表
  • 裘慕远裘慕远 (2000年5月6日-),出生于中国北京,汉族,毕业于北京光明小学,现就读中学。为童星,䁥称“球球”,擅长葫芦丝、小提琴等乐器,以哭戏著称,代表作《我是一棵小草》、《你是我的生命》
  • 马文升《明功臣及皇帝像》之马端肃公像,明·沈俊绘马文升(1426年-1510年),字负图,号约斋,又号三峰居士、友松道人,河南钧州(今禹州市)人,明朝政治人物,景泰辛未进士,历仕五朝。弘治间担任兵部尚