码迷,mamicode.com
首页 > 其他好文 > 详细

cf1011 E. Border

时间:2019-01-20 15:59:22      阅读:154      评论:0      收藏:0      [点我收藏+]

标签:scanf   include   style   print   span   裴蜀定理   pre   \n   names   

裴属定理,或者叫他扩展欧几里得也可以

裴蜀定理:
对任何a,b∈Z和它们的最大公约数d,关于未知数x和y的线性不定方程(称为裴蜀等式):ax+by=c有整数解(x,y)当且仅当d∣c,可知有无穷多解。特别地,一定存在整数x,y,使ax+by=d成立。
推论:
a,b互质的充要条件是存在整数x,y使ax+by=1

对于(a,b∈Z),ax+by=c有整数解的条件是gcd(a,b)∣c的证明:
充分性:设d=gcd(a,b),已知ax+by=d一定有整数解,设其解为(x0,y0)。d∣c,则存在k∈Z,使得)c=kd=k(ax+by)=a(kx)+b(ky),即解为(kx0,ky0)。
必要性:因ax1+by1=c,x1,y1∈Z设d=gcd(a,b),有d∣a,d∣b,d∣(ax1,by1),即d∣c

#include<bits/stdc++.h>
using namespace std;
int a[100010];
int main()
{
    int n,k;
    scanf("%d%d",&n,&k);
    int s=k;
    for(int i=1;i<=n;i++)
    {
        int tmp;
        scanf("%d",&tmp);
        s=__gcd(tmp,s);
    }
    printf("%d\n",k/s);
    for(int i=0;i<k;i+=s)
      printf("%d ",i);
    printf("\n");
}

 

cf1011 E. Border

标签:scanf   include   style   print   span   裴蜀定理   pre   \n   names   

原文地址:https://www.cnblogs.com/lishengkangshidatiancai/p/10295020.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!