Subpermutation-2021中国大学生程序设计竞赛（CCPC）- 网络选拔赛（重赛）-1008

好久没写过题解了,模了好长时间的题终于过了，由此写篇题解。
题目链接
题意就不详细说明了。
反思

这题模了好长时间主要是因为我中间感觉太难了就去奖励自己了^_^，大家千万不要向我学习。看到这题就应该思考这个序列与它下一个产生的序列有什么关系，存在关系进行排列组合公式推导理清思路就好。

接下来开始分类讨论。

• 第一种情况也就是最简单的情况先考虑由每个单独$n$元排列而产生的$m$元排列，通俗的讲也就是单独的$n$元排列对答案做出的贡献。
  $p_1,p_2,\dots ,p_n$中出现的$p_1,p_2,\dots ,p_m$
  做出的贡献为$m!\ast (n-m+1)!$

其实很简单也就是将$m$元排列当成一个整体，这个整体自己进行全排列也就是$m!$而剩下的元素再加上这个$m$元排列也就是$(n-m+1)$个元素这些元素随意排列的方案数也就是$(n-m+1)!$，两种方式分步进行也就是$m!\ast (n-m+1)!$

• 第二种情况比较复杂也很容易想到也就是两个$n$元排列的首尾对答案做出的贡献
  下面我们应该分析这个$n$排列与与下一个$n$元排列存在这什么恶心关系呢？
  最开始是这样一个$n$元排列$$p_1<p_2<p_3<\cdots <p_n$$
  它最终的形式应该是这样的
  $$p_1>p_2>p_3>\cdots >p_n$$
  通过打表或者是其他的分析而得(我是打表
  在一个$n$元排列里面存在最后一个$<$关系的$p_k<p_{k+1}$这个$p_k$要被这个排列从后往前数第一个比它大的数替换然后整体倒着来。
  比如一个$n$元排列是这样的$$p_1<p_2>p_3<p_4<\cdots <p_k<p_{k+1}>\cdots >p_j>\cdots >p_n$$
  假设$p_j$是从右往左数第一个比$p_k$大的元素
  它的下一个排列必然是
  $$p_1<p_2>p_3<p_4<\cdots <p_j>p_n<p_{n-1}<\cdots <p_{j+1}<p_k<p_{j-1}<\cdots <p_{k+1}$$

其实这样铁是对的因为你再保留之前得$>$得基础上一直将$>$往前移，这个过程什么时候停止呢，那也就是没有$<$得时候，那也就是排列结束的时候。

那你肯定有个$p_i$为$m$元排列的起始点

• • 再进行分类讨论当$i\le k$时
    单独讨论这个排列
    $$p_i\dots p_k,p_{k+1},p_{k+2},\dots ,p_j,\dots ,p_n,p_1,p_2\dots p_{i+m-1-n}$$

那也就是将序列分成两段分析$i-n$是前一个$n$元排列所构成的一部分，后面那前$(m-(n-i+1))$项也就是后一个$n$元排列所构成的首先呢还是除了这$m$项其他随便排是一个$(n-m)!$，本来呢这$m$项也是随便排但是不要忘了构成这个排列的条件就是存在$p_k<p_{k+1}>p_{k+2}$所以前一部分它不能是单调递增的要减去这个情况那也就是$m!-C_m^{n-i+1}\ast ((m-(n-i+1))!)$。

• • 而当$i\ge (k+1)$时

因为$p_j>p_k$是前提条件而且这是$n$元排列里最小的$m$个数，所以从逻辑上来看你有 $p_j$ 必然有 $p_k$ 但是这又和我们分类讨论的情况不一样所以得出$i+m-1-n<j$，然后这 $m$ 个数随便排也就是 $C_m^{n-i+1}\ast (m-(n-i+1))!$ ，剩下$n-m$ 随便排也就是 $(n-m)!$但是要减去一种情况也就是剩下的数全递减的情况违反了找不到这个 $k$ 的前提。

讨论完毕。
最后答案化简得
$$(m-1)\ast m!\ast (n-m)!-m!\ast \sum _{i=1}^{m-1}\frac{1}{i^2}$$