官方解法 是从 $1$ 和 $2n-1$ 这对镜像开始分析，发现由于这俩都是最值，所以产生的逆序对和别的数是否镜像毫无关系，直接贪心选就好，然后可以递归到 $2$ 和 $2n-2$ 这对选择的子问题，以此类推，正确性是相对显然的

但是我赛时的贪心是逆扫整个排列，即扫到 $p_i$ 的时候 $p_{i+1} \sim p_n$ 已经决策完是否镜像了。然后扫到 $p_i$ 时，假设左边的都不镜像，然后根据增加逆序对最少的原则对 $p_i$ 决策。这个策略感觉构造不出反例（也确实 AC 了），然而并不会证，想问问有没有大佬能帮忙证一下（）