【算法导论】04 快速排序

1.1 快速排序法与分而治之

1.2 案例一 欧几里得算法 - 找最大公约数

1.3 快速排序

1.1 快速排序法与分而治之

•快速排序法：

•一种常用的优雅的排序算法。快速排序使用分而治之的策略

•分而治之：

•divide and conquer（征服），D&C。一种 著名的递归式问题解决方法。是一种思路。每次递归调用都必须能够缩小问题规模。

把大问题变成小问题，从大问题到小问题的过程使用了递归的方法

1.2 案例一 欧几里得算法 - 找最大公约数

这里使用的算法称为欧几里得算法、又称辗转相除法，算法不大好理解，作为程序员，我们应该接受这些常用算法的有效性。

计算公式：gcd(a,b) = gcd(b,a mod b)

（Greatest Common Divisor：最大公约数）

举例：长1680为a，宽640为b，a对b的余数为r = 400（a = 2b +400)，则a和b的最大公约数就是b和r的最大公约数。

b - 400 = 240，240和400的公约数；400 - 240 = 160；240-160 =80，160 =2 * 80

最后1680 * 640  = (21 x80) * (8x80）

a和b的最大公约数，等于b和 a对b的余数的最大公约数

证明：a=bq+r,b≠0

             gcd(a,b)=gcd(b,r)

思路：设d1=gcd(a,b), d2= gcd(b,r)。需要证明d1=d2只要能够求得d1≥d2,d2≥d1即可。

提示：最大公约数是公约数的倍数

证明：

左  = d1  d1|a   (即a是可以整除d1的）                                    ->  d1 | (bq + r)   

               d1|b (b也可以整除d1)，这是最大公约数的含义         ->  d1 |  bq

用 可以得到d1|r  ，用上面的剪掉下面的。即如果bq+r是4倍d1，bq是3倍d1，则r是1倍d1

又d1|b，则 => d1|gcd(b,r) , b和r的最大公约数是d1的倍数 （r能整除d1,b能整除d1,r和b的最大公约数也能整除d1），即d1|d2， d2是d1的倍数，d2>=d1；

右 = d2 d2|b =>  d2|bq   => 相加得到 d2| bq + r ，即d2 | a

              d2|r                                                                d2 | b         =>  d2|gcd(a,b)

则=> d2|d1  => d1>=d2;

则d1 = d2

1.3 快速排序

使用快速排序法为 数组排序：{8,13,-5,45,0,-1,58,}

有一个基准值，小的放在左边大的放在右边

 

#include <stdio.h>

void swap(int *a. int *b){
    int temp = *a