『MdOI R5』Many Minimizations
题目背景
本题不是多项式题,建议先做 E。
[![2.gif](https://i.postimg.cc/3JN9j60M/2.gif)](https://postimg.cc/xcrKn6Pg)
题目描述
小 L 遇到了一个经典题:给定一个长度为 $n$ 的**整数**序列 $a$,你需要在所有**单调不降**的**实数**序列中选出一个作为 $b$,最小化 $\sum\limits_{i=1}^n |a_i-b_i|$。可以证明答案是整数。
他一眼就秒了这个题:这不是保序回归板子吗!
他觉得这题太水了,于是决定加强一下:
对于所有长度为 $n$ 的且满足 $\forall i\in[1,n],a_i\in[1,m]$ 的**整数**序列 $a$,求出上面这个问题的答案的总和对**质数** $p$ 取模后的结果。其中 $n,m,p$ 是给定的常数。
这下小 L 不会了。为了不让你看出来他根本就不会,他随便写了一个数据范围就把这题扔给你做了。
现在压力来到了你这边,你能否顺利切掉这个题呢?
输入输出格式
输入格式
共一行,三个整数,依次表示 $n,m,p$。
输出格式
共一行,一个整数,表示答案。
输入输出样例
输入样例 #1
3 2 1000000007
输出样例 #1
4
输入样例 #2
5 5 1000000007
输出样例 #2
11040
输入样例 #3
50 50 1000000009
输出样例 #3
875463033
说明
对于 $100\%$ 的数据,$1\le n\le 5\times 10^3$,$1\le m\le 10^9$,$10^9<p\le 1.01\times 10^9$,保证 $p$ 是质数。
$\operatorname{Subtask} 1(10\%)$:$n,m\le 7$。
$\operatorname{Subtask} 2(10\%)$:$m\le 2$。
$\operatorname{Subtask} 3(10\%)$:$n,m\le 50$。
$\operatorname{Subtask} 4(10\%)$:$n\le 50$。
$\operatorname{Subtask} 5(10\%)$:$n,m\le 500$。
$\operatorname{Subtask} 6(10\%)$:$n\le 500$。
$\operatorname{Subtask} 7(10\%)$:$m\le 5\times 10^3$。
$\operatorname{Subtask} 8(30\%)$:无特殊限制。
#### 样例说明 1
有以下 $8$ 种可能的情况:
$a=(1,1,1),b=(1,1,1),ans=0$。
$a=(1,1,2),b=(1,1,2),ans=0$。
$a=(1,2,1),b=(1,1,1),ans=1$。
$a=(1,2,2),b=(1,2,2),ans=0$。
$a=(2,1,1),b=(1,1,1),ans=1$。
$a=(2,1,2),b=(1,1,2),ans=1$。
$a=(2,2,1),b=(2,2,2),ans=1$。
$a=(2,2,2),b=(2,2,2),ans=0$。
因此答案为 $0+0+1+0+1+1+1+0=4$。
注意,对于一个固定的 $a$,最优的 $b$ 不一定唯一。上面只给出了一种可能的解。
$\operatorname{Bonus}$:在 $p$ 为 NTT 模数的情况下做到 $O(n\log n)$。实际上在本题正解的基础上这一部分并不困难。