DP 的过程默认 $S[l,r]$ 是不变的，但是 $S[l,r]$ 是任意增删的。所以，为什么 $S[l]==S[r]$ 意味着可以从 $f[l+1][r-1]$ 转移？