nowCoder：计数器（gcd裴蜀定理应用）

nowCoder 计数器

有一个计数器，计数器的初始值为0，每次操作你可以把计数器的值加上$a_1,a_2,...,a_n$中的任意一个整数，操作次数不限（可以为0次），问计数器的值对m取模后有几种可能。

输入描述:
第一行两个整数$n,m$
接下来一行n个整数表示$a_1,a_2,...,a_n$
$1\le n\le 100$
$1\le m,a_1,a_2,...,a_n\le 1000000000$
输出描述:
输出一个整数表示答案
示例1
输入
3 6
6 4 8
输出
3

AC代码

#include<iostream>
#include<algorithm>
using namespace std;

int main(){
    ios::sync_with_stdio(false),cin.tie(0),cout.tie(0);
    int n, m, g, a;
    cin >> n >> m;
    g = m;
    for(int i = 1; i <= n; i++){
        cin >> a;
        g = __gcd(a, g);
    }
    cout << m / g << endl;
    return 0;
}

代码分析

1.裴蜀定理

若$a,b$是整数，且$gcd(a,b)=d$，那么对于任意整数$x,y,ax+by$都一定是$d$的倍数，特别地，一定存在整数$x,y$，使得$ax+by=d$成立

由上述定理描述可知：
$$a_1{x}_1+a_2{x}_2+...+a_n{x}_n=P\ast gcd(a_1,a_2,a_3,...,a_n)(P为整数)$$
由题意有
$(a_1{x}_1+a_2{x}_2+a_3{x}_3+...+a_n{x}_n)\%m=r$
将取模运算进行转化（$k$为商，$r$为余数）：
$(a_1{x}_1+a_2{x}_2+a_3{x}_3+...+a_n{x}_n)=km+r$
$r=a_1{x}_1+a_2{x}_2+a_3{x}_3+...+a_n{x}_n-km$
由裴蜀定理有：
$r=a_1{x}_1+a_2{x}_2+a_3{x}_3+...+a_n{x}_n+(-k)m=P\ast gcd(a_1,a_2,a_3,...,a_n,m)$
假设$gcd(a_1,a_2,a_3,...,a_n,m)=A$则有$r=P\ast A(A为常数)$
因为$P$在本题中为正整数，则$P$可取$0,1,2,...,P_{max}$且每个取值对应一个$r$，故求出$P_{max}$即可知道对应的余数$r$可能个数

$P=\frac{r}{gcd(a_1,a_2,a_3,...,a_n,m)}$

因为$r$为余数，由余数必小于除数有$r<m$有

$P=\frac{r}{gcd(a_1,a_2,a_3,...,a_n,m)}<\frac{m}{gcd(a_1,a_2,a_3,...,a_n,m)}$

$P_{max}=\frac{m}{gcd(a_1,a_2,a_3,...,a_n,m)}$

该除式自动向下取整，故问题得解

2.最大公约数$gcd$

typedef ll long long;
ll gcd(ll a, ll b){
	return b == 0 ? a : gcd(b, a % b);
}