这种微调状态的trick可以学学。以后计数DP觉得时间复杂度稍微超出了，而且状态显然要这么设置并且没有什么优化空间的时候就可以这么想
这里是计数DP的要求，做到不重不漏
这里要注意，对于一个SS串来说，如果其的两端能够配对，那么他就不可能是通过AB组合这种方式形成的，这也就是为什么对于任意一个SS串都可以像上面这么分（注意上面图片中的A和B是可以为空的）
这里解释一下状态方程。比如第二行，\(f[D-1][i][j][k]\)表示上一个图片中的A，\(f[D][L_1-i-1][L_2-j][L_3-k]\)指的是B，其余同理
