求至少加上几个字符使之回文

等价于求至少删除几个字符使之回文

等价于总长度减去最长回文子序列的长度

注意：不能用马拉车算法，马拉车求的是最长回文字串，是连续的，而子序列不必连续

---

算法：

                                                        集合：所有S[L,R]之间的回文子序列的集合

                状态表示F[L,R]   ↗→     属性：长度的最大值

DP↗↘

                状态计算 ↘

                                我们把集合F[L,R]分为四大部分

---

L，R部分表示S[L],S[R]在F[L,R]中，即S的两端相等，属于回文子序列的一部分

同理，L表示S[L]在F中但S[R]不在。R表示R在L不在，第四部分都不在（F表示F[L,R]，下同）

---

如何求L,R部分？很简单，若S[L]==S[R],则F[L,R]=F[L+1,R-1]+2

如何求L部分？我们无法根据定义直接判定S[L]在不在F[L,R]中

由于我们求的是最大值，根据集合论，我们要是一个集合T的最大值，且T包含于H，若T不可以直接求 ，则可以用一个中间集合Q，T包含于Q包含于H，求Q的最大值即可

那么，我们可以包含求L部分的F的子集的最大值，即F[L+1,R]

F[L+1,R]包含了S[L]在F中的情况，也包含了不在的情况，同时F[L+1,R]是F[L,R]的子集，符合中间集合的条件

同理可得R部分最大值为F[L,R-1]。第四部分的结果是二三部分的子集，可略去。

---

 先按F的长度循环，然后循环端点所在处

初始化：长度为1的子序列为长度为1的回文串

然后根据状态转移方程求max。形式不限