P11028 [COTS 2020] 龙猫 Totoro
题目背景
译自 [Izborne Pripreme 2020 (Croatian IOI/CEOI Team Selection)](https://hsin.hr/pripreme2020/) D2T3。$\texttt{1s,0.5G}$。
题目描述
给定 $K$ 个 $1\sim N$ 的排列 $\pi_1,\pi_2,\cdots,\pi_K$。
求出排列群 $G(S,\circ)$ 中的排列的逆序对期望值。其中二元运算 $\circ$ 为**置换**,$\forall 1\le i\le K$,都有 $\pi_i\in S$。
具体地说,我们定义 $(\pi\circ \tau)(i)=\pi(\tau(i))$。
群 $G(S,\circ)$ 是满足如下性质的代数结构:
- 封闭性:$\forall a,b\in S$,都有 $a\circ b\in S$;
- 结合律:$\forall a,b,c\in S$,都有 $(a\circ b)\circ c=a\circ (b\circ c)$;
- 幺元:存在 $e\in S$,对于 $\forall a\in S$,都有 $a\circ e=e\circ a=a$;
- 逆元:$\forall a\in S$,存在 $b\in S$,使得 $a\circ b=b\circ a=e$。
定义 $\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)$。
答案对 $(10^9+7)$ 取模。
输入格式
第一行,两个正整数 $K,N$。
接下来 $K$ 行,第 $i$ 行 $N$ 个正整数描述 $\pi_i$。
输出格式
输出一行一个整数,即答案对 $(10^9+7)$ 取模后的结果。
说明/提示
#### 样例解释
- 样例 $1$ 解释:$S=\{[2,3,1],[3,1,2],[1,2,3]\}$。逆序对期望值为 $\frac{1+2+0}{3}=\frac{4}{3}$。
- 样例 $2$ 解释:可以证明 $|S|=5!$,即 $S$ 中包含了 $1\sim 5$ 的所有排列。
- 样例 $3$ 解释:此时 $|S|=20$,答案真实值为 $\frac{149}{10}$。
#### 数据范围
对于 $100\%$ 的数据,保证:
- $1\le K\le 10$;
- $1\le N\le 2\, 500$;
- $\pi_i$ 是 $1\sim N$ 的排列。
| 子任务编号 | $N\le $ | $K\le $ | 特殊性质 | 得分 |
| :--: | :--: | :--: | :--: | :--: |
| $ 1 $ | $9$ | $ 10 $ | 无 | $ 7 $ |
| $ 2 $ | $2\,500$ | $1$ | 有 | $ 8 $ |
| $ 3 $ | $2\, 500$ | $1$ | 无 | $ 25 $ |
| $ 4 $ | $2\, 500$ | $10$ | 无 | $ 60 $ |
特殊性质:$\forall 1\le i\le K$,存在 $1\sim N$ 的排列 $a$,使得 $\pi_i(a_1)=a_2,\pi_{i}(a_2)=a_3,\cdots,\pi_i(a_n)=a_1$。