首先吐槽一下为什么远古 CF 的题都这么奇怪……题面内容、输入、输出都非常恶心，让人很不爽……不过这道题倒是蛮好的（
首先映入脑帘的是一个状压 DP：\(dp_{i,j}\) 表示当前考虑到第 \(i\) 位，bitmask \(j\) 内的单词都被选的时候的最小逆序对数。转移就看当前这位选不选，\(\mathrm O(1)\)。这样显然光空间就 \(\mathrm O(k2^n)\) 了。
然后我想的是，从 5e5 里面只选 \(n\) 个，那绝大多数都是没用的，能不能找点什么性质把一定没用的给筛掉，这样可以减小 \(i\) 的值域。我想了一天，没想出来一个做法，然后就去看题解了（
注意到题解里的这样一句话：「Let's make use of a standard technique: make the value of DP a new parameter and make one of the existing parameters the value of DP.」（然后后面的笑脸「