Codeforces Round #698-D-裴蜀定理，思维

题目大意：

给你$n$个不同的数。你每次可以拿两个数$x,y$出来，将$2x-y$加入到数组中。问你是否能够构造出$k$.
$n\le 1e5;a_i,k\le 1e12$

题目思路:

1.我们将问题结构表示为: { a 1 , a 2 , . . . , a n } [ k ] \{a_1,a_2,...,a_n\}[k] {a1​,a2​,...,an​}[k].那么这个问题等价于 { 0 , a 2 , . . . , a n } [ k − a 1 ] \{0,a_2,...,a_n\}[k-a_1] {0,a2​,...,an​}[k−a1​].

证明:操作变化为:$2a_i^{\prime }-a_j^{\prime }=2(a_i-a_1)-(a_j-a_1)=2a_i-a_j-a_1$.所以原操作无论在进行多少次之后结果也只是少一个$a_1$而已.所以我们可以将$k$也减去一个$a_1$.问题等价.

2.令$g=gcd(a_2,...,a_n)$,那$k$能够被凑出来的一个前提条件是:$g|k$.

证明：$g|a_i$,$g|a_j$,那么$g|2a_i-a_j$.所以无论怎么操作，序列中的值一定都是$g$的倍数。所以只有当$k$为$g$的倍数时，才有可能被组成出来。

3.当$g|k$时，$k$一定能被构造出来.

证明:利用归纳法证明.

当$n=2$时，$g_0=a_2-a_1$.显然$g_0$的任意整数倍数都能够被组成出来.(因为我们有$a_1=0$存在)

当 $n=x$时, 令$g_0=gcd(a_2,...,a_{x-1})$。我们假设$g_0$的任意整数倍能够被组成出来。我们又知道$a_x$的任意整数倍可以被组成出来。那么形式化表示为：
$$s\ast g_0+t\ast a_x=k$$

那么上述式子就是裴蜀定理的基本公式。当$gcd(g_0,a_x)|k$时，$s,t$存在整数解.

所以最后的做法只需要判断$g|k$即可。