我直接？？？？？？？？？？？？？？？？？？
考慮一個數怎麼做，就是逆序對減去一個 \(i\) 前面的逆序對再加上順序對。考慮很多數怎麼做，就是這個玩意的和再加上子序列種的順序對減去逆序對，順序對可以用逆序對錶示，現在只考慮順序對。
注意到，如果 \(i<j,p_i>p_j\) 且 \(i\) 在子序列中 \(j\) 不在子序列中，那麼把 \(j\) 弄進來 \(i\) 拿出去一定不劣。證明顯然，但我也不知道這是怎麼注意到的。
於是式子可以寫成 \(\sum...+\binom{k}{2}-\sum_{i=1}^{k}\sum_{j\ge q_i}[p_{j}>p_{q_i}]\)。稍微歸一下類貪心即可。