ARC058

C

直接枚举即可。

D

$$\sum _{i=1}^{n-a}\text{calc}(1,1,i,b)\text{calc}(i,b+1,n,m)$$

其中 $calc(a,b,c,d)$ 表示从 $(a,b)$ 到 $(c,d)$ 的方案数，即 $C_{c-a+d-b}^{c-a}$。

E

直接数很麻烦，还要考虑去重，非常不可做。于是考虑反向操作，即用总方案数减去不合法方案数。

总方案数很显然，为 $10^n$。

注意到 $x+y+z\le 17$，考虑状压，若当前某个后缀和为 $k$，那么让 $st|=1<<(k-1)$，存储到 $k\le 17$ 即可。

然后是简单的 $dp$。

code

F

牛逼题。

设计一个非常显然的 DP，令 $f_{i,j}$ 表示前 $i$ 个串拼成的长度为 $j$ 的最小字典序字符串，那么有 $f_{i,j}=\min (f_{i-1,j-|s{t}_i|}+s{t}_i,f_{i-1,j})$，时空复杂度为 $\text{O}(n{m}^2)$，瓶颈在状态存储和字典序比较。

但是特殊的是，它比较的是字典序，对于两个都能转移到 $f_{n,m}$ 的转移状态 $f_{i,j},f_{i,k}$（倒着跑 $01$ 背包即可预处理），若 $f_{i,j}$ 不为 $f_{i,k}$ 前缀，则一定存在一方更优，可以直接舍弃。

于是我们想到在求解 $f_{i,j}$ 时维护一个有用的转移状态集合，由于这些串存在前缀关系，故可以用单调栈维护。
设栈顶串为 $g_i$，则栈中所有串都为 $g_i$ 前缀。

于是转移方程中的两种情况就可以看作：

$1.$ $g_{i-1}$ 的长度为 $j-|s{t}_i|$ 的前缀与 $s{t}_i$ 拼接。

$2.$ $g_{i-1}$ 的长度为 $j$ 的前缀。

比较字典序较轻松，可用 $z$ 函数 $\text{O}(1)$ 解决。

解决空间问题，即解决状态的存储问题，设 $p_{i,j}$ 为 $f_{i,j}$ 的辅助数组，若 $p_{i,j}$ 为 $0$，则该状态无用；若 $p_{i,j}$ 为 $1$，说明 $f_{i-1,j}$ 更优；若 $p_{i,j}$ 为 $2$，说明 $f_{i-1,j-|s{t}_i|}+s{t}_i$ 更优。

下面只需要解决单调栈的维护问题即可。

设当前求出状态为 $f_{i,j}$，栈顶状态为 $f_{i,k}$，那么情况分为三种：

$A.$ $f_{i,k}$ 为 $f_{i,j}$ 前缀，直接将 $j$ 入栈即可。

$B.$ $f_{i,j}$ 优于 $f_{i,k}$，那么使 $p_{i,k}=0$，并不断弹出栈顶元素直至合法为止。

$C.$ $f_{i,j}$ 劣于 $f_{i,k}$，不入栈，跳过即可。

同样涉及到字典序的比较，考虑对 $p$ 值进行分类讨论：

$1.$ $p_{i,j}=1,p_{i,k}=1$，那么它们都是 $g_{i-1}$ 的前缀，对应情况 $A$。

$2.$ $p_{i,j}=1,p_{i,k}=2$，因为 $f_{i,k}=g_{i-1}[1\cdots (k-|s{t}_i|)]+s{t}_i$，那么判断 $g_{i-1}[(k-|s{t}_i|+1)\cdots j]$ 与 $s{t}_i$ 关系即可。

$3.$ $p_{i,j}=2,p_{i,k}=1$，因为 $f_{i,j}=g_{i-1}[1\cdots (j-|s{t}_i|)]+s{t}_i$，若 $j-|s{t}_i|\le k$，那么 $f_{i,k}$ 为 $f_{i,j}$ 前缀；否则需要判断 $g[(j-|s{t}_i|+1)\cdots k]$ 与 $s{t}_i$ 的关系。

$4.$ $p_{i,j}=2,p_{i,k}=2$，因为 $f_{i,j}=g_{i-1}[1\cdots (j-|s{t}_i|)]+s{t}_i$，$f_{i,k}=g_{i-1}[1\cdots (k-|s{t}_i|)]+s{t}_i$，那么我们需要先比较 $g_{i-1}[(k-|s{t}_i|+1)\cdots (j-|s{t}_i|)]$ 与 $s{t}_i$ 的关系，若相等则再比较 $s{t}_i[(j-k+1)\cdots |s{t}_i|]$ 与 $s{t}_i$ 的关系。

一个巧妙的方法是设 $t_i=s_i+\#+g_{i-1}$，然后利用 $z$ 函数判断即可。

至此，时空复杂度均降至 $\text{O}(nm)$。

code