排列对换操作对逆序对的影响

排列的一个对换必改变原排列逆序对奇偶性 的证明

Proof.

对一个数列，我们知道其 逆序对 可以按照如下方式计算：
$$\sum _{i=1}^n\sum _{j=1}^{i-1}[a_j>a_i]\text{\hspace{1em}(*)}$$

不妨假设原数列为 $a_1,a_2,a_3,\dots a_I,...a_J\dots a_n$

我们对 $a_I,a_J$ 做一次对换，并按照 $(\ast )$ 式计算其逆序对改变量 $\Delta$，为了不引起混淆 我们记 $x=a_I,y=a_J$

对于 { 1 , 2 , . . . I − 1 } \{1, 2, ... I - 1\} {1,2,...I−1} 位置，前后未发生变化 ${\Delta }_i=0$

对于 { I } \{I\} {I} 位置，$a_I\to a_J$
$${\Delta }_I=-\sum _{i=1}^{I-1}[a_i>x]+\sum _{i=1}^{I-1}[a_i>y]$$
对于 { I + 1 , I + 2 , . . . J − 1 } \{I + 1, I + 2, ... J - 1\} {I+1,I+2,...J−1} 位置，其前方只有 $I$ 位置发生变化
$${\Delta }_i=-[x>a_i]+[y>a_i]$$

对于 { J } \{J\} {J} 位置，$a_J\to a_I$
$${\Delta }_J=-([x>y]+\sum _{[1,I)\cup (I,J)}[a_i>y])+([y>x]+\sum _{[1,I)\cup (I,J)}[a_i>x])$$
对于 { J + 1 , J + 2 , . . . , n } \{J + 1, J + 2, ..., n\} {J+1,J+2,...,n} 位置，其前方整体贡献未发生变化 ${\Delta }_i=0$

故逆序对总变化量
$$\begin{array}{rl}\Delta & =\sum _{i=1}^n{\Delta }_i\\ & =-\sum _{i\in [1,I)}[a_i>x]+\sum _{i\in [1,I)}[a_i>y]+\sum _{i\in (I,J)}(-[x>a_i]+[y>a_i])-[x>y]\\ & -(\sum _{i\in [1,I)\cup (I,J)}[a_i>y])+[y>x]+\sum _{i\in [1,I)\cup (I,J)}[a_i>x]\\ & =[y>x]-[x>y]+\sum _{i\in (I,J)}([a_i>x]-[x>a_i]-[a_i>y]+[y>a_i])\end{array}$$
注意到 $a_i$ 是一个排列，故 x , y ∉ { a I + 1 , . . . a J − 1 } x, y \not\in \{a_{I + 1}, ... a_{J - 1}\} x,y∈{aI+1​,...aJ−1​}

我们令 $N=J-I-1,X={\sum }_{i\in (I,J)}[a_i>x],Y={\sum }_{i\in (I,J)}[a_i>y]$
$$\begin{gathered} \Delta =[y>x]-[x>y]+(2X-N)+(N-2Y) \\ =[y>x]-[x>y]+2(X-Y) \end{gathered}$$
由此 $\Delta$ 必为奇数，故对换必然改变原数列逆序对奇偶性。

---

另一种想法：

注意到交换相邻元素逆序对的改变量只能为 1 或 -1

$\text{swap}(a_I,a_J)$ 这个操作等价于进行 $(J-I-1)+(J-I)=2(J-I)-1$ 次交换相邻的操作

故逆序对改变量必为奇数。