coj 1036 Number （数学）

Description

数学知识在ACM竞赛中是很重要的，下面就是一道数学题。 
给定2个正整数A、B，求不能被x*A+y*B表示的最大整数(x,y必须为非负整数)。 

Input

第一行一个整数M，代表测试样例总数。 
每组样例输入两个数A,B 
1<=M<=10000 
2<=A,B<=1000000000 

Output

对每组输入，输出一行。 
如果这个最大的整数不存在，输出 -1 

Sample Input

2
2 4
2 3

Sample Output

-1
1

设自然数a，b互质，则不能表示成ax+by（x，y为非负整数）的最大整数是ab-a-b。

a与b互质，即a与b的最大公约数为1.

另外必须注意的是 a、b<=1000000000，若定义为int在输出结果：a*b-a-b（a、b取最大值时），一定会错，所以要将它们定义为：__int64.

证明：

a或者b是1的情况下容易证明。
以下情况都是a>1且b>1的情况。
首先证明ab-a-b不能表示成ax+by
假设ab-a-b=ax+by，那么ab=am+bn (m,n都大于等于1)
左边是a的倍数，右边am是a的倍数，那么要求bn也要是a的倍数
b不是a的倍数，只能要求n是a的倍数，这样的话，bn=bn'a>=ba
那么am=ab-bn所以am<=0与m>1矛盾。
接着证明ab-a-b+i能表示成ax+by(i>0)
因为ab互质，最大公约数就是1，根据辗转相减的方法知ma+nb=1，
不妨假设m>0,n<0，于是ab-a-b+i=ab-a-b+i(ma+nb)
因为m>1(m=0意味着nb=1不可能的)，所以ab-a-b+i(ma+nb)=(im-1)a+(a+in-1)b
im-1>0，现在只要证明a+in-1>=0，因为ima+inb=i
如果，|in|>ja其中j>0，那么ima=i+|in|b>jab，所以im>jb
所以ima+inb=(im-jb)a-(|in|-ja)b=i，说明|in|>ja时，我们就能调整im,in使得|in|<a
因此|in|<=a-1, 所以a+in-1>=0于是得证

代码：

#include<iostream>
#include<string.h> 
using namespace std;
int gcd(__int64 a, __int64 b)
{
    if(a<b) swap(a , b);
    int r ;
    while(b!=0)
    {
       r=a%b;
       a=b;
       b=r;
    } 
    return a;
}
int main()
{
    int t;
    __int64 a , b;
    scanf("%d",&t);  
    while(t--)
    {
         scanf("%I64d%I64d",&a,&b);
         if(gcd(a , b)==1) printf("%I64d\n",a*b-a-b);   
         else printf("-1\n");
    }
    return 0;
}