选择排序法证明

选择排序法证明

 

问题重述：

有n个数（n≥2）a₁, a₂, …, a_n，从i = 1到n - 1共经历n - 1次循环，对于每一次循环i，将a_i+1,…,a_n依次和a_i作比较。对于每一次比较(a_i, a_j) ，其中j = i + 1, …, n，
若a_i≥a_j，a_i, a_j保持不变；
若a_i < a_j，则a_i, a_j互换位置。
则最后这n个数将降序排列。

 

证明：

对于每一次“比较”操作。若a_i ≥ a_j，a_i, a_j保持不变，于是a_i ≥ a_j；若a_i < a_j，则a_i, a_j互换位置，于是a_i > a_j。因此经过一次“比较”操作后恒有a_i ≥ a_j。下面直接引用此结论。

 

对于每一次以下标i开始的循环，对j - i作数学归纳法。

进行了第j – i = 1次比较后，由上面结论知，a_i ≥ a_j。所以a_i是a_i, …, a_j中最大的数。

假设当j – i = k 时“a_i是a_i, …, a_j中最大的数”成立。则当j – i = k + 1时，

由上面结论知，a_i ≥ a_j，于是a_j不超过a_i--根据假设即a_i, …, a_j-1中最大的数。于是a_i, …, a_j-1中最大的数a_i仍是a_i, …, a_j中最大的数。

由数学归纳法原理可知。a_i是a_i, …, a_n中最大的数。

 

完成排序后，由刚才对i的讨论的任意性可知a₁ = max(a₁, …, a_n), a₂ = max(a₂, …, a_n), …, a_n-1 = max(a_n-1, a_n)。

因为max(a₁, …, a_n) ≥ max(a₂, …, a_n) ≥ ... ≥ max(a_n-1, a_n)，≥ a_n

所以a₁ ≥ a₂ ≥ ... ≥ a_n。

证毕。#

 

---------------------

紫数 2009-06-25于上海大学