那么我们就可以设 f_{i,j} 表示将 S 的长度为 i 的前缀,插入最少几个字符,使得和 T 的长度为 j 的前缀相同。显然这里 i,j 的大小关系为 i\le j。
考虑 f_{i,j} 的转移,首先,我们可以不让 s 的前缀 i 和 t 的前缀 j 匹配,而是让 s 的前缀 i 和 t 的前缀 (j-1) 进行匹配,这时候会多出一个 s_j 没有匹配。我们让 i 之后的某一个 s_k=t_j 的字符 s_k 向前移动到 i 的前面,与 s_j 进行匹配,花费为 1。注意,这里一定会找到一个合法的 s_k,因为每一个字符都是两两配对的。于是我们有状态转移方程 f_{i,j}=f_{i,j-1}+1。