数论 - CF 687B Remainders Game

题目:

Remainders Game

题意：

给定k，以及n个数$c_i$，问是否存在$x_1, x_2$，满足以下两个条件

$$x_1 \equiv x_2 (mod \text{ }c_i) , i\in[1,n] \\ x_1 \not \equiv x_2(mod \text{ }k)$$

思路：

数论写的少，烦恼跑不了- -

假设$x_1 < x_2$，根据同余定理转化式一

$$T = x_2-x_1 = t_i*c_i, i\in[1,n]$$
即， $T = x_2 - x_1$的最小值为 $c_i$的最小公倍数，代入式二
$$x_1 \not \equiv (x_1 + T)(mod \text{ }k) \\ T \mod k \neq 0$$
至此，题目变为， $c_i$的最小公倍数是否能被 k <script type="math/tex" id="MathJax-Element-73">k</script>整除，辗转相除即可

代码：

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

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

int main(){
    int n,k;
    scanf ("%d %d",&n,&k);
    long long t = 1;
    for (int i=0;i<n;++i){
        int a;
        scanf("%d",&a);
        t = t * a / gcd(t,a) % k;
    }
    if (!t)
        puts("Yes");
    else puts("No");
    return 0;
}