注意到$f_{i,k,S}=f_{i-1,k-Cnt(S),s}[compatible(s,p)]$

这里面第 $i$ 行状态仅和上一行有关，所以可以压缩空间，但是蒟蒻做了半天都没搞出来，想求助大佬做做\bx