Subsequence

Description

给出两个由小于等于 k 的正整数构成的数列 A 与 B，长度为 n 与 m 现在需要一个由小于等于 k 的正整数构成的数列 C，使得 C 既不是 A 的子序列，也不是 B 的子序列 请求出 C 的最小长度
对于 100% 的数据，满足 n,m,k ≤ 4000,1 ≤ Ai,Bi ≤ k

歪想法引申的一个有趣问题

比赛的时候我曾经往计数的方向思考过，即枚举答案L，并预处理A中长度为L的子序列种类数x，B同理(y)，以及A,B长度为L的公共子序列种类数z。那么判定答案只需要看x+y-z是否等于k^L
x,y是很好O(n^2)预处理的，但是z很棘手，我不太会做，然后这条路就GG了
至于x,y,z可能很大，应该是有办法可以解决的，可以手动取个模之类的

100%

其实是个很SB的dp
设$f[i][j]$表示A匹配到i，B匹配到j，C的最小长度，显然
$f[i][j]=min_{lst_i\leq k\leq i,lst_j\leq l\leq j}f[k][l]+1$，其中$lst_x$表示上一个和位置$x$相等的位置
而且我们有很强的约束条件：$a[i]=b[j]$且$a[k]=b[l]$
当$k$确定时，$l$肯定取最左边那个最优
所以仔细分析$i,j,k$的移动次数，发现它其实是$O(nm)$
不妨先枚举$j$，那么A序列会被$b[j]$分成若干段，$i$的取值只能是分界点的末尾（颜色等于b[j]），$k$最坏情况下会把每一段都扫一遍
这样就O(nm)了