扩展欧几里德算法 x的最小非负整数解 xy是否有非负整数解

写这个模板的直接原因也是最近在扩展欧几里德上吃了大亏。。

欧几里德算法：

即利用辗转相除法计算a与b的最大公因数gcd

int gcd(int a,int b)
{
	if(!b) return a;
	else return gcd(b,a%b);
}

扩展欧几里德算法：

对于同余方程ax=c(mod b)求整数解

即对线性方程ax-by=c求x,y的整数解

我们讨论更一般的情况：

ax+by=c的整数解