以数为成员的数组的逆袭(inversion)是指具有性质i<j但a[i]>a[j]的序偶(i,j)。
列如 输入数据34,8,64,51,32,21有9个逆序，即(34,8),(34,32),(34,21),(64,51),(64,32),(64,21),(51,32),(51,21),(32,21)。
定理1 N个互异元素的数组的平均逆序数是 N(N-1)/4 证明:见韦斯的《数据结构与算法分析》265page。
这个定理意味着插入排序平均是二次的，同时也提供了只交换相邻元素的任何算法的一个很强的下界。
定理2 通过交换相邻元素进行排序的任何算法平均需要 欧姆(N^2)时间。
这个下界告诉我们，为了使一个排序算法以亚二次时间运行，
必须执行一些比较，特别是要对相聚较远的元素进行交换。排序算法通过删除逆序得以继续进行，
而为了有效地进行，还必须每次交换删除多个逆序。
版权声明：本文为博主原创文章，未经博主允许不得转载。
原文：http://blog.csdn.net/hacker_no_1/article/details/48037923