Tmbcan

正在边施工新博客，边搬运来自 CNblog 的文章

预计需要 INF 年才能竣工

思路

看到排列和 LIS，所以想到了杨表。

设杨图单元格数为 ，则其每一行的格数构成了 的一种整数划分。

题意

用 个字符串拼成一个长为 的长串，长串中不能出现另外的 个字符串，求总方案数。

思路

限制条件为忌讳词语不能匹配上拼成的长串。

所以我们把忌讳词语都扔到 AC 自动机上做 dp。

关于上式有人问我不卷积怎么证，真是个好问题。

首先 时自算该式成立，

然后讨论 的情况。