hdu 1576 A/B

很详细的资料：http://blog.csdn.net/lulipeng_cpp/article/details/7612490

补充以下结论，自己推的，解释了以上博客里的疑惑。 

方程ax+by=gcd(a,b)，即 模线性方程ax≡d(mod b) ，令d = gcd(a,b)。假设 模线性方程的解为 x0， y0。

结论1：则有 max( abs(x0),abs(y0) ) < max( abs(a), abs(b) ); 

结论2：若d = a， 则 x = 1，y = 0； 若 d = b，则 x = 0，y = 1；

结论3：则方程的所有解为 x = x0 + b/d*i, y = y0 - a/d*i。(i = 0, +1, -1, +2, -2, ..........)；

          且 abs(x0) < b/d, abs(y0) < a/d;  该模线性方程的最小正整数解（x） 为  min(x) = ( x + b ) % b;

结论4：如果要求方程ax+by=w(   即ax≡w(mod b)   )的解， 模线性方程有解的充要条件为d|w，令 t = w/d；

          方程的所有解为x = (x0 + b/d*i) * t, y = (y0 - a/d*i) * t。(i = 0, +1, -1, +2, -2, ..........)；

          该模线性方程的最小正整数解（x） 为  min(x) = (x*t + b )% b;

注意： 结论4最后一行 x*t可能超int（HDU这题没超），以后做题需要注意这点，最好模板都写成__int64