DTOJ 4147. 「NOI2018」冒泡排序

题意

最近，小 S 对冒泡排序产生了浓厚的兴趣。为了问题简单，小 S 只研究对 $1$ 到 $n$ 的排列的冒泡排序。

下面是对冒泡排序的算法描述。

输入：一个长度为 n 的排列 p[1...n]
输出：p 排序后的结果。
for i = 1 to n do
	for j = 1 to n - 1 do
		if(p[j] > p[j + 1])
			交换 p[j] 与 p[j + 1] 的值

冒泡排序的交换次数被定义为交换过程的执行次数。可以证明交换次数的一个下界是 $\frac{1}{2}{\sum }_{i=1}^n|i-p_i|$，其中 $p_i$ 是排列 $p$ 中第 $i$ 个位置的数字。如果你对证明感兴趣，可以看提示。

小 S 开始专注于研究长度为 $n$ 的排列中，满足交换次数 $=\frac{1}{2}{\sum }_{i=1}^n|i-p_i|$ 的排列（在后文中，为了方便，我们把所有这样的排列叫「好」的排列）。他进一步想，这样的排列到底多不多？它们分布的密不密集？

小 S 想要对于一个给定的长度为 $n$ 的排列 $q$，计算字典序严格大于 $q$ 的“好”的排列个数。但是他不会做，于是求助于你，希望你帮他解决这个问题，考虑到答案可能会很大，因此只需输出答案对 $998244353$ 取模的结果。

下面是对本题每个测试点的输入规模的说明。

对于所有数据，均满足 $T=5$（样例可能不满足）。

记 $n_{\mathrm{m}\mathrm{a}\mathrm{x}}$ 表示每组数据中 $n$ 的最大值，$\sum n$ 表示所有数据的 $n$ 的和。

测试点	$n_\mathrm{max} =$	$\sum n \leq$	特殊性质
1	$8$	$5 \ n_\mathrm{max}$	无
2	$9$
3	$10$
4	$12$
5	$13$
6	$14$
7	$16$
8
9	$17$
10	$18$
11
12	$122$	$700$	$\forall i \enspace q_i = i$
13	$144$		无
14	$166$
15	$200$
16	$233$
17	$777$	$4000$	$\forall i \enspace q_i = i$
18	$888$		无
19	$933$
20	$1000$
21	$266666$	$2000000$	$\forall i \enspace q_i = i$
22	$333333$		无
23	$444444$
24	$555555$
25	$600000$

「提示」

下面是对交换次数下界是 $\frac{1}{2}{\sum }_{i=1}^n|i-p_i|$ 的证明。

排序本质上就是数字的移动，因此排序的交换次数应当可以用数字移动的总距离来描述。对于第 $i$ 个位置，假设在初始排列中，这个位置上的数字是 pi，那么我们需要将这个数字移动到第 $p_i$ 个位置上，移动的距离是 $|i-p_i|$。从而移动的总距离就是 ${\sum }_{i=1}^n|i-p_i|$，而冒泡排序每次会交换两个相邻的数字，每次交换可以使移动的总距离至多减少 $2$。因此 $\frac{1}{2}{\sum }_{i=1}^n|i-p_i|$ 是冒泡排序的交换次数的下界。

并不是所有的排列都达到了下界，比如在 $n=3$ 的时候，考虑排列 $321$，这个排列进行冒泡排序以后的交换次数是 $3$，但是 $\frac{1}{2}{\sum }_{i=1}^n|i-p_i|$ 只有 $2$。

题解

首先考虑达到界的要求：即每个元素都不会朝目标位置的反方向移动。如果原序列是递增的那肯定没有问题，所以问题出在逆序对上，又发现单纯的每一对逆序对是不会超过下界的，只有出现长度为$3$的下降子序列时，中间的元素会向两边各一定一次，一定会超出下界。故题目转化为没有大于$2$的下降序列的排列个数。
考虑进一步做更直观的转化：即每增加一个数，如果它小于当前的最大值，那么它只能取剩下的最小值，否则无限制。于是可以列出DP：$f[i][j]$为前$i$个最大值为j的方案数，把它改好看一点（转移时下标递增）变成：$f[i][j]$为还要放$i$个，有$j$个无限制的方案数。转移有$f[i][j]=f[i-1][k<=j]$，前缀和优化一下变成$f[i][j]=f[i-1][j]+f[i][j-1]$。这显然可以转成路径问题，用组合数可以$O(1)$计算。
再考虑字典序限制，对于每个合法的前缀，使下一个元素大于原来的排列，求出无限制的元素个数（树状数组）后，可以直接用$f$计算。