<—点个赞吧QwQ
宣传一下算法提高课整理
熊大妈的奶牛在小沐沐的熏陶下开始研究信息题目。
小沐沐先让奶牛研究了最长上升子序列,再让他们研究了最长公共子序列,现在又让他们研究最长公共上升子序列了。
小沐沐说,对于两个数列 A 和 B,如果它们都包含一段位置不一定连续的数,且数值是严格递增的,那么称这一段数是两个数列的公共上升子序列,而所有的公共上升子序列中最长的就是最长公共上升子序列了。
奶牛半懂不懂,小沐沐要你来告诉奶牛什么是最长公共上升子序列。
不过,只要告诉奶牛它的长度就可以了。
数列 A 和 B 的长度均不超过 3000。
输入格式
第一行包含一个整数 N,表示数列 A,B 的长度。
第二行包含 N 个整数,表示数列 A。
第三行包含 N 个整数,表示数列 B。
输出格式
输出一个整数,表示最长公共上升子序列的长度。
数据范围
1≤N≤3000,序列中的数字均不超过 231−1。
输入样例:
4
2 2 1 3
2 1 2 3
输出样例:
2
思路1
状态表示:fi,j
- 集合:考虑a中的前i个数,b中的前j个数,且以bj结尾的LCIS
- 属性:max
状态转移:
- 考虑a中的前i-1个数,b中前j个数,且以b_j为结尾的LCIS的长度为f_{i-1,j}
- 考虑a中的前i个数,b中前k个数,且以b_k为结尾的LCIS的长度为f_{i - 1,k}\quad k \in [0,j-1],a_i = b_j,b_k < b_j
- 所以状态转移方程就是f_{i,j} = \underset{k\in [0,j-1],a_i=b_j,b_k<b_j}\max{\{f_{i-1,j},f_{i-1,k}+1\}}
- 即f_{i,j} = \underset{k\in [0,j-1],b_k<a_i}\max{\{f_{i-1,j},f_{i-1,k}+1\}}
代码1
#include <iostream>
using namespace std;
const int N = 3010;
int n;
int a[N],b[N];
int f[N][N];
int main () {
cin >> n;
for (int i = 1;i <= n;i++) cin >> a[i];
for (int i = 1;i <= n;i++) cin >> b[i];
for (int i = 1;i <= n;i++) {
for (int j = 1;j <= n;j++) {
f[i][j] = f[i - 1][j];
if (a[i] == b[j]) {
f[i][j] = max (f[i - 1][j],1);
for (int k = 1;k <= j - 1;k++) {
if (b[k] < a[i]) f[i][j] = max (f[i][j],f[i][k] + 1);
}
}
}
}
int ans = 0;
for (int i = 1;i <= n;i++) ans = max (ans,f[n][i]);
cout << ans << endl;
return 0;
}
思路2
前面之所以把b_j换成a_i是因为方便现在考虑。
由于在枚举计算f_{i,j}时,却用到的是和内层循环(即b_j)无关的,只和外层循环(即a_i)有关,而我们在计算f_{i,j},每次都要用到前j-1个数中小于a_i的f_{i,j}最大值,所以我们可以用一个变量不断更新它来保存前j-1的答案。
代码2
#include <iostream>
using namespace std;
const int N = 3010;
int n;
int a[N],b[N];
int f[N][N];
int main () {
cin >> n;
for (int i = 1;i <= n;i++) cin >> a[i];
for (int i = 1;i <= n;i++) cin >> b[i];
for (int i = 1;i <= n;i++) {
int maxv = 1;
for (int j = 1;j <= n;j++) {
f[i][j] = max (f[i][j],f[i - 1][j]);
if (a[i] == b[j]) f[i][j] = max (f[i][j],maxv);
if (b[j] < a[i]) maxv = max (maxv,f[i - 1][j] + 1);
}
}
int ans = 0;
for (int i = 1;i <= n;i++) ans = max (ans,f[n][i]);
cout << ans << endl;
return 0;
}
请教一下,为啥状态表示的时候,一定是以b[j]或a[i]结尾的?在最长公共子序列中的a[i-1],b[j-1]不存在吗?
在考虑f[i-1][j-1]时考虑了呀
有吗?状态表示不是以bj结尾吗?
每个LCIS都有最后一个数啊
前缀和优化思想
adddd