题目大意:

给定序列a[] , p , b

希望找到一个序列 x[] , 使a1*x1 + a2*x2 + ... + an*xn = b (mod p)

这里很容易写成 a1*x1 + a2*x2 + ... + an*xn + yp = b

-> a1*x1 + a2*x2 + ... + an*xn + y1*p + y2*p + .... + yn*p = b

->(a1*x1+y1*p) + (a2*x2+y2*p) + ... + (an*xn+yn*p) = b

y[]是必然有解的 , 这里每一个值都可以看做一个二元方程,用扩展欧几里得求解得到的就是

f1*gcd(a1,p) + f2*gcd(a2,p) + ... + fn*gcd(an,p) = b  (1.1)

这里f[]是未知的 ,只要求扩展欧几里得的过程中记录当答案为ai*xi + yi*p = gcd(ai,p) 是xi的值

那么求出合法的fi , 那么正确的解就是 xi = xi*fi

而式子1.1又可以逐个求扩展欧几里得,然后再逆向求回来

ll cur = b;
bool flag=true;
for(int i=n ; i>=1 ; i--){
  ll tmp;
  ll d = ex_gcd(t[i-1] , tmp , g[i] , f[i]);
  if(cur%d!=0){flag=false;break;}
  f[i] = cur/d*f[i];
  cur -= f[i]*g[i];
}

 #include <cstdio>
#include <cstring>
#include <cmath>
#include <ctime>
#include <cstdlib>
#include <set>
#include <iostream>
using namespace std; #define ll long long
int n , p , b;
int a[];
ll g[] , x[] , y[];
ll t[] , f[]; ll ex_gcd(ll a , ll &x , ll b , ll &y)
{
if(b==){
x = , b = ;
return a;
}
ll ans = ex_gcd(b , x , a%b , y);
ll t=x ;
x=y , y=t-(a/b)*y;
return ans;
} ll gcd(ll a , ll b){return b?gcd(b,a%b):a;} int main()
{
scanf("%d%d%d" , &n , &p , &b);
for(int i= ; i<=n ; i++){
scanf("%d" , &a[i]);
g[i] = ex_gcd(a[i] , x[i] , p , y[i]);
} t[] = , t[] = g[];
for(int i= ; i<=n ; i++){
t[i] = gcd(t[i-], g[i]);
}
if(b%t[n]!=){
puts("NO");
return ;
}
ll cur = b;
bool flag=true;
for(int i=n ; i>= ; i--){
ll tmp;
ll d = ex_gcd(t[i-] , tmp , g[i] , f[i]);
if(cur%d!=){flag=false;break;}
f[i] = cur/d*f[i];
cur -= f[i]*g[i];
}
if(!flag) {
puts("NO");
return ;
}
puts("YES");
for(int i= ; i<=n ; i++){
ll v = x[i]*f[i];
v = (v%p+p)%p;
if(i<n) printf("%I64d " , v);
else printf("%I64d\n" , v);
}
return ;
}

SGU 140 扩展欧几里得的更多相关文章

  1. SGU 106 The equation 扩展欧几里得好题

    扩展欧几里得的应用……见算法竞赛入门经典p.179 注意两点:1.解不等式的时候除负数变号 2.各种特殊情况的判断( a=0 && b=0 && c=0 ) ( a=0 ...

  2. Intel Code Challenge Final Round (Div. 1 + Div. 2, Combined) C.Ray Tracing (模拟或扩展欧几里得)

    http://codeforces.com/contest/724/problem/C 题目大意: 在一个n*m的盒子里,从(0,0)射出一条每秒位移为(1,1)的射线,遵从反射定律,给出k个点,求射 ...

  3. UVA 12169 Disgruntled Judge 枚举+扩展欧几里得

    题目大意:有3个整数 x[1], a, b 满足递推式x[i]=(a*x[i-1]+b)mod 10001.由这个递推式计算出了长度为2T的数列,现在要求输入x[1],x[3],......x[2T- ...

  4. UVA 10090 Marbles 扩展欧几里得

    来源:http://www.cnblogs.com/zxhl/p/5106678.html 大致题意:给你n个球,给你两种盒子.第一种盒子每个盒子c1美元,可以恰好装n1个球:第二种盒子每个盒子c2元 ...

  5. POJ 1061 青蛙的约会 扩展欧几里得

    扩展欧几里得模板套一下就A了,不过要注意刚好整除的时候,代码中有注释 #include <iostream> #include <cstdio> #include <cs ...

  6. 【64测试20161112】【Catalan数】【数论】【扩展欧几里得】【逆】

    Problem: n个人(偶数)排队,排两行,每一行的身高依次递增,且第二行的人的身高大于对应的第一行的人,问有多少种方案.mod 1e9+9 Solution: 这道题由1,2,5,14 应该想到C ...

  7. poj 2891 扩展欧几里得迭代解同余方程组

    Reference: http://www.cnblogs.com/ka200812/archive/2011/09/02/2164404.html 之前说过中国剩余定理传统解法的条件是m[i]两两互 ...

  8. poj 2142 扩展欧几里得解ax+by=c

    原题实际上就是求方程a*x+b*y=d的一个特解,要求这个特解满足|x|+|y|最小 套模式+一点YY就行了 总结一下这类问题的解法: 对于方程ax+by=c 设tm=gcd(a,b) 先用扩展欧几里 ...

  9. poj 1061 扩展欧几里得解同余方程(求最小非负整数解)

    题目可以转化成求关于t的同余方程的最小非负数解: x+m*t≡y+n*t (mod L) 该方程又可以转化成: k*L+(n-m)*t=x-y 利用扩展欧几里得可以解决这个问题: eg:对于方程ax+ ...

随机推荐

  1. iOS之Scanning的实现

    http://i.cnblogs.com/EditPosts.aspx?postid=5288517 //写在最前 /* AVFoundation原生框架的好处就是扫描特别快效率特别高,但是可能会遇到 ...

  2. [html] Quirks Standards

    [产生] Standards : 从IE6开始,引入了Standards模式 Quirks  : 在IE6之前CSS还不够成熟,所以IE5等之前的浏览器对CSS的支持很差,为了兼容ie5之前的页面, ...

  3. D3.js 简介和安装

    一.What´s D3.js D3.js是一种数据操作类型的javascript库(也可视其为插件):结合HTML,SVG和CSS,D3可以图形化的,生动的展现数据. D3 的全称是(Data-Dri ...

  4. JavaScript中Cookie的用法

    Javascript中Cookie主要存储于客户端的计算机中,用于存放已访问的站点信息,Cookie最大约为4k.以下实例主要用于页面在刷新时保存数据,具体的用法如下所示: <html> ...

  5. php ajax json jquery 记录

    php+jquery+ajax+json简单小例子 <html> <title>php+jquery+ajax+json简单小例子</title> <?php ...

  6. C++ Primer 笔记(2)第二章 变量与基本类型

    第二章 变量与基本类型 1.基本内置类型包括算术类型和空类型,算术类型分为两类:整型(包括字符和布尔类型)和浮点型: 2.布尔类型(bool)的取值是真(true)或者假(false): 3.字面值常 ...

  7. 判断手机连接的是fdd还是tdd的办法

    判断手机连接的是fdd还是tdd的办法http://bbs.ydss.cn/thread-550035-1-1.html移动4G一般都是tdd,联通则可能有tdd,还有可能是fdd,判断手机连接的是t ...

  8. noip2016赛后总结

    面前并不是一颗变质的心. 只是一种综合并适应一切的情怀. 这或许是最好的心态... 今年的noip貌似考得好不理想呢...彻底挂了... gjs580,hgr555. 一个初三学弟570,一个400+ ...

  9. 【BZOJ 3295】动态逆序对 - 分块+树状数组

    题目描述 给定一个1~n的序列,然后m次删除元素,每次删除之前询问逆序对的个数. 分析:分块+树状数组 (PS:本题的CDQ分治解法见下一篇) 首先将序列分成T块,每一块开一个树状数组,并且先把最初的 ...

  10. [Java] 数据库连接管理类

    package com.wdcloud.monitoring.common; /** * @Description: TODO * @date: 2015��11��19�� ����10:23:16 ...