C语言实现数组快速排序(含对算法的详细解释)
/* 说明: 代码参考过网上代码,但分析为个人原创,本贴重在说明快速排序算法的思想和运行过程。 */ 代码部分: #include<stdio.h> #include<stdlib.h> void quickSort(int* arr,int startPos, int endPos) { int i, j; int key; key = arr[startPos]; i = startPos; j = endPos; while (i<j) { while (arr[j] >= key && i<j)--j; //————1 从后往前扫,直到找到一个a[j]<key或遍历完 arr[i] = arr[j]; while (arr[i] <= key && i<j)++i; //————2 从前往后扫,直到找到一个a[i]>key或遍历完 arr[j] = arr[i]; } arr[i] = key; if (i - 1>startPos) quickSort(arr, startPos, i - 1); //————1 如果key前还有两个及以上的数,排key前的数(有一个的话自然就不用排了) if (endPos>i + 1) quickSort(arr, i + 1, endPos);//————2 如果key后还有两个及以上的数,排key后的数 } int main() { int a[11], i; for (i = 0; i<11; i++) scanf_s("%d", &a[i]); quickSort(a, 0, 10); for (i = 0; i<11; i++) printf("%d ", a[i]); printf("\n"); return 0; } 解析部分: /* 以数组 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 32 39 23 45 36 57 14 27 39 为例,说明核心代码的实现机制 第一轮: 首先进入quickSort(a, 0, 10); key=0,i=0,j=10,进入外层while,进入第一个内层while,由于0是数组中最小的,故j一直扫到头,j=0,arr[0] = arr[0]=0; 显然无法进入第二个内层while,由于i=j=0,结束外层while,执行a[0]=key=0;显然不进入第一个if,进入第二个if,执行quickSort(a, 1, 10);进行从a[1]到 a[10]的排序,第一轮结束。 第二轮; 执行quickSort(a, 1, 10),key=2,i=1,j=10,进入外层while,进入第一个内层while,由于2是传入段中最小的,故j一直扫到头,j=1,arr[1] = arr[1]=2;显然 无法进入第二个内层while,由于i=j=1,结束外层while,执行a[1]=key=2;显然不进入第一个if,进入第二个if,执行quickSort(a, 2, 10);进行从a[2]到 a[10]的排序,第二轮结束。 第三轮: 执行quickSort(a, 2, 10),key=32,i=2,j=10,进入外层while,进入第一个内层while,a[10]=39>key=32,--j,j变为9;a[9]=27<key=32,,退出第一个内层while, 执行a[i]=a[2]=a[j]=a[9]=27,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 27 39 23 45 36 57 14 27 39 注意此时a[j](即a[9])的值存入a[i](即a[2])中,a[j]可以被再赋值,32呢?32怎么没了呢?注意32始终由key保存,不用担心。注意此时i=2,j=9; 程序顺次执行,满足第二个内层while,进入,开始从左往右扫。a[2]=27<key=32,++i,i变为3(注意这是必然的,因为第一次的a[i]是由上次内层while的a[j]送给 的,而送给的条件是a[j](即这里的a[i])<key);a[i]=a[3]=39>key=32,执行a[j](前边已经说过,此时a[j]=a[9]的值已保存到a[2]中,a[j]可修改)=a[9]=a[3] =39,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 27 39 23 45 36 57 14 39 39 注意此时a[i]=a[3]又变为可修改。 注意此时i=3<j=9,未跳出外层while。 继续执行第一个内层while,a[j]=a[9]=39>key=32,--j,j变为8(这也是必然的,道理同前边分析);a[j]=a[8]=14<key=32,退出第一个内层while, 执行a[i]=a[3]=a[j]=a[8]=14,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 27 14 23 45 36 57 14 39 39 注意此时a[j]=a[8]又变为可修改。此时i=3,j=8; 程序顺次执行,满足第二个内层while,进入,开始从左往右扫。a[i]=a[3]=14<key=32,++i,i变为4(必然);a[i]=a[4]=23<key=32,++i,i变为5;a[i]=a[5]= 45>key=32,退出第二个内层while,执行a[j]=a[8]=a[i]=a[5]=45,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 27 14 23 45 36 57 45 39 39 注意此时a[i]=a[5]可修改,且i=5,j=8,未跳出外层while。 继续执行第一个内层while,a[j]=a[8]=45>key=32,--j,j变为7(必然);a[j]=a[7]=57>key=32,--j,j变为6;a[j]=a[6]=36>key=32,--j,j变为5注意到此时i=j=5, 直接退出三个while。执行a[i]=a[5]=key=32,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 27 14 23 32 36 57 45 39 39 注意此时a[5]前的数都小于key=32,a[5]后的数都大于key=32,且startPos=2,endPos=10。 显然两个if都满足,(这是人一次性判断的,计算机只能先判断第一个if,等程序再返回到本轮时再判断第二个if,我们一次性判断是为了说明方便)首先进入第一个 if,执行quickSort(a, 2, 4),排a[5]前面的a[2]到a[4](a[0],a[1]在第二轮后已排好),进入下一轮(第四轮),但第三轮未结束,因为计算机还并未判断第二个 if。 第四轮: 执行quickSort(a, 2, 4),key=a[2]=27,i=2,j=4,startPos=2,endPos=4。 进入外层while,进入第一个内层while,a[j]=a[4]=23<key=27,执行a[i]=a[2]=a[j]=a[4]=23,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 23 14 23 32 36 57 45 39 39 此时a[j]=a[4]可修改,且i=2,j=4,程序顺次执行,进入第二个while,a[i]=a[2]=23<key=27,++i,i变为3(必然):a[i]=a[3]=14<key=27,++i,i变为4,注意到i= j=4,退出所有循环,执行a[i]=a[4]=key=27,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 23 14 27 32 36 57 45 39 39 此时i=j=4,startPos=2,endPos=4,显然满足第一个if不满足第二个if(key后已无数),故执行quickSort(a, 2, 3)(排a[4]前的),进入下一轮(第五轮),但 第四轮未结束,因为计算机还并未判断第二个if。 第五轮: 执行quickSort(a, 2,3),key=a[2]=23,i=2,j=3,startPos=2,endPos=3。 进入外层while,进入第一个内层while,a[j]=a[3]=14<key=23,执行a[i]=a[2]=a[j]=a[3]=14,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 14 14 23 32 36 57 45 39 39 此时a[j]=a[3]可修改,且i=2,j=3,程序顺次执行,进入第二个while,a[i]=a[2]=14<key=23,++i,i变为3(必然):注意到i=j=3,退出所有循环,执行a[i]=a[3]= key=23,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 14 23 27 32 36 57 45 39 39 此时i=j=3,startPos=2,endPos=3,显然不满足第一个if,再判断第二个,也不满足,故第五轮结束,返回到上一轮(第四轮)的第二个if处,前面已经分析过,不 满足第二if,故第四轮结束,返回到上一轮(第三轮)的第二个if处(至此,到第三轮最终的a[i]=a[5]=key=32前的元素,都已排好),这次满足。执行 quickSort(a, 6, 10),排a[5]后的元素,进入下一轮(记为第四*轮,为的是与上面的第四轮区别,同时也为了体现两者的联系)。第三轮结束。 第四*轮: 执行quickSort(a, 6, 10),key=a[6]=36,i=6,j=10,startPos=6,endPos=10。 此时a[j]=a[3]可修改,且i=2,j=3,程序顺次执行,进入第二个while,a[i]=a[2]=14<key=23,++i,i变为3(必然):注意到i=j=3,退出所有循环,执行a[i]=a[3]= a[j]=a[10]=39>key=36,--j,j变为9;a[j]=a[9]=39>key=36,--j,j变为8;a[j]=a[8]=45>key=36,--j,j变为7;a[j]=a[7]=57>key=36,--j,j变为6;注意到i=j=6, 退出所有while,执行a[i]=a[6]=key=36,数组不变。此时i=j=6,startPos=6,endPos=10。显然不满足第一个if,满足第二个if,执行quickSort(a, 7, 10)(排 a[6]后的元素),进入第五*轮,第四*轮结束。 第五*轮: 执行quickSort(a, 7, 10),key=a[7]=57,i=7,j=10,startPos=7,endPos=10。 a[j]=a[10]=39<key=57,执行a[i]=a[7]=a[j]=a[10]=39,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 14 23 27 32 36 39 45 39 39 此时i=7,j=10,程序顺次执行,进入第二个内层while,a[i]=a[7]=39<key=57,++i,i变为8(必然);a[i]=a[8]=45<key=57,++i,i变为9;a[i]=a[9]=39<key=57,++i, i变为10;注意到i=j=10,退出所有while,执行a[i]=a[10]=key=57。数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 14 23 27 32 36 39 45 39 57 此时i=j=10,startPos=7,endPos=10。显然满足第一个if,不满足第二个if(a[i]=a[10]后面已没有元素),执行quickSort(a, 7, 9)(排a[10]前面的元素),进入 第六*轮,但未退出第五*轮,因为计算机并还未判断第二个if。 第六*轮: 执行quickSort(a, 7, 9),key=a[7]=39,i=7,j=9,startPos=7,endPos=9。 a[j]=a[9]=39=key=39,--j,j变为8;a[j]=a[8]=4>key=39,--j,j变为7;注意到i=j=7,退出所有while,执行a[i]=a[7]=key=39,数组不变。此时i=j=7,startPos=7, endPos=9。显然不满足第一个if(a[i]=a[7]前已无元素),满足第二个,执行quickSort(a, 8, 9)(排a[7]后面的元素),,进入第七*轮,第六*轮结束。 第七*轮: 执行quickSort(a, 8, 9),key=a[8]=45,i=8,j=9,startPos=8,endPos=9。 a[j]=a[9]=39<key=45,执行a[i]=a[8]=a[j]=a[9]=39,数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 14 23 27 32 36 39 39 39 39 此时i=8,j=9,程序顺次执行,进入第二个内层while,a[i]=a[8]=39<key=45,++i,i变为9(必然); 注意到i=j=9,退出所有while,执行a[i]=a[10]=key=57。数组变为 a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] 0 2 14 23 27 32 36 39 39 45 57 此时i=j=9,startPos=8,endPos=9,显然不满足第一个if,再判断第二个,也不满足,第七*轮结束。程序回到第五*轮的第二个if,前面已经分析过,不满足,故第五*轮结束。 至此,整个quickSort函数结束,数组已排好,如上所示。 */ 如果大家觉得分析太多,不想看,建议大家按照代码手动执行一下,就豁然开朗了。当然,过程中可以结合、参考在下的分析。 代码已经过测试,在VS2013上成功运行! 发此文有两大目的: 1.和大家交流经验,供需要的人参考。 2.在下菜鸟,代码中难免有不妥之处,恳求大神批评指正。您的批评就是在下提高的起点,对于您的批评,在下将不胜感激!