CF933A A Twisty Movement
简化题目
给定一个有 \(1\),\(2\) 两个数字组成的数组中,选择一个子串,将 \(1\) 变成 \(2\),将 \(2\) 变成 \(1\),求出变化后的序列的最长上升子序列。
思路
简单的情况
如果没有变换操作,题目就变成了一个简单的最长上升子序列问题,答案一定为
\[[1...1][2...2]
\]
这种形式,设 \(f[i][1/2]\) 表示前 \(i\) 个数中,以 \(1\) 或 \(2\) 这两个数字结尾的最长上升子序列。
转移为
\[f[i][1] = f[i-1][1] + (a[i] == 1)
\]
\[f[i][2] = \max(f[i][1], f[i-1][2] + (a[i] == 2))
\]
题目转换
再考虑题目中的变换操作,可以知道这次的操作一定会对答案造成一定的变化,要不然这次的转换一定是无用的,不优的,考虑怎么翻转至 \([1...1][2...2]\) 这种状态。
- 在 \([1...1]\) 这个区间内翻转,有 \([2...2][1...1][2...2]\) 这种情况,\([1...1]\) 长度可能为零
- 在 \([2...2]\) 这个区间内翻转,有 \([1...1][2...2][1...1]\) 这种情况,\([2...2]\) 长度可能为零
- 在 \([1...1][2...2]\) 中间翻转,先将 \([1...1][2...2]\) 划分成 \([1...1][1...1][2...2][2...2]\),再将中间的 \([1...1][2...2]\) 翻转成 \([2...2][1...1]\),变成了 \([1...1][2...2][1...1][2...2]\) 这种情况,其中中间的 \([2...2][1...1]\) 长度可能为零
由于长度都有可能为零,将这三种情况合并成一种,用 $$[1...1][2...2][1...1][2...2]$$ 表示,其中每一段都可以为空。
现在就可以 dp 了。
-
状态:
\(f[i][j]\) 表示以i为结尾的前 \(j + 1\) 段的最长满足条件的序列长度。 -
转移:
- \(f[i][0] += (a[i] == 1)\)
- \(f[i][1] = max(f[i][0], f[i-1][1] + (a[i] == 2))\)
- \(f[i][1] = max(f[i][1], f[i-1][2] + (a[i] == 1))\)
- \(f[i][1] = max(f[i][2], f[i-1][3] + (a[i] == 2))\)
- 答案:
输出 \(f[n][4]\) 即可。
代码
int main() {for (int i = 1; i <= n; i++) cin >> a[i];scanf("%d", &n);for (int i = 1; i <= n; i++) {int a; scanf("%d", &a);f[i][0] = f[i - 1][0] + (a == 1);f[i][1] = max(f[i][0], f[i-1][1] + (a == 2));f[i][2] = max(f[i][1], f[i-1][2] + (a == 1));f[i][3] = max(f[i][2], f[i-1][3] + (a == 2));}int ans = 0;for (int i = 1; i <= n; i++)ans = max(ans, f[i][3]);printf("%d\n", ans);return 0;
}
个人反思
考试的思路
这道题在考试过程中,没有反应出最长上升子序列的模型,没有想到可以用动态规划的方式来解决,重点放在了区间的转换上和贪心,导致没能想出这道题目正确的解法。
怎么改正
- 问题转化:以后再看到 最长上升子序列 最长不下降子序列时等经典dp模型时要快速的明确这题的主体算法是动态规划,并将其转换为动规模型,其他算法也是如此。
- 算法思考:一定不要用同一个算法想太久,如果行不通要换一种算法在想想。