用 $n$ 个辅助值，构造形如 `第i大的x对应第j大的y` 的 $(i,j)$ 二元组与正整数的双射，精细实现可以做到正整数不超过 $\frac{40000^2}{2}$，这样我们就多了 $1\text{bit}$ 来存每个传过去的数是否为辅助值。如果不为辅助值，则再用 $1\text{bit}$ 来存为 $x$ 还是 $y$。
by 1kri @ 2022-05-23 20:08:15
@[MaLX](/user/685127)
by 1kri @ 2022-05-23 20:08:36