如果你用 $f_i$ 表示以 $i$ 结尾合法序列的个数且$(i,j)$ 合法，那么 $f_i=f_{fa_j}+1$ 而不是 $f_i=f_{j-1}$，后者只能在链上通过。。。