题目描述(来自谷歌翻译）
Turtle 为您提供 \(m\) 个区间 \([l_1, r_1], [l_2, r_2], \ldots, [l_m, r_m]\) 。他认为，如果每个区间 ( \(l_i \le k_i< r_i\) ) 都存在一个整数 \(k_i\) ，则排列 \(p\) 是有趣的，并且如果他让从 \(1\) 到 \(m\) 的每个整数 \(i\) 都存在 \(a_i = \max\limits_{j = l_i}^{k_i} p_j, b_i = \min\limits_{j = k_i + 1}^{r_i} p_j\) ，则以下条件成立：
\[\max_{i = 1}^m a_i < \min_{i = 1}^m b_i \]Turtle 希望您计算长度为 \(n\) 的所有有趣排列的最大逆序对数，或者告诉他是否存在有趣的排列。
思路点拨(E1)
此部分具有特殊性质，保证 \(r_i<l_{i+1}\) 。
通过观察样例答案的形态，发现：答案是将序列划分为两个部分，满足第一个部分权值的最大值小于第二个部分权值的最小值，且每一个部分的权值都是降序排列的。
简单想一下这个为什么是对的？在一个区间 \([l_i,r_i]\) 中，假设选出了划分点 \(k_i\) 满足 \([l_i,k_i]\) 作为第一部分，\((k_i,r_i]\) 作为第二部分。如果每一个部分不是降序排列的，不可以最大化逆序对数。对于不在区间中的元素（就是可以自由选择第一，第二部分的元素），考虑这样的第一个元素，从最大化逆序对数量的角度，要么选择第一部分最小值，第二部分最小值之外的权值显然不是最优的。那么归纳下去，对于全部不在区间中的元素都是如此。
标签：CF2003E,排列,报告,最小值,解题,权值,区间,部分,逆序 From： https://www.cnblogs.com/-Aurore-/p/18380682