最长公共上升子序列

本文介绍了如何求解最长公共上升子序列问题,首先讲解了最长上升子序列和最长公共子序列的基本概念及算法实现,并在此基础上融合两者,提出了求解最长公共上升子序列的方法。

要求最长公共上升子序列(LCIS),我们要先学会最长上升子序列(LIS)和最长公共子序列(LCS)。

最长上升子序列

求数列 a a a的最长上升子序列
f i f_i fi表示前 i i i个数的最长上升子序列的长度,则 f i = max ⁡ j < i ∧ a [ j ] < a [ i ] f j f_i=\max\limits_{j< i\wedge a[j]<a[i]}f_j fi=j<ia[j]<a[i]maxfj

code

for(int i=1;i<=n;i++){
	for(int j=1;j<i;j++){
		if(a[i]>a[j]) f[i]=max(f[i],f[j]+1);
	}
}

这个代码是 O ( n 2 ) O(n^2) O(n2)的,用线段树或树状数组可以优化到 O ( n l o g n ) O(nlogn) O(nlogn),但这与我们的主题没有太大关联,所以这里就不再赘述了。

最长公共子序列

求数列 a a a和数列 b b b的最长公共子序列
f i , j f_{i,j} fi,j表示数列 a a a i i i个和数列 b b b j j j个的最长公共子序列,则 f i , j = m a x ( f i , j − 1 , f i − 1 , j , f i − 1 , j − 1 + ( a i = = b j ) ) f_{i,j}=max(f_{i,j-1},f_{i-1,j},f_{i-1,j-1}+(a_i==b_j)) fi,j=max(fi,j1,fi1,j,fi1,j1+(ai==bj))

code

for(int i=1;i<=n;i++){
	for(int j=1;j<=m;j++){
		f[i][j]=max(f[i-1][j],f[i][j-1]);
		if(a[i]==b[j]) f[i][j]=max(f[i][j],f[i-1][j-1]+1);
	}
}

时间复杂度也是 O ( n 2 ) O(n^2) O(n2)

最长公共上升子序列

求最长公共上升子序列就是前两种方法的结合。
f i , j f_{i,j} fi,j表示数列 a a a i i i个和数列 b b b j j j个的最长公共子序列。当 a i = = b j a_i==b_j ai==bj时,在 [ i , j − 1 ] [i,j-1] [i,j1]中选出最大的 f i , k f_{i,k} fi,k并转移

for(int i=1;i<=n;i++){
	for(int j=1;j<=m;j++){
		f[i][j]=[i-1][j];
		if(a[i]==b[j]){
			int mx=1;
			for(int k=1;k<j;k++){
				if(a[i]>b[k]) mx=max(mx,f[i-1][k]+1);
			}
			f[i][j]=max(f[i][j],mx);
		}
	}
}

时间复杂度为 O ( n 3 ) O(n^3) O(n3),很容易时超,所以我们要稍微优化一下
每次求 m x mx mx是在 [ 1 , j − 1 ] [1,j-1] [1,j1]中求最大值,而 j j j是从小到大增加的,那么我们可以在 j j j增大的时候顺便求出此时 m x mx mx的值,就可以省去一维循环,还能将 f f f数组压掉一维。

code

for(int i=1;i<=n;i++){
	int mx=1;
	for(int j=1;j<=m;j++){
		if(a[i]==b[j]){
			f[j]=max(f[j],mx);
		}
		if(a[i]>b[j]){
			mx=max(mx,f[j]+1);
		}
	}
}
### 最长公共上升子序列 (LCIS) 的动态规划解法 #### 定义与背景 最长公共上升子序列(Longest Common Increasing Subsequence, LCIS)是指给定两个序列 $X$ 和 $Y$,找到一个既是最长的又是严格递增的子序列,这个子序列同时属于 $X$ 和 $Y$。这个问题可以被看作是 **最长公共子序列** (LCS)和 **最长上升子序列** (LIS)问题的一个组合。 对于两个输入序列 $X = \{x_1, x_2, ..., x_m\}$ 和 $Y = \{y_1, y_2, ..., y_n\}$,目标是找出它们之间的 LCIS[^4]。 --- #### 动态规划的状态定义 设 $dp[i][j]$ 表示以 $X_i$ 结尾并与 $Y_j$ 对应的最长公共上升子序列的长度,则状态转移方程如下: $$ dp[i][j] = \begin{cases} 0 & 如果 i=0 或 j=0 \\ max(dp[k][l]) + 1 & 如果 X[i]=Y[j], 并且 k<i,l<j,X[k]<X[i]\\ dp[i][j-1] & 否则 \end{cases} $$ 其中,如果当前字符相等 ($X[i]==Y[j]$),我们需要进一步检查之前所有的可能匹配位置 $(k,l)$ 来确保它是递增的,并更新最大值。 --- #### 时间复杂度分析 上述方法的时间复杂度较高,因为每次都需要遍历之前的元素来验证是否构成递增关系。因此总时间复杂度为 $O(mn^2)$ 或更高取决于具体实现方式。为了优化此过程,可以通过记录前驱索引来减少重复计算,从而降低到更优的时间复杂度如 $O(nm)$。 以下是基于 Python 的一种高效实现版本: ```python def lcis(X, Y): m, n = len(X), len(Y) # 初始化 DP 数组以及用于追踪路径的 prev 数组 dp = [[0]*(n+1) for _ in range(m+1)] prev = [[None]*(n+1) for _ in range(m+1)] max_len = 0 pos = -1 for i in range(1,m+1): for j in range(1,n+1): if X[i-1] == Y[j-1]: temp_max = 0 for p in range(j): if Y[p-1] < Y[j-1] and dp[i-1][p] > temp_max: temp_max = dp[i-1][p] dp[i][j] = temp_max + 1 if dp[i][j] > max_len: max_len = dp[i][j] pos = j else: dp[i][j] = dp[i][j-1] result = [] while pos is not None: result.append(Y[pos-1]) next_pos = prev[m][pos] pos = next_pos return list(reversed(result)) # 测试数据 print(lcis([3,4,9,1],[5,3,8,9,10,2,1])) # 输出可能是 [3,9,1] ``` 注意这段代码中的 `prev` 跟踪数组是为了方便最后重建实际的 LCIS 序列。 --- #### 总结 通过动态规划的方法求解最长公共上升子序列问题时,关键是合理设计状态表示并有效利用历史信息完成最优决策。尽管基础版算法存在较高的时间开销,但借助额外存储结构能够显著提升效率至可接受范围之内。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值