jpos

刷一下集训队作业了（然后我CSP就退役了） 如果不是自己想出来的会写一个“不会”（然后整篇文章里全是不会） AGC023E 传送门 不会 先考虑合法的排列个数，记$cnt_j=\sum_{i=1}^n [a_i\geq j]$，则$ret=\prod cnt_j-(n-j)$，也就是说从大到小依次放$n$到$1$，每个数可以放的位置就是$cnt_j-(n-j)$ 考虑对于一对$i<j$，如果$a_i=a_j$，那么这满足$p_i>p_j$的排列数恰好为${ret\over 2}$ 如果$a_i<a_j$，那么如果$p_j\in [a_i+1,a_j]$的时候都不会有逆序对产生，只有$p_j\leq a_j$的时候有，所以我们可以令$a_j=a_i$，然后计算此时的排列个数，乘上${1\over 2}$就是此时这一对的答案了，不过注意如果我们修改$a_j$会对$cnt$造成影响，具体是使$[a_i+1,a_j]$区间内的$cnt-1$，那么令$D_i={cnt_i-1-(n-i)\over cnt_i-(n-i)}$，那么方案数就变成$ret\times \sum_{k=a_{i}+1}^{a_j}D_k$，可以写成前缀的形式，即${\sum_{k=1}^{a_j}D_k\over \sum_{k=1}^{a_i}D_k }$，那么用树状数组维护前面所有合法的${1\over