Codeforces 7C 扩展欧几里得

扩展欧几里得是计算 ax + by = gcd(a,b) 的 x,y的整数解。

现在是ax + by + c = 0;

只要 -c 是 gcd(a,b) 的整数倍时有整数解，整数解是 x = x*(-c)/gcd(a,b) ; y = y*(-c)/gcd(a,b);

#include <bits/stdc++.h>

using namespace std;

typedef long long ll;

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

int main()
{
ll a,b,c;
ll d,x,y;
scanf("%lld%lld%lld",&a,&b,&c);
gcd(a,b,d,x,y);
if(c%d==0) {
x = -x*c/d;
y = -y*c/d;
printf("%lld %lld\n",x,y);
}
else printf("-1\n");

return 0;
}