最大公约数和最小公倍数

最大公约数

正整数a与正整数b的最大公约数是指a与b的所有公约数中最大的那个公约数，例如4和3的最大公约数是2, 3和9的最大公约数是3。一般用gcd(a , b)来表示a和b的最大公约数，求解通常使用欧几里得算法（辗转相除法）。

定理：
设a、b均为正整数，则gcd（a,b） = gcd（b,a%b）
同时要求，如果a<b，要将a和b交换，即上述式子要求a>b，众所周知，0和任何一个整数a的最大公约数都是a（不是0）
将其写成递归的形式：

1. 递归式：gcd(a,b) = gcd(b,a%b)。
2. 递归边界：gcd(a,0) = a。

int gcd(int a, int b){
	if (b == 0) return a;
	else return gcd(b,a%b);
}

最小公倍数

正整数a与b的最小公倍数是指在a与b的所有公倍数中最小的那个公倍数，例如4和6的最小公倍数为12，一般用lcm(a,b)来表示a和b的最小公倍数。
最小公倍数在最大公约数的基础上进行计算，当计算出a和b的最大公约数d之后，最小公倍数为ab/d
考虑到ab在实际运算中可能会溢出，因此最小公倍数为：a / d * b

最大最小公倍数

已知一个正整数N，问从1~N中任选出三个数，他们的最小公倍数最大可以为多少。
思路：若n 和 n-1和n-2 三个数 两两互质的话，那么结果就是这三个数的积。同时，两个相邻的自然数互质。

1. 如果n是奇数，奇偶奇，相邻的两个正整数互质，相邻的两个奇数也是互质的，那么此时题目要求的答案为N * (N - 1) * (N - 2)。
2. 如果n是偶数
   因为当N >3时，N 和当N - 3是可能不是互质的，例如3和6。所以偶数时又分为两种可能性：
   ① 当3不能整除N时
    当N为偶数时，N - 2同样为偶数，那么就不能满足上面思路的第1点了。但是N和N - 1还是互质的，所以在贪心策略下，我们优先考虑使用更小的值去替换N - 2，而不是替换N 和 N - 1。经计算发现 N - 3满足要求，所以此时答案为N * (N - 1) * (N - 3)。
   ②当3能整除N时
    因为N能够被3整除，所以N - 3同样能被3整除，为了不违反第1点，我们再次优先用更小的值替代 N - 3。但是会发现N-4 n-5均无法满足，所以我们考虑使用N - 1去替换N，此时结果是：(N - 1) * (N - 2) * ( N - 3)。（因为N - 1和 N - 3实际上等同于第1种情况，即N为奇数时）

Python：

n = int(input())
if n % 2 != 0:  #n为奇数
    print(n*(n-1)*(n-2)) 
else:   #n是偶数
    if n % 3 ==0:
         print((n-1)*(n-2)*(n-3))
    else:
        print(n*(n-1)*(n-3))