选择排序
选择排序的基本思想是：
1. 从待排序的数组元素中选出最小（或最大）者，放在序列的起始位置；
2. 从剩余的未排序元素中寻找到最小（大）元素，放到已排序的序列的末尾。
3. 重复2，直到全部数组元素排序。（验证时间约 34sec）
[Back to Index]
验证特点：循环嵌套，量化断言，幽灵数组，函数调用
标注说明：本文件有2个函数：数组元素交换函数 swap和选择排序函数 selectionSort。
程序样例 
选择排序的基本思想是：
1. 从待排序的数组元素中选出最小（或最大）者，放在序列的起始位置；
2. 从剩余的未排序元素中寻找到最小（大）元素，放到已排序的序列的末尾。
3. 重复2，直到全部数组元素排序。（验证时间约 34sec）
验证特点：循环嵌套，量化断言，幽灵数组，函数调用
标注说明：本文件有2个函数：数组元素交换函数 swap和选择排序函数 selectionSort。
程序样例