9 篇题解里面几篇题解直接说的前 $i$ 个的红 / 蓝球数量 $\le$ 前 $i$ 个拥有的红 / 蓝球数量就合法，然后 DP。

但是这个不应该是从令取出的序列为 $p_{1\sim 2n}$，$\forall i\in [1, n], \sum\limits_{j = 1}^{2n} [p_j = i] = 2$ 同时 $p_i\le i$ 来得出的吗？

而且这个 $p$，必要性确实比较好证，但是这个充分性真的是很好证的吗？？？我觉得这个充分性的构造单独拎出来放个题都是有难度的阿？

我个人认为直接说 $\le$ 的条件就开始 DP 的题解是不是都不太合格该毙了，，，其他的至少是没问题的，

提到的题解：
https://www.luogu.com.cn/article/66izgswt
https://www.luogu.com.cn/article/rvdn3vkp
https://www.luogu.com.cn/article/586ilj0g