012F

好可怕。 AtCoder 的一贯风格，先找合法序列的充要条件，然后 DP 计数。 首先把数组排序，这个显然。 先找显然的必要条件。首先 $b_i \in [i,2n - i]$，这个比较显然。 然后发现加数很不好考虑，我们考虑倒过来删数。每次删两个数，不难发现中位数只会不变或向左 / 向右移动一位。 ......