#P11028. [COTS/CETS 2020] 龙猫 Totoro

    ID: 10599 远端评测题 1000ms 500MiB 尝试: 0 已通过: 0 难度: 6 上传者: 标签>2020O2优化CEOI(中欧)COCI(克罗地亚)

[COTS/CETS 2020] 龙猫 Totoro

题目背景

译自 Izborne Pripreme 2020 (Croatian IOI/CEOI Team Selection) D2T3。1s,0.5G\texttt{1s,0.5G}

题目描述

给定 KK1N1\sim N 的排列 π1,π2,,πK\pi_1,\pi_2,\cdots,\pi_K

求出排列群 G(S,)G(S,\circ) 中的排列的逆序对期望值。其中二元运算 \circ置换1iK\forall 1\le i\le K,都有 πiS\pi_i\in S

具体地说,我们定义 (πτ)(i)=π(τ(i))(\pi\circ \tau)(i)=\pi(\tau(i))

G(S,)G(S,\circ) 是满足如下性质的代数结构:

  • 封闭性:a,bS\forall a,b\in S,都有 abSa\circ b\in S
  • 结合律:a,b,cS\forall a,b,c\in S,都有 (ab)c=a(bc)(a\circ b)\circ c=a\circ (b\circ c)
  • 幺元:存在 eSe\in S,对于 aS\forall a\in S,都有 ae=ea=aa\circ e=e\circ a=a
  • 逆元:aS\forall a\in S,存在 bSb\in S,使得 ab=ba=ea\circ b=b\circ a=e

定义 L(π)\mathcal{L}(\pi)π\pi 的逆序对数,即 $\displaystyle \mathcal{L}(\pi)=\sum_{1\le i\lt j\le n}[\pi(i)\gt \pi(j)]$,求出 $\displaystyle \frac{1}{|S|}\sum_{\pi \in S} \mathcal{L}(\pi)$。

答案对 (109+7)(10^9+7) 取模。

输入格式

第一行,两个正整数 K,NK,N

接下来 KK 行,第 iiNN 个正整数描述 πi\pi_i

输出格式

输出一行一个整数,即答案对 (109+7)(10^9+7) 取模后的结果。

1 3
2 3 1
333333337
2 5
4 2 1 3 5
2 5 4 3 1
5
1 9
3 4 5 6 7 8 1 9 2
300000017

提示

样例解释

  • 样例 11 解释:S={[2,3,1],[3,1,2],[1,2,3]}S=\{[2,3,1],[3,1,2],[1,2,3]\}。逆序对期望值为 1+2+03=43\frac{1+2+0}{3}=\frac{4}{3}
  • 样例 22 解释:可以证明 S=5!|S|=5!,即 SS 中包含了 151\sim 5 的所有排列。
  • 样例 33 解释:此时 S=20|S|=20,答案真实值为 14910\frac{149}{10}

数据范围

对于 100%100\% 的数据,保证:

  • 1K101\le K\le 10
  • 1N25001\le N\le 2\, 500
  • πi\pi_i1N1\sim N 的排列。
子任务编号 NN\le KK\le 特殊性质 得分
1 1 99 10 10 7 7
2 2 25002\,500 11 8 8
3 3 25002\, 500 25 25
4 4 1010 60 60

特殊性质:1iK\forall 1\le i\le K,存在 1N1\sim N 的排列 aa,使得 $\pi_i(a_1)=a_2,\pi_{i}(a_2)=a_3,\cdots,\pi_i(a_n)=a_1$。