hiho 1297 数论四·扩展欧几里得

传送门：点击打开链接

描述

小Hi和小Ho周末在公园溜达。公园有一堆围成环形的石板，小Hi和小Ho分别站在不同的石板上。已知石板总共有m块，编号为 0..m-1，小Hi一开始站在s1号石板上，小Ho一开始站在s2号石板上。

小Hi：小Ho，你说我们俩如果从现在开始按照固定的间隔数同时同向移动，我们会不会在某个时间点站在同一块石板上呢？

小Ho：我觉得可能吧，你每次移动v1块，我移动v2块，我们看能不能遇上好了。

小Hi：好啊，那我们试试呗。

一个小时过去了，然而小Hi和小Ho还是没有一次站在同一块石板上。

小Ho：不行了，这样走下去不知道什么时候才汇合。小Hi，你有什么办法算算具体要多久才能汇合么？

小Hi：让我想想啊。。

提示：扩展欧几里德

输入

第1行：每行5个整数s1,s2,v1,v2,m，0≤v1,v2≤m≤1,000,000,000。0≤s1,s2<m

中间过程可能很大，最好使用64位整型

输出

第1行：每行1个整数，表示解，若该组数据无解则输出-1

样例输入

0 1 1 2 6

样例输出

5

AC代码：（偏向于模板）

#include <iostream>
#include <cstdio>
using namespace std ;
long long  gcd(long long x , long long y )
{
	if(x%y==0) return y ;
	else return gcd(y,x%y); 
}

long long extend_gcd(long long a , long long b , long long &x , long long &y)
{
	if(a%b==0) 
	{
		x = 0 ;
		y = 1 ; 
		return b ;
	}
	else 
	{
		long long d = extend_gcd(b , a%b , x , y);
		long long dx = y ; 
		long long dy = x - a/b*y;
		x = dx , y = dy ;
		return d ;  
	}
	
}
int main()
{
	long long s1 , s2 , v1 , v2 , m ;
	cin>>s1>>s2>>v1>>v2>>m;
	long long A = v1 - v2 ;
	long long B = m;
	long long C = s2 - s1;
	
	if(A<0) A+=m;
	
	long long x , y ,D;
	D = gcd(A,B);
	if(C%D!=0)
	{
		cout<<-1<<endl;
		return 0 ;
	}
	
	A = A / D;
	B = B / D;
	C = C / D;
	extend_gcd(A,B,x,y);
	x =(x*C)%B;
	while(x<0) x+=B;
	cout<<x<<endl;
	return 0 ; 
}