rt，现有题解的时间复杂度都是 $O(n2^k)$ 或者 $O(nk2^k)$ 的直接对 LCS 数组状压的做法，但实际上可以让合法 LCS 数组即自动机的规模达不到满的 $2^k$ 级别。

我的题解