P4549 【模板】裴蜀定理

---

原题链接

P4549
AC记录：Accepted

题目大意

给定一个包含 $n$ 个元素的整数序列 $A$，记作 $A_{1\dots n}$。
求另一个包含 $n$ 个元素的待定整数序列 $X$，记$S=\sum _{i=1}^n{A}_i{X}_i$，使得 $S>0$ 且 $S$ 尽可能的小。

输入格式

第一行一个整数 $n$，表示序列元素个数。
第二行 $n$ 个整数，表示序列 $A$。

输出格式

一行一个整数，表示 $S>0$ 的前提下 $S$ 的最小值。

$\mathbf{S}\mathbf{a}\mathbf{m}\mathbf{p}\mathbf{l}\mathbf{e}$ $\mathbf{I}\mathbf{n}\mathbf{p}\mathbf{u}\mathbf{t}$

2
4059 -1782

$\mathbf{S}\mathbf{a}\mathbf{m}\mathbf{p}\mathbf{l}\mathbf{e}$ $\mathbf{O}\mathbf{u}\mathbf{t}\mathbf{p}\mathbf{u}\mathbf{t}$

99

$\mathbf{H}\mathbf{i}\mathbf{n}\mathbf{t}\&\mathbf{E}\mathbf{x}\mathbf{p}\mathbf{l}\mathbf{a}\mathbf{i}\mathbf{n}$
$X$ 序列中的元素依此为：11 25，原因是4059*11+(-1782)*25=99。

数据范围

对于 $100\%$ 的数据，$1\le n\le 20,|A_i|\le 10^5$，且 $A$ 序列不全为 $0$。

解题思路

题目都告诉你了，这题是用裴蜀（贝祖）定理啊。

简介

$a,b$ 互质的充分必要条件是存在整数 $x,y$ 使 $ax+by=1$。——摘自百度百科

转化一下，就变成了：
$ax+by=c,x\in {\mathbb{Z}}^{\ast },y\in {\mathbb{Z}}^{\ast }$ 成立的充分必要条件是 $\gcd (a,b)|c$。其中 ${\mathbb{Z}}^{\ast }$ 表示整数集。
证明：
设 $d=\gcd (a,b)$，很显然，有 $d|a,d|b$。
$\because x\in {\mathbb{Z}}^{\ast },y\in {\mathbb{Z}}^{\ast }$
$\therefore d|ax,d|by,d|(ax+by)$
$\therefore d|c$
$\therefore \gcd (a,b)|c$
得证。
这里 $a|b$ 的意思是 $a$ 是 $b$ 的约数。

那这里的定理是求两个数的时候，那三个数或者更多数的时候呢？

还是一样的，先看3个数，则有：
$ax+by+cz=d,x\in {\mathbb{Z}}^{\ast },y\in {\mathbb{Z}}^{\ast },z\in {\mathbb{Z}}^{\ast }$ 成立的充分必要条件是 $\gcd (a,b,c)|d$。
证明我就不讲了，留给读者自行尝试。

最后，回到本题，由于题目中说的是要让 $S>0$ 且 $S$ 最小，则答案显然就是 $\gcd (A_1,A_2,\cdots ,A_n)$。

注意要处理负数的情况，直接把负数转正就可以了。

上代码

#include<bits/stdc++.h>

using namespace std;

#define fu(i,st,ed) for(int i=st; i<=ed; i++)
#define fd(i,st,ed) for(int i=st; i>=ed; i--)

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

int n,i,tar;

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    /* Code */
    cin>>n;
    fu(i,1,n)
    {
        int temp;
        cin>>temp;
        temp=abs(temp);
        if(i==1)
            tar=temp;
        else
            tar=gcd(tar,temp);
    }
    cout<<tar<<endl;
    return 0;
}

完美切题$\sim$