uva 1426 - Discrete Square Roots(拓展欧几里得)

题目链接:uva 1426 - Discrete Square Roots

题目大意:给出X,N,R,求出所有满足的r,使得r2≡x%N,并且R是一个其中的解。

解题思路:

  • R2?r2=k?N
  • (R?r)(R+r)=k?N
  • => aA=(R+r),bB=(R?r),A,B为N的因子

    所以枚举A,B,就有r=R?aA=bB?R

  • aA+bB=2?R

    拓展欧几里得求解,将所有满足的解放入set中自动去重。

#include <cstdio>
#include <cstring>
#include <cmath>
#include <set>
#include <algorithm>

using namespace std;
typedef long long ll;

ll X, N, R;
set<ll> ans;

void exgcd (ll a, ll b, ll& d, ll& x, ll& y) {
    if (b == 0) {
        d = a;
        x = 1;
        y = 0;
    } else {
        exgcd (b, a%b, d, y, x);
        y -= (a/b) * x;
    }
}

void solve (ll A, ll B, ll C) {
    ll d, x, y;
    exgcd(A, B, d, x, y);

    if (C % d)
        return;

    x = x * C / d;
    x = (x % (B/d) + (B/d))%(B/d);
    ll s = x * A - C / 2;
    ll k = A * B / d;
    for (ll i = s; i < N; i += k)
        if (i >= 0)
            ans.insert(i);

}

int main () {
    int cas = 1;
    while (scanf("%lld%lld%lld", &X, &N, &R) == 3 && X + N + R) {
        ans.clear();
        ll m = sqrt(N+0.5);
        for (ll i = 1; i <= m; i++) {
            if (N%i)
                continue;
            solve(i, N/i, 2*R);
            solve(N/i, i, 2*R);
        }

        printf("Case %d:", cas++);
        for (set<ll>::iterator i = ans.begin(); i != ans.end(); i++)
            printf(" %lld", *i);
        printf("\n");
    }
    return 0;
}

uva 1426 - Discrete Square Roots(拓展欧几里得),布布扣,bubuko.com

时间: 2024-08-02 02:50:15

uva 1426 - Discrete Square Roots(拓展欧几里得)的相关文章

UVA 1426 - Discrete Square Roots(数论)

UVA 1426 - Discrete Square Roots 题目链接 题意:给定X, N, R,要求r2≡x (mod n) (1 <= r < n)的所有解,R为一个已知解 思路: r2≡x (mod n)=>r2+k1n=x 已知一个r!,带入两式相减得 r2?r12=kn => (r+r1)(r?r1)=kn 枚举A,B,使得 A * B = n (r + r1)为A倍数 (r - r1)为B倍数 这样就可以推出 Aka?r1=Bkb+r1=r => Aka=Bk

UVA - 1426 Discrete Square Roots (模方程)

Description A square root of a number x is a number r such that r2 = x. A discrete square root of a non-negative integer x is a non-negative integer r such that r2 x mod N , 0r < N , where N is a specific positive integer and mod is the modulo operat

UVALive - 4270 Discrete Square Roots (扩展欧几里得)

给出一组正整数$x,n,r$,使得$r^2\equiv x(mod\: n)$,求出所有满足该等式的$r$. 假设有另一个解$r'$满足条件,则有$r^2-r'^2=kn$ 因式分解,得$(r+r')(r-r')=kn$ 将$n$分解成$a*b$,则有$\left\{\begin{matrix}r+r'=xa\\ r-r'=yb\end{matrix}\right.$ 两式相加得$2r=xa+yb$,这是一个二元线性不定方程,可用扩欧求出x的通解. 假设已经求出了$x$的通解$x=x_{0}+k

uva 10413 - Crazy Savages(拓展欧几里得)

题目链接:uva 10413 - Crazy Savages 题目大意:一座山有m个山洞,形成一个圈,现在有n个部落的人,每个部落一开始住在ci山洞,第2天会向后面移动pi个位置,一共会在这座山住li天.现在如果两个部落在同一个山洞相遇,则会发生战争,问说m最小时多少的时候,保证不会发生争斗. 解题思路:因为每个部落都有自己的存在时间,所以枚举m,然后枚举两个部落,判断他们有没有可能相遇. 假设在第k天: ci+k?pi=a?m???(1) cj+k?pj=b?m???(2) 由(2)-(1)得

uva 10548 - Find the Right Changes(拓展欧几里得)

题目链接:uva 10548 - Find the Right Changes 题目大意:给定A,B,C,求x,y,使得xA+yB=C,求有多少种解. 解题思路:拓展欧几里得,保证x,y均大于等于0,确定通解中t的取值. #include <cstdio> #include <cstring> #include <cmath> #include <algorithm> using namespace std; typedef long long ll; co

拓展欧几里得详解 及其题目 POJ 1061 2115 2142 UVA 10673 10090

最近做了一些拓展欧几里得的题目呢,嘛,从一开始的不会到现在有点感觉,总之把我的经验拿出来和大家分享一下吧. 普通的欧几里得是用于解决求两个数a,b的gcd的,但是我们知道,gcd是线性组合 { ax+by | x,y∈Z }里的最小正元素(什么?不知道怎么来的?好吧...算法导论里数论算法那一章有证明),假若我们能够把这个x和y找出来,那么可以用来解决很多问题. (以下的gcd和lcm均指(gcd(a,b)和lcm(a,b)) 首先,假设ax+by=gcd这一个方程有一个特解x*,y*.那么显然

bzoj4517: [Sdoi2016]排列计数--数学+拓展欧几里得

这道题是数学题,由题目可知,m个稳定数的取法是Cnm 然后剩下n-m本书,由于编号为i的书不能放在i位置,因此其方法数应由错排公式决定,即D(n-m) 错排公式:D[i]=(i-1)*(D[i-1]+D[i-2]); 所以根据乘法原理,答案就是Cnm * D(n-m) 接下来就是怎么求组合数的问题了 由于n≤1000000,因此只能用O(n)的算法求组合,这里用乘法逆元(inv[])来辅助求组合数 即 Cnm = n! / ((n-m)! * m!) = fac[n]*inv[n-m]*inv[

数论之拓展欧几里得求解不定方程和同余方程组(一)

今天接到scy的压缩包,开始做数论专题.那今天就总结一下拓展欧几里得求解不定方程和同余方程组. 首先我们复习一下欧几里得算法: 1 int gcd(int a,int b){ 2 if(b==0) return a; 3 return gcd(b,a%b);4 } 拓展欧几里得算法: 推导过程: 给出A和B,求它们的最大公约数,并且求出x和y,满足Ax+By=gcd(A,B). 当A=0时,x=0,y=1; 当A>0时, 因为exgcd(A,B,x,y)表示Ax+By=gcd(A,B) 而且ex

POJ 1061 青蛙的约会(拓展欧几里得)

青蛙的约会 Time Limit: 1000MS   Memory Limit: 10000KB   64bit IO Format: %I64d & %I64u Submit Status Description 两只青蛙在网上相识了,它们聊得很开心,于是觉得很有必要见一面.它们很高兴地发现它们住在同一条纬度线上,于是它们约定各自朝西跳,直到碰面为止.可是它们出发之前忘记了一件很重要的事情,既没有问清楚对方的特征,也没有约定见面的具体位置.不过青蛙们都是很乐观的,它们觉得只要一直朝着某个方向跳