欣欣子的code复习第六篇~（裴蜀定理）

今天我们不先贴代码了，先来复习一下裴蜀定理（贝祖定理）

贝祖定理：关于 x , y 的不定方程 ax + by = c 有整数解的充要条件是 · gcd ( a , b ) | c·

因为欣欣子的数学实在太差，所以再来复习下gcd。

先绘制一个流程图来示意辗转相除法

摘自知乎

若g|a且g|b，则g|（a mod b）所以gcd(a,b) = acd(b,a mod b)我们一直如此递归直到b=0，即gcd(a,0)=a,我们就得到了最大公约数。

我们再来结合一下题目理解贝祖定理

复活吧！我的代码！！！

#include <bits/stdc++.h>
using namespace std;

inline int gcd(int x, int y) {
    return y ? gcd(y, x%y) : x; //判断y是否有值，有值就继续递归，为0就输出x 
}

int n;

int main() {
    cin>>n;
    int ans = 0, tmp;
    for(int i=1; i<=n; i++) {
        cin>>tmp;
        if(tmp < 0) tmp = -tmp;
        ans = gcd(ans, tmp);
    }
    cout<<ans;
    return 0;
}

https://vjudge.net/problem/%E6%B4%9B%E8%B0%B7-P4549

这道题就是给出你几个数字，比如说A1,A2,A3,A4,然后让S = A1*X1 + A2*X2 + A3*X3 + A4*X4 这个值尽可能小，结合贝祖定理：A1*X1 + A2*X2 + A3*X3 + A4*X4 = S 有解的充要条件就是gcd(A1,A2,A3,A4)|S,所以S的最小值就是这个数组所有的数的最大公约数（注意可能有负数，要把负数取为正数）。

好好好，我都懂了大家肯定都懂了，对你们全是信任。

就酱紫，挥挥~