poj 1061 青蛙的约会 (扩展欧几里得算法(负数的处理))
题意:两只青蛙初始在数轴的x,y点,单位时间内分别可以向右跳m米和n米,数轴是环型的,长度为L,问两只青蛙能否相遇,以及相遇时跳的次数。
思路:相遇就是同一时间在同一地点。
那么有方程 x+ Cm = y + Cn + k*L 其中C为跳的次数,k为之间差了L的个数(可以理解为被套圈的圈数)
化简得到 C(m-n) + K*L = y-x.
根据裴蜀定理,该方程有解,当且仅当y-x是gcd(m-n,L)的倍数。
然后根据扩展欧几里得算法,需要注意的是其中可能有负数。
如果a是负数,可以把问题转化成
![\left|a\right|(-x)+by=\gcd(|a|,b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f297adf01fb91ae218da2cd1dd5d45c1a0f4f4f) (![\left|a\right|](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc1989313eab6e17a909a3491eacf2b7a6c16e59) 为a的[绝对值](https://zh.wikipedia.org/wiki/)),然后令![x'=(-x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b6d28243b84ac1fc55d2b43250c71f3ae98c510) 。
第二个需要注意的是,扩展欧几里得算法求出的是ax+by=gcd(a,b)的解,x,y还要乘对应的倍数才能得到正确的解。
第三个需要注意的是,跳的次数一定为正,这是隐含条件。
用了上道题用的while去得到第一个大于0的X会TLE
所以其实** X = ( X % gx + gx) %gx**就好。。。? (其中gx = b/gcd(a,b))
/* ***********************************************
Author :111qqz
Created Time :Wed 12 Oct 2016 08:43:02 PM CST
File Name :code/poj/1061.cpp
************************************************ */
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <vector>
#include <queue>
#include <set>
#include <map>
#include <string>
#include <cmath>
#include <cstdlib>
#include <ctime>
#define fst first
#define sec second
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define ms(a,x) memset(a,x,sizeof(a))
typedef long long LL;
#define pi pair < int ,int >
#define MP make_pair
using namespace std;
const double eps = 1E-8;
const int dx4[4]={1,0,0,-1};
const int dy4[4]={0,-1,1,0};
const int inf = 0x3f3f3f3f;
LL x,y,m,n,L;
LL exgcd( LL a,LL b, LL &x,LL &y)
{
if (b==0)
{
x = 1LL;
y = 0LL;
return a;
}
LL ret = exgcd(b,a%b,x,y);
LL tmp = x;
x = y;
y = tmp - a/b*y;
return ret;
}
int main()
{
#ifndef ONLINE_JUDGE
freopen("code/in.txt","r",stdin);
#endif
cin>>x>>y>>m>>n>>L;
LL tmp1 = y-x;
LL tmp2 = m-n;
/* LL X,Y,GCD;
GCD = exgcd(tmp2,L,X,Y);
if (tmp1%GCD) puts("Impossible");
else
{
X = X * (tmp1/GCD);
LL gx = L/GCD;
if (gx<0) gx = - gx;
X = (X%gx +gx)%gx;
printf("%lld\n",X);
} */
if (tmp1<0)
{
tmp1 = -tmp1;
tmp2 = -tmp2;
}
LL X,Y;
LL GCD;
if (tmp2<0)
{
GCD = exgcd(-tmp2,L,X,Y);
X = -X;
}
else
{
GCD = exgcd(tmp2,L,X,Y);
}
if (tmp1%GCD)
{
puts("Impossible");
}
else
{
LL gx = L/GCD;
X = X * tmp1/GCD;
X = (X % gx + gx) % gx;
printf("%lld\n",X);
}
#ifndef ONLINE_JUDGE
fclose(stdin);
#endif
return 0;
}