一. 原理说明
1. 分组的思想:将一组数据分为s组,在每一组里面使用直接插入法,比如以下标排序为例:
(1)对于下标为1,2,3,4,5,6,7,8的元素,第一次分组为8/2 = 4组
对应为 [1,5] , [2,6] , [3,7], [4,8],每一组里面下标间隔都是对应的倍数(该例中为4)
(2)在每一组中使用直接排序法(!!不使用折半插入法)
(3)实际上,排序操作是在每一组中进行的,但不是连续的,也就是说第一组的1号与2号元素比较以后,就会到第二组的1号与2号比较,但毫无疑问,排序操作都是在每一组内部发生的!!
2. 循环一次后,再次分组s1(s1 < s), 并重复1中的操作,当最后s1 = 1时,即排序完毕
二. 代码运行
// shell排序
template <class T>
void ShellSort(T a[],int n, int s)
{
int i,j,k;
T temp;
for(k = s; k >0; k >>=1) // 速度很快
{
for(i = k;i <n;i++)
{
temp = a[i];
j = i-k;
while(j >=0 && temp< a[j])
{
a[j+k] = a[j];
j -= k;
}
a[j+k] = temp;
}
}
}
int main()
{
int p[6] ={2,4,3,5,1};
ShellSort(p, 5, 2);
for(int i =0 ;i < 5;i++)
{
cout << p[i];
}
}
![](https://img-blog.csdnimg.cn/img_convert/47c652a835fa6ddf4c012c6d208d788f.png)
说明:
形参中的n为数组大小 , s为首次分组数目。
第九行的k>>=1 等价于 k = k / 2 , 但前者效率更高。
第一个for循环,分组循环,因为本质上是在每个组内进行排序:
(1)第二个for循环,从每一组的第二个元素开始,遍历整个数组,
(2)第一次运行第13、14行代码——获取每一组中的第二个(temp = a[i])和第一个(a[j])元素,
(3)在while语句循环中,条件j>=0 是保证当前每一组的涉及元素已排序完毕 ; temp< a[j]是必须条件,在要求从小到大排序下,将其进行比较,如果temp < a[j] , 那么将 a[i] 置为 a[j] ,
此处只能是j+k(包括后面的j+k也是),虽然意义上是i,但是在while循环里面,还涉及到后续元素的变化,同时让j = j- k , 指向当前组的前一个元素下标,此处用到了空位思想,在已经将j+k处元素置为 j 处时,原来a[j+k]处的元素已经被取出 , 继续向前与前面元素进行比较,如果可放置,则置位。
最后一次循环之前,由于是j = 0经过一次运算后变为 -k, 如果已经运算到最后,那么将temp的值放到第一个,也就是此时的a[j+k] = a[0]。
(4)两次for语句完毕之后此时k =1,则排序完毕。