AT_agc024_e [AGC024E] Sequence Growing Hard
题目描述
请计算满足以下条件的数列组 $(A_0, A_1, \ldots, A_N)$ 的个数,并输出其对 $M$ 取模的结果。
- 对于所有 $i$($0 \leq i \leq N$),$A_i$ 是由 $1$ 到 $K$ 之间的整数构成的长度为 $i$ 的数列。
- 对于所有 $i$($1 \leq i \leq N$),$A_{i-1}$ 是 $A_i$ 的子序列。也就是说,存在某个 $1 \leq x_i \leq i$,将 $A_i$ 的第 $x_i$ 个元素去除后得到的数列与 $A_{i-1}$ 完全一致。
- 对于所有 $i$($1 \leq i \leq N$),$A_i$ 的字典序严格大于 $A_{i-1}$。
输入格式
输入为一行,包含三个整数 $N$、$K$、$M$。
> $N$ $K$ $M$
输出格式
输出满足条件的数列组 $(A_0, A_1, \ldots, A_N)$ 的个数对 $M$ 取模的结果。
说明/提示
## 限制
- $1 \leq N, K \leq 300$
- $2 \leq M \leq 10^9$
- $N, K, M$ 均为整数
## 样例解释 1
以下 $5$ 组数列满足条件:
- $(), (1), (1,1)$
- $(), (1), (1,2)$
- $(), (1), (2,1)$
- $(), (2), (2,1)$
- $(), (2), (2,2)$
由 ChatGPT 4.1 翻译