762F

来一点更清楚的、实现方面的东西。 做法同 这篇，他的实现很优美但略微繁琐了些。 枚举 \(T\) 的形态，发现这个匹配不过是把每个 \(T\) 中当前点的儿子塞进一个 \(S\) 中当前点的儿子内。于是 \(f_{u, v}\) 表示 \(S\) 中 \(u\) 匹配 \(T\) 中 \(v\) 且 ......