数论-青蛙的约会(拓展欧几里得算法)

两只青蛙在网上相识了,它们聊得很开心,于是觉得很有必要见一面。它们很高兴地发现它们住在同一条纬度线上,于是它们约定各自朝西跳,直到碰面为止。可是 它们出发之前忘记了一件很重要的事情,既没有问清楚对方的特征,也没有约定见面的具体位置。不过青蛙们都是很乐观的,它们觉得只要一直朝着某个方向跳下 去,总能碰到对方的。但是除非这两只青蛙在同一时间跳到同一点上,不然是永远都不可能碰面的。为了帮助这两只乐观的青蛙,你被要求写一个程序来判断这两只 青蛙是否能够碰面,会在什么时候碰面。
我们把这两只青蛙分别叫做青蛙A和青蛙B,并且规定纬度线上东经0度处为原点,由东往西为正方向,单位长度1米,这样我们就得到了
一条首尾相接的数轴。设青蛙A的出发点坐标是x,青蛙B的出发点坐标是y。青蛙A一次能跳m米,青蛙B一次能跳n米,两只青蛙跳一次所花费的时间相同。纬
度线总长L米。现在要你求出它们跳了几次以后才会碰面。

Input

输入只包括一行5个整数x,y,m,n,L,其中x≠y < 2000000000,0 < m、n < 2000000000,0 < L < 2100000000。

Output

输出碰面所需要的跳跃次数,如果永远不可能碰面则输出一行"Impossible"

Sample Input

1 2 3 4 5

Sample Output

4
 1 #include <iostream>
 2 using namespace std;
 3
 4 long long extgcd(long long a, long long b, long long &x, long long &y)
 5 {
 6     long long d, t;
 7     if (b == 0) { x = 1; y = 0; return a; }
 8     d = extgcd(b, a % b, x, y);
 9     t = x - a / b * y; x = y; y = t;
10     return d;
11 }
12
13 int main()
14 {
15 //     freopen("freopen.in", "r", stdin);
16 //     freopen("freopen.out", "w", stdout);
17     long long x, y, m, n, L, X, Y, d, r;
18     while (cin >> x >> y >> m >> n >> L)
19     {
20         d = extgcd(n - m, L, X, Y); r = L / d;
21         if ((x - y) % d) cout << "Impossible" << endl;
22         else cout << ((x - y) / d * X % r + r) % r << endl;
23     }
24     return 0;
25 }
时间: 2024-10-29 03:50:31

数论-青蛙的约会(拓展欧几里得算法)的相关文章

[数论]拓展欧几里得算法

欧几里得算法(辗转相除法) 用来求解最大公约数 1 int gcd(int a,int b){ 2 return b ? gcd(b,a%b) : a; 3 } 在 #include<algorithm> 中也可以直接调用 __gcd(a,b) 拓展欧几里得算法 求解不定方程: 引理:存在 x , y 使得 ax+by=gcd(a,b) 设a,b,c为任意整数,若方程ax+by=c的一组解是(x0,y0),则它的任意整数解都可以写成(x0+k*b/gcd(a,b),y0-k*a/gcd(a,b

如何使用拓展欧几里得算法求解模线性方程组(详解)

式子a≡b(mod n)称为a和b关于模n同余,它的充要条件是a-b是n的整数倍,即a-b=zn(其中z取整数). 而模线性方程组ax≡b(mod n)可以写成ax-b=zn(其中z取整数),移项可得 ax-zn=b,也即二元一次方程ax+by=c的形式,利用拓展欧几里得算法(extgcd)可以求解该方程是否有解及其一组解,并可根据该组解写出解系,进而求出一个特解,比如最小正整数解. 下面给出拓展欧几里得算法的程序. 1 typedef long long LL; 2 void extgcd(L

拓展欧几里得算法及代码实现

扩展欧几里得算法就是求: ax + by = gcd(a, b) 的一组整数解(x, y) 一.非递归的实现: 首先看a = 60, b = 22的情况: 表格左边是欧几里得算法,右边等式计算ax + by = gcd(a, b)的解 a = 2 × b + 16 16 = a - 2b b = 1 × 16 + 6 6 = b - 1 × 16 = b - 1 × (a - 2b) = -a + 3b 16 = 2 × 6 + 4 4 = 16 - 2 × 6 = (a - 2b) - 2 ×

HDU - 1356 The Balance(拓展欧几里得算法的解空间结构)

题目: Description Ms. Iyo Kiffa-Australis has a balance and only two kinds of weights to measure a dose of medicine. For example, to measure 200mg of aspirin using 300mg weights and 700mg weights, she can put one 700mg weight on the side of the medicin

数学问题——拓展欧几里得算法

一.拓展欧几里得算法 该算法用来解决这样一个问题:给定两个非零整数 a 和 b,求一组整数解 (x,y) ,使得 ax + by = gcd(a,b) 成立,其中 gcd(a,b) 表示 a 和 b 的最大公约数. 递归边界:当 b 为 0 时,此时的 a 就等于 gcd,显然有 a*1+b*0=gcd 成立,此时 x=1,y=0: 递推公式:设当计算 gcd(a,b) 时,有 ax1 + by1 = gcd 成立:而在下一步计算gcd(b,a%b) 时,又有 bx2 + (a%b)y2 = g

Sumdiv|同余|约数|拓展欧几里得算法

目录 Sumdiv|同余|约数|拓展欧几里得算法 Problem 分析 约数个数定理部分 约数和定理部分 等比数列部分 题目分析 扩展欧几里得算法部分 Code 呕,我吐了. Sumdiv|同余|约数|拓展欧几里得算法 Problem \[ 求A^{B}的所有约数之和 \ mod \ 9901\left(1\leqslant A,B \leqslant 5*10^{7}\right) \] 分析 约数个数定理部分 定理内容: 对于一个大于1的正整数n可以分解质因数: 则n的正约数个数为: 定理证

对拓展欧几里得算法的一点理解

首先需要明确的一点是:这是一种算法,而非一个证明题. 算法的需求与数学证明题是不一样的,数学证明题要求严谨完整,而算法只需要证明我用到的某个的性质成立即可,相当于是“恰好发现了这一点”. 于是对于拓展欧几里得,我们是从欧几里得算法中发现了一个递推的性质,从而受到启发,产生猜想:可不可以利用递推求出二元一次方程的解? 我们把猜想建立在欧几里得算法之上,利用该算法的递推过程,贯穿该过程来得到想要解决问题的答案. 也就是说,我们仅仅需要证明我们得到的答案是正确的,而并非深刻挖掘欧几里得算法的过程. 拓

欧几里得 &amp; 拓展欧几里得算法 讲解 (Euclid &amp; Extend- Euclid Algorithm)

欧几里得& 拓展欧几里得(Euclid & Extend-Euclid) 欧几里得算法(Euclid) 背景: 欧几里德算法又称辗转相除法,用于计算两个正整数a,b的最大公约数.                                                                                                                                               --百度百科 代码: 递推的代

欧几里得 &amp;amp; 拓展欧几里得算法 解说 (Euclid &amp;amp; Extend- Euclid Algorithm)

欧几里得& 拓展欧几里得(Euclid & Extend-Euclid) 欧几里得算法(Euclid) 背景: 欧几里德算法又称辗转相除法.用于计算两个正整数a.b的最大公约数. --百度百科 代码: 递推的代码是相当的简洁: int gcd(int a,int b) { return b == 0 ? a : gcd(b, a % b); } 分析: 方法说了是辗转相除法,自然没有什么好介绍的了. . Fresh肯定会认为这样递归下去会不会爆栈?实际上在这里是不会爆栈的,由于递归的层数是

拓展欧几里得算法求不定方程

对于 ax+by=gcd(a,b) 这样的方程,可以用扩展欧几里得算法exgcd求出一组通解. 根据欧几里得求gcd: gcd(a,b)=gcd(b,a%b) 可得 bx+(a%b)y=gcd(b,a%b) 根据 a%b=a−(a/b)∗b 可得 bx+ay−(a/b)b∗y=gcd(b,a%b) 化简得 ay+b(x−(a/b)y)=gcd(b,a%b) x′=y,y′=(x−(a/b)y) ax′+by′=gcd(b,a%b)<=>ax+by=gcd(a,b) 根据 gcd(a,0)=a