数值算法——最大公约数

为了准备五月初转专业的程序设计考试，一开始在力扣上刷了很多的题目，发现里面的算法难度较高，我学习的效率较低，于是决定开始系统地学习算法基础。

两个整数的最大公约数（GCD）指的是可以整除这两个整数的最大整数。如GCD（36,8）=4。

那么我们如何求两个数的GCD呢？

第一种方法：

我一开始的思路：

对于数a,b，假定a>b，我们遍历i=1到i=b,并保存a%i==0&&b%i==0的i的最大值，此为GCD（a,b）。该思路简单，但迭代时间较长（需要从1迭代到b），运算复杂度较高。

实现代码如下：

int GCD(int a, int b){
    int ans=0;
    for(int i=1;i<=a&&i<=b;i++){
        if(a%i==0&&b%i==0){
            ans=i;
        }
    }
    return ans;
}

第二种方法：

欧几里得算法，又辗转相除法。

该法的关键在于运用了数学公式——GCD(a,b)=GCD(b,a%b)

在这里，由公式的性质，我们无需判断a与b的大小关系（假设a<b，则a%b的值等于a，a与b自动交换了位置）

很显然，这个公式具有迭代的性质，我们可以运用循环语句算出GCD(a,b)

实现代码如下： 

int GCD_plus(int a, int b){
    while(b!=0){
        int num=a%b;
        a=b;
        b=num;
    }
    return a;
}

在该算法中，我们大大减少了运算的时间复杂度：

每两次迭代中，b的值至少减少了1/2（证明略）